From 6621931bf670351dddd25fd2cb50f4a90d7a348c Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 23 Mar 2021 17:41:59 +0100
Subject: [PATCH] [Tests] uniformization with master
---
.../tests/nonterm/oracle/output_to_file.txt | 6 ++--
src/plugins/server/tests/batch/ast_services.i | 4 +--
src/plugins/server/tests/batch/wrong.i | 2 +-
.../variadic/tests/erroneous/no-param.i | 3 +-
.../variadic/tests/erroneous/not-enough-par.i | 2 +-
.../tests/erroneous/variadic-builtin.i | 4 +--
tests/cil/bts892.i | 2 +-
tests/cil/ghost_cfg.c | 2 +-
tests/metrics/locals_size.i | 2 +-
tests/metrics/used-files.i | 2 +-
tests/misc/bts0990_link.i | 2 +-
tests/misc/custom_machdep.c | 10 +++---
tests/misc/debug_category.i | 36 +++++++++----------
tests/misc/function_ptr_lvalue_1.i | 2 ++
tests/misc/global_decl_loc2.i | 4 +--
tests/misc/log_selfrec.i | 2 +-
.../oracle/function_ptr_lvalue_1.res.oracle | 2 +-
tests/spec/multiple_include_2.c | 2 +-
tests/syntax/arg_type.i | 2 +-
tests/syntax/bad_return_bts_599.i | 2 +-
tests/syntax/bts0519.c | 2 +-
tests/syntax/ghost_cv_parsing_errors.c | 2 +-
tests/syntax/ghost_else_bad_oneline.i | 2 +-
tests/syntax/inconsistent_decl.c | 4 +--
tests/syntax/inconsistent_global_ghost_spec.c | 8 ++---
tests/syntax/merge_unused.c | 6 ++--
tests/syntax/multiple_assigns.i | 6 ++--
tests/syntax/multiple_froms.i | 5 +--
tests/syntax/oracle/multiple_froms.res.oracle | 4 +--
.../syntax/reject_use_decl_mismatch_bts728.c | 4 +--
tests/syntax/type_redef.i | 2 +-
tests/syntax/typedef_namespace_bts1500.c | 2 +-
tests/value/empty_base.c | 2 +-
tests/value/recursion.i | 4 +--
tests/value/split_return.i | 2 +-
tests/value/traces/test5.i | 2 +-
tests/value/unknown_sizeof.i | 2 +-
tests/value/use_spec.i | 4 +--
38 files changed, 79 insertions(+), 77 deletions(-)
diff --git a/src/plugins/nonterm/tests/nonterm/oracle/output_to_file.txt b/src/plugins/nonterm/tests/nonterm/oracle/output_to_file.txt
index 6dd97cd6bff..4d8b2ffd404 100644
--- a/src/plugins/nonterm/tests/nonterm/oracle/output_to_file.txt
+++ b/src/plugins/nonterm/tests/nonterm/oracle/output_to_file.txt
@@ -1,3 +1,3 @@
-tests/nonterm/output_to_file.i:7:[nonterm] warning: non-terminating loop
-stack: loop :: tests/nonterm/output_to_file.i:11 <- main
-tests/nonterm/output_to_file.i:12:[nonterm] warning: unreachable return
+output_to_file.i:7:[nonterm] warning: non-terminating loop
+stack: loop :: output_to_file.i:11 <- main
+output_to_file.i:12:[nonterm] warning: unreachable return
diff --git a/src/plugins/server/tests/batch/ast_services.i b/src/plugins/server/tests/batch/ast_services.i
index 2e5cdd09418..4c1e7b1b838 100644
--- a/src/plugins/server/tests/batch/ast_services.i
+++ b/src/plugins/server/tests/batch/ast_services.i
@@ -1,5 +1,5 @@
-/* run.config
- EXIT: 1
+/* run.config*
+ EXIT: 1
STDOPT:
*/
diff --git a/src/plugins/server/tests/batch/wrong.i b/src/plugins/server/tests/batch/wrong.i
index 9997285b955..1a0a6550cd2 100644
--- a/src/plugins/server/tests/batch/wrong.i
+++ b/src/plugins/server/tests/batch/wrong.i
@@ -1,4 +1,4 @@
-/* run.config
+/* run.config*
EXIT: 1
STDOPT:
*/
diff --git a/src/plugins/variadic/tests/erroneous/no-param.i b/src/plugins/variadic/tests/erroneous/no-param.i
index 36a51880c62..d91685eee5b 100644
--- a/src/plugins/variadic/tests/erroneous/no-param.i
+++ b/src/plugins/variadic/tests/erroneous/no-param.i
@@ -1,5 +1,5 @@
/* run.config*
- EXIT: 1
+ EXIT: 1
STDOPT:
*/
void f(...) // f must have at least one argument
@@ -11,4 +11,3 @@ int main()
{
f(0);
}
-
diff --git a/src/plugins/variadic/tests/erroneous/not-enough-par.i b/src/plugins/variadic/tests/erroneous/not-enough-par.i
index ca9b1509cd0..324731fc341 100644
--- a/src/plugins/variadic/tests/erroneous/not-enough-par.i
+++ b/src/plugins/variadic/tests/erroneous/not-enough-par.i
@@ -1,5 +1,5 @@
/* run.config*
- EXIT: 1
+ EXIT: 1
STDOPT:
*/
int f(int a, int, int c,...);
diff --git a/src/plugins/variadic/tests/erroneous/variadic-builtin.i b/src/plugins/variadic/tests/erroneous/variadic-builtin.i
index 5f47371b838..160fba1f823 100644
--- a/src/plugins/variadic/tests/erroneous/variadic-builtin.i
+++ b/src/plugins/variadic/tests/erroneous/variadic-builtin.i
@@ -1,5 +1,5 @@
-/* run.config
- EXIT: 3
+/* run.config*
+ EXIT: 3
STDOPT:
*/
extern void Frama_C_show_each_warning(char const * , ...);
diff --git a/tests/cil/bts892.i b/tests/cil/bts892.i
index c4e23ac5bf3..493733c896a 100644
--- a/tests/cil/bts892.i
+++ b/tests/cil/bts892.i
@@ -1,5 +1,5 @@
/* run.config*
- EXIT: 1
+ EXIT: 1
STDOPT:
*/
diff --git a/tests/cil/ghost_cfg.c b/tests/cil/ghost_cfg.c
index 5796f2a28e6..077ac9570d4 100644
--- a/tests/cil/ghost_cfg.c
+++ b/tests/cil/ghost_cfg.c
@@ -1,5 +1,5 @@
/* run.config
- EXIT: 1
+ EXIT: 1
OPT: -cpp-extra-args="-DCAN_CHECK"
OPT: -cpp-extra-args="-DCANT_CHECK"
*/
diff --git a/tests/metrics/locals_size.i b/tests/metrics/locals_size.i
index 83b32f9b6a6..bd261320029 100644
--- a/tests/metrics/locals_size.i
+++ b/tests/metrics/locals_size.i
@@ -1,5 +1,5 @@
/* run.config
- EXIT: 1
+ EXIT: 1
OPT: -metrics-locals-size f,g,level3,level2,level1,main
OPT: -metrics-locals-size recurse2
*/
diff --git a/tests/metrics/used-files.i b/tests/metrics/used-files.i
index dd38e0abe9e..82998e23236 100644
--- a/tests/metrics/used-files.i
+++ b/tests/metrics/used-files.i
@@ -1,5 +1,5 @@
/* run.config
- EXIT: 1
+ EXIT: 1
OPT: -metrics-used-files @PTEST_NAME@1.i @PTEST_NAME@2.i @PTEST_NAME@3.i @PTEST_NAME@4.i @PTEST_NAME@5.i @PTEST_NAME@6.i @PTEST_NAME@7.i @PTEST_NAME@8.i @PTEST_NAME@9.c @PTEST_NAME@1.h @PTEST_NAME@2.h
OPT: -metrics-used-files -main g @PTEST_NAME@1.i @PTEST_NAME@2.i @PTEST_NAME@3.i @PTEST_NAME@4.i @PTEST_NAME@5.i @PTEST_NAME@6.i @PTEST_NAME@7.i @PTEST_NAME@8.i @PTEST_NAME@9.c @PTEST_NAME@1.h @PTEST_NAME@2.h
*/
diff --git a/tests/misc/bts0990_link.i b/tests/misc/bts0990_link.i
index cc237daa195..275a6a38c7b 100644
--- a/tests/misc/bts0990_link.i
+++ b/tests/misc/bts0990_link.i
@@ -1,4 +1,4 @@
-/* run.config
+/* run.config*
EXIT: 1
OPT: %{dep:bts0990_link_1.i}
*/
diff --git a/tests/misc/custom_machdep.c b/tests/misc/custom_machdep.c
index 85f4d6116ac..f8e3930de11 100644
--- a/tests/misc/custom_machdep.c
+++ b/tests/misc/custom_machdep.c
@@ -1,9 +1,9 @@
/* run.config*
-EXIT: 1
-DEPS: __fc_machdep_custom.h
-MODULE: @PTEST_NAME@
-OPT: -cpp-extra-args="-D__FC_MACHDEP_CUSTOM" -machdep custom -print -then -print
-COMMENT: we need a -then to test double registering of a machdep
+ EXIT: 1
+ DEPS: __fc_machdep_custom.h
+ MODULE: @PTEST_NAME@
+ OPT: -cpp-extra-args="-D__FC_MACHDEP_CUSTOM" -machdep custom -print -then -print
+ COMMENT: we need a -then to test double registering of a machdep
*/
#include "__fc_machdep_custom.h"
// most of the following includes are not directly used, but they test if
diff --git a/tests/misc/debug_category.i b/tests/misc/debug_category.i
index 63a575d20bd..f4b77fa6c36 100644
--- a/tests/misc/debug_category.i
+++ b/tests/misc/debug_category.i
@@ -1,28 +1,28 @@
-/* run.config
+/* run.config*
MODULE: Debug_category
EXIT: 0
-OPT: -test-msg-key help -test-warn-key="a=inactive"
-OPT: -test-msg-key a -test-warn-key="a=inactive"
-OPT: -test-msg-key a -test-msg-key="-a:b" -test-warn-key="a=inactive"
-OPT: -test-msg-key a -test-msg-key="-a:b" -test-msg-key a:b:c -test-warn-key="a=inactive"
-OPT: -test-msg-key "a:b:c,d" -test-warn-key="a=inactive"
-OPT: -test-msg-key "*" -test-warn-key="a=inactive"
-OPT:
+ OPT: -test-msg-key help -test-warn-key="a=inactive"
+ OPT: -test-msg-key a -test-warn-key="a=inactive"
+ OPT: -test-msg-key a -test-msg-key="-a:b" -test-warn-key="a=inactive"
+ OPT: -test-msg-key a -test-msg-key="-a:b" -test-msg-key a:b:c -test-warn-key="a=inactive"
+ OPT: -test-msg-key "a:b:c,d" -test-warn-key="a=inactive"
+ OPT: -test-msg-key "*" -test-warn-key="a=inactive"
+ OPT:
EXIT: 1
-OPT: -test-warn-key a=error
-OPT: -test-warn-key a=abort
+ OPT: -test-warn-key a=error
+ OPT: -test-warn-key a=abort
EXIT: 0
-OPT: -test-warn-key a=feedback
+ OPT: -test-warn-key a=feedback
EXIT: 1
-OPT: -test-warn-key="*=abort"
+ OPT: -test-warn-key="*=abort"
EXIT: 0
-OPT: -test-warn-key=a=once
-OPT: -test-warn-key a=feedback-once
+ OPT: -test-warn-key=a=once
+ OPT: -test-warn-key a=feedback-once
EXIT: 1
-OPT: -test-warn-key a=err-once
-OPT: -test-warn-key test-vis-err
-OPT: -test-warn-key test-inv-err
+ OPT: -test-warn-key a=err-once
+ OPT: -test-warn-key test-vis-err
+ OPT: -test-warn-key test-inv-err
EXIT: 4
-OPT: -test-warn-key test-failure
+ OPT: -test-warn-key test-failure
FILTER: sed 's|Your Frama-C version is.*|Your Frama-C version is VERSION|'
*/
diff --git a/tests/misc/function_ptr_lvalue_1.i b/tests/misc/function_ptr_lvalue_1.i
index 08951484173..b48ddbd09f7 100644
--- a/tests/misc/function_ptr_lvalue_1.i
+++ b/tests/misc/function_ptr_lvalue_1.i
@@ -2,6 +2,8 @@
EXIT: 1
STDOPT:
*/
+
+
void f(void) {}
int main()
diff --git a/tests/misc/global_decl_loc2.i b/tests/misc/global_decl_loc2.i
index 6183bafeabb..725fed64ce7 100644
--- a/tests/misc/global_decl_loc2.i
+++ b/tests/misc/global_decl_loc2.i
@@ -1,5 +1,5 @@
-/* run.config
- EXIT: 1
+/* run.config*
+ EXIT: 1
LIBS: global_decl_loc
OPT: @PTEST_DIR@/global_decl_loc.i
*/
diff --git a/tests/misc/log_selfrec.i b/tests/misc/log_selfrec.i
index 7e90ffb0a83..0059f5e09db 100644
--- a/tests/misc/log_selfrec.i
+++ b/tests/misc/log_selfrec.i
@@ -1,4 +1,4 @@
-/* run.config
+/* run.config*
PLUGIN: report @PLUGIN@
EXIT: 1
OPT: -foobar -report-unclassified-error jazz
diff --git a/tests/misc/oracle/function_ptr_lvalue_1.res.oracle b/tests/misc/oracle/function_ptr_lvalue_1.res.oracle
index 5cc114cdd1d..d3d88774926 100644
--- a/tests/misc/oracle/function_ptr_lvalue_1.res.oracle
+++ b/tests/misc/oracle/function_ptr_lvalue_1.res.oracle
@@ -1,5 +1,5 @@
[kernel] Parsing function_ptr_lvalue_1.i (no preprocessing)
-[kernel] function_ptr_lvalue_1.i:11: User Error:
+[kernel] function_ptr_lvalue_1.i:13: User Error:
Cannot assign to non-modifiable lval *p
[kernel] User Error: stopping on file "function_ptr_lvalue_1.i" that has errors.
[kernel] Frama-C aborted: invalid user input.
diff --git a/tests/spec/multiple_include_2.c b/tests/spec/multiple_include_2.c
index f9cd751dcc4..4a8f6316eab 100644
--- a/tests/spec/multiple_include_2.c
+++ b/tests/spec/multiple_include_2.c
@@ -1,5 +1,5 @@
/* run.config
- EXIT: 1
+ EXIT: 1
DEPS: multiple_include.h
OPT: -kernel-warn-key=annot-error=active -print %{dep:multiple_include_1.c}
*/
diff --git a/tests/syntax/arg_type.i b/tests/syntax/arg_type.i
index 1d78c959ba8..7f17b62b700 100644
--- a/tests/syntax/arg_type.i
+++ b/tests/syntax/arg_type.i
@@ -1,4 +1,4 @@
-/* run.config
+/* run.config*
EXIT: 1
STDOPT: +"-machdep gcc_x86_32"
*/
diff --git a/tests/syntax/bad_return_bts_599.i b/tests/syntax/bad_return_bts_599.i
index 27707059b85..0306283d85e 100644
--- a/tests/syntax/bad_return_bts_599.i
+++ b/tests/syntax/bad_return_bts_599.i
@@ -1,4 +1,4 @@
-/* run.config
+/* run.config*
EXIT: 1
STDOPT:
*/
diff --git a/tests/syntax/bts0519.c b/tests/syntax/bts0519.c
index a969be5270a..8b7f870c14b 100644
--- a/tests/syntax/bts0519.c
+++ b/tests/syntax/bts0519.c
@@ -1,9 +1,9 @@
/* run.config
- EXIT: 0
STDOPT: +"-cpp-command='gcc -C -E -I.'" +"-cpp-frama-c-compliant"
EXIT: 1
STDOPT: +"-cpp-command='gcc -C -E -I. -DERR'" +"-cpp-frama-c-compliant"
*/
+
int t[4];
#ifdef ERR
int q[static 3];
diff --git a/tests/syntax/ghost_cv_parsing_errors.c b/tests/syntax/ghost_cv_parsing_errors.c
index 1bcbcce7fab..7e1c57415c9 100644
--- a/tests/syntax/ghost_cv_parsing_errors.c
+++ b/tests/syntax/ghost_cv_parsing_errors.c
@@ -1,5 +1,5 @@
/* run.config
- EXIT: 1
+ EXIT: 1
OPT:-cpp-extra-args="-DIN_TYPE"
OPT:-cpp-extra-args="-DIN_DECL"
OPT:-cpp-extra-args="-DIN_GHOST_ATTR"
diff --git a/tests/syntax/ghost_else_bad_oneline.i b/tests/syntax/ghost_else_bad_oneline.i
index f1d5b8b8244..ea8b5d76a13 100644
--- a/tests/syntax/ghost_else_bad_oneline.i
+++ b/tests/syntax/ghost_else_bad_oneline.i
@@ -1,5 +1,5 @@
/* run.config
- EXIT: 1
+ EXIT: 1
OPT: -print
*/
void if_ghost_else_one_line_bad(int x, int y) {
diff --git a/tests/syntax/inconsistent_decl.c b/tests/syntax/inconsistent_decl.c
index 6fea90cb9de..b3bdd2eee5a 100644
--- a/tests/syntax/inconsistent_decl.c
+++ b/tests/syntax/inconsistent_decl.c
@@ -1,7 +1,7 @@
/* run.config
EXIT: 1
-STDOPT: +"%{dep:inconsistent_decl_2.i}"
-STDOPT: +"%{dep:inconsistent_decl_2.i}"+"-cpp-extra-args='-DWITH_PROTO'"
+ STDOPT: +"%{dep:inconsistent_decl_2.i}"
+ STDOPT: +"%{dep:inconsistent_decl_2.i}"+"-cpp-extra-args='-DWITH_PROTO'"
*/
#ifdef WITH_PROTO
int f();
diff --git a/tests/syntax/inconsistent_global_ghost_spec.c b/tests/syntax/inconsistent_global_ghost_spec.c
index 02802a5fc23..231b0c1123f 100644
--- a/tests/syntax/inconsistent_global_ghost_spec.c
+++ b/tests/syntax/inconsistent_global_ghost_spec.c
@@ -1,9 +1,9 @@
/* run.config
EXIT: 1
-OPT: -cpp-extra-args="-DNON_GHOST_DECL_GHOST_DEF"
-OPT: -cpp-extra-args="-DGHOST_DECL_NON_GHOST_DEF"
-OPT: -cpp-extra-args="-DGHOST_DEF_NON_GHOST_DECL"
-OPT: -cpp-extra-args="-DNON_GHOST_DEF_GHOST_DECL"
+ OPT: -cpp-extra-args="-DNON_GHOST_DECL_GHOST_DEF"
+ OPT: -cpp-extra-args="-DGHOST_DECL_NON_GHOST_DEF"
+ OPT: -cpp-extra-args="-DGHOST_DEF_NON_GHOST_DECL"
+ OPT: -cpp-extra-args="-DNON_GHOST_DEF_GHOST_DECL"
*/
#ifdef NON_GHOST_DECL_GHOST_DEF
diff --git a/tests/syntax/merge_unused.c b/tests/syntax/merge_unused.c
index 28dd7b22163..5fa0b7c3120 100644
--- a/tests/syntax/merge_unused.c
+++ b/tests/syntax/merge_unused.c
@@ -1,7 +1,7 @@
-/* run.config
+/* run.config*
EXIT: 1
-DEPS: merge_unused.h
-OPT: -cpp-extra-args="-I@PTEST_DIR@" %{dep:@PTEST_NAME@_2.c} -print
+ DEPS: merge_unused.h
+ OPT: -cpp-extra-args="-I@PTEST_DIR@" %{dep:@PTEST_NAME@_2.c} -print
*/
#pragma pack(1)
diff --git a/tests/syntax/multiple_assigns.i b/tests/syntax/multiple_assigns.i
index d30757ea3ba..e452e0fdc96 100644
--- a/tests/syntax/multiple_assigns.i
+++ b/tests/syntax/multiple_assigns.i
@@ -1,7 +1,7 @@
-/* run.config
- EXIT: 1
+/* run.config*
+ EXIT: 0
+ STDOPT:
*/
-
int z;
/*@ assigns z, z;
diff --git a/tests/syntax/multiple_froms.i b/tests/syntax/multiple_froms.i
index ff8f1a77de1..fb2cf140850 100644
--- a/tests/syntax/multiple_froms.i
+++ b/tests/syntax/multiple_froms.i
@@ -1,5 +1,6 @@
-/* run.config
- EXIT: 1
+/* run.config*
+ EXIT: 0
+ STDOPT:
*/
diff --git a/tests/syntax/oracle/multiple_froms.res.oracle b/tests/syntax/oracle/multiple_froms.res.oracle
index 782d8b3af9e..6cf99a12c33 100644
--- a/tests/syntax/oracle/multiple_froms.res.oracle
+++ b/tests/syntax/oracle/multiple_froms.res.oracle
@@ -1,8 +1,8 @@
[kernel] Parsing multiple_froms.i (no preprocessing)
[kernel:annot:multi-from] Warning:
- Drop 'b' \from at multiple_froms.i:14 for more precise one at multiple_froms.i:15
+ Drop 'b' \from at multiple_froms.i:15 for more precise one at multiple_froms.i:16
[kernel:annot:multi-from] Warning:
- Drop 'a' \from at multiple_froms.i:12 for more precise one at multiple_froms.i:11
+ Drop 'a' \from at multiple_froms.i:13 for more precise one at multiple_froms.i:12
/* Generated by Frama-C */
int a;
int b;
diff --git a/tests/syntax/reject_use_decl_mismatch_bts728.c b/tests/syntax/reject_use_decl_mismatch_bts728.c
index 0af65563beb..1dde8a89eb9 100644
--- a/tests/syntax/reject_use_decl_mismatch_bts728.c
+++ b/tests/syntax/reject_use_decl_mismatch_bts728.c
@@ -1,7 +1,7 @@
/* run.config
EXIT: 1
-STDOPT: +"-cpp-extra-args='-DHAS_PROTO'"
-STDOPT: +"-cpp-extra-args='-DNO_PROTO'"
+ STDOPT: +"-cpp-extra-args='-DHAS_PROTO'"
+ STDOPT: +"-cpp-extra-args='-DNO_PROTO'"
*/
#ifdef HAS_PROTO
int f();
diff --git a/tests/syntax/type_redef.i b/tests/syntax/type_redef.i
index 1789ed03904..2c56c35150b 100644
--- a/tests/syntax/type_redef.i
+++ b/tests/syntax/type_redef.i
@@ -1,5 +1,5 @@
/* run.config
- EXIT: 1
+ EXIT: 1
STDOPT:
STDOPT: #"-c11"
*/ // Note: redefinition of local typedefs is currently unsupported
diff --git a/tests/syntax/typedef_namespace_bts1500.c b/tests/syntax/typedef_namespace_bts1500.c
index 9b979bf221d..0e4a066a648 100644
--- a/tests/syntax/typedef_namespace_bts1500.c
+++ b/tests/syntax/typedef_namespace_bts1500.c
@@ -1,4 +1,4 @@
-/* run.config
+/* run.config*
STDOPT:
EXIT: 1
STDOPT: +"-cpp-extra-args='-DHIDING_TYPEDEF'"
diff --git a/tests/value/empty_base.c b/tests/value/empty_base.c
index a1e08e2b7e0..02c1b9f96ea 100644
--- a/tests/value/empty_base.c
+++ b/tests/value/empty_base.c
@@ -1,5 +1,5 @@
/* run.config*
- EXIT: 1
+ EXIT: 1
STDOPT: +"-machdep gcc_x86_32"
STDOPT:
*/
diff --git a/tests/value/recursion.i b/tests/value/recursion.i
index a54b9703d4e..18c8cb1d2d0 100644
--- a/tests/value/recursion.i
+++ b/tests/value/recursion.i
@@ -1,5 +1,5 @@
-/*run.config*
- EXIT: 1
+/* run.config*
+ EXIT: 1
OPT: -lib-entry -main main -eva @EVA_CONFIG@
OPT: -lib-entry -main main -eva @EVA_CONFIG@ -eva-ignore-recursive-calls
*/
diff --git a/tests/value/split_return.i b/tests/value/split_return.i
index c5cf8b5cf3f..08885c5c4b2 100644
--- a/tests/value/split_return.i
+++ b/tests/value/split_return.i
@@ -2,8 +2,8 @@
PLUGIN: @PLUGIN@ report
STDOPT: +"-deterministic -eva-no-memexec -eva-slevel-function init:3,main1:3,f2:4,main2:4,f4:3,main5:3,uninit:2,main9:2 -eva-split-return-function f2:0,f3:-2:-4,f4:4,f5:-2,NON_EXISTING:4,uninit:0,escaping:0 -eva-warn-copy-indeterminate=-uninit,-escaping,-main9 -permissive -then -report"
STDOPT: +"-deterministic -eva-no-memexec -eva -out -input -deps -eva-slevel 6 -eva-split-return auto -eva-split-return-function f7:0:3 -eva-warn-copy-indeterminate=-uninit,-escaping,-main9 -then -report"
- COMMENT: below command must fail, as -permissive is not set
EXIT:1
+ COMMENT: below command must fail, as -permissive is not set
STDOPT: +"-deterministic -eva-no-memexec -eva -eva-slevel-function NON_EXISTING:4 -eva-warn-copy-indeterminate=-uninit,-escaping,-main9"
EXIT:0
STDOPT: +"-deterministic -eva-no-memexec -eva -out -input -deps -eva-slevel 6 -eva-split-return full -eva-warn-copy-indeterminate=-uninit,-escaping,-main9"
diff --git a/tests/value/traces/test5.i b/tests/value/traces/test5.i
index 2cadc99b60b..8f21952cadf 100644
--- a/tests/value/traces/test5.i
+++ b/tests/value/traces/test5.i
@@ -1,5 +1,5 @@
/* run.config
- EXIT: 1
+ EXIT: 1
STDOPT: #"-eva-domains traces -eva-msg-key d-traces -eva-slevel 10" +"-then-last -eva -eva-slevel 10 -print -no-eva-traces-domain"
*/
diff --git a/tests/value/unknown_sizeof.i b/tests/value/unknown_sizeof.i
index 38f1f696870..873f0e1e81f 100644
--- a/tests/value/unknown_sizeof.i
+++ b/tests/value/unknown_sizeof.i
@@ -1,5 +1,5 @@
/* run.config*
- EXIT: 1
+ EXIT: 1
OPT: -eva @EVA_CONFIG@ -main main1
OPT: -eva @EVA_CONFIG@ -main main2
*/
diff --git a/tests/value/use_spec.i b/tests/value/use_spec.i
index 31507fa899b..58fc74027e7 100644
--- a/tests/value/use_spec.i
+++ b/tests/value/use_spec.i
@@ -1,7 +1,7 @@
/* run.config*
EXIT: 1
- OPT: -eva-use-spec f,h -eva @EVA_CONFIG@ -inout -calldeps
- OPT: -eva-use-spec f,h -eva @EVA_CONFIG@ -inout -calldeps -show-indirect-deps
+ OPT: -eva-use-spec f,h -eva @EVA_CONFIG@ -inout -calldeps
+ OPT: -eva-use-spec f,h -eva @EVA_CONFIG@ -inout -calldeps -show-indirect-deps
*/
void f(int *x) {
--
GitLab