From 7814a5e761e6ad8b65d22b9d07e9a06a5874d3d5 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 30 Sep 2020 16:03:25 +0200
Subject: [PATCH] tests about parsing file obtained from -ocode
---
tests/spec/clash_double_file_bts1598.c | 2 +-
tests/spec/rm_qualifiers.i | 2 +-
tests/syntax/anon_enum_libc.c | 2 +-
tests/syntax/oracle/anon_enum_libc.res.oracle | 2 +-
4 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/tests/spec/clash_double_file_bts1598.c b/tests/spec/clash_double_file_bts1598.c
index f601dd32603..f3340e93f69 100644
--- a/tests/spec/clash_double_file_bts1598.c
+++ b/tests/spec/clash_double_file_bts1598.c
@@ -1,7 +1,7 @@
/* run.config
COMMENT: checks that linking string.h and its FC-pretty-printed version
COMMENT: does not get rejected by name clash in the logic. See bts 1598
-OPT: @PTEST_FILE@ -cpp-extra-args " -Ishare/libc -nostdinc" -print -then -ocode foo.c -print -then @PTEST_FILE@ foo.c -ocode="" -print
+OPT: @PTEST_FILE@ -cpp-extra-args " -Ishare/libc -nostdinc" -print -then -ocode ocode_@PTEST_NUMBER@_@PTEST_NAME@.c -print -then @PTEST_FILE@ ocode_@PTEST_NUMBER@_@PTEST_NAME@.c -ocode="" -print
*/
#include "__fc_builtin.h"
diff --git a/tests/spec/rm_qualifiers.i b/tests/spec/rm_qualifiers.i
index 05a41ac5cbd..d6d739b95cc 100644
--- a/tests/spec/rm_qualifiers.i
+++ b/tests/spec/rm_qualifiers.i
@@ -1,5 +1,5 @@
/* run.config
-OPT: @PTEST_FILE@ -ocode @PTEST_NAME@_res.i -print -then @PTEST_NAME@_res.i -ocode="" -print
+OPT: @PTEST_FILE@ -ocode ocode_@PTEST_NUMBER@_@PTEST_NAME@.i -print -then ocode_@PTEST_NUMBER@_@PTEST_NAME@.i -ocode="" -print
*/
extern void G(const void* p);
typedef volatile int ARR[42][3];
diff --git a/tests/syntax/anon_enum_libc.c b/tests/syntax/anon_enum_libc.c
index a3c5136b3db..8ab5eeec2c9 100644
--- a/tests/syntax/anon_enum_libc.c
+++ b/tests/syntax/anon_enum_libc.c
@@ -1,7 +1,7 @@
/* run.config
DEPS: anon_enum_libc.h
FILTER: sed -e 's|#include *"\([^/]*[/]\)*\([^/]*\)"|#include "PTESTS_DIR/\2"|'
-OPT: -cpp-extra-args="-I ." -ocode @PTEST_NAME@.tmp.c -print -then -ocode="" @PTEST_NAME@.tmp.c -print
+OPT: -cpp-extra-args="-I ." -ocode ocode_@PTEST_NUMBER@_@PTEST_NAME@.c -print -then -ocode="" ocode_@PTEST_NUMBER@_@PTEST_NAME@.c -print
*/
struct { int x; float y; } s1;
diff --git a/tests/syntax/oracle/anon_enum_libc.res.oracle b/tests/syntax/oracle/anon_enum_libc.res.oracle
index 32aba9aeb34..ebe1e0a3619 100644
--- a/tests/syntax/oracle/anon_enum_libc.res.oracle
+++ b/tests/syntax/oracle/anon_enum_libc.res.oracle
@@ -1,5 +1,5 @@
[kernel] Parsing anon_enum_libc.c (with preprocessing)
-[kernel] Parsing anon_enum_libc.tmp.c (with preprocessing)
+[kernel] Parsing ocode_0_anon_enum_libc.c (with preprocessing)
/* Generated by Frama-C */
#include "PTESTS_DIR/anon_enum_libc.h"
struct __anonstruct_s1_1 {
--
GitLab