From 5a279ee2dcb7096e8117a376ce01f5eebc0659a7 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 24 Mar 2021 11:38:49 +0100
Subject: [PATCH] [Tests] removes decprecated GCC directives

---
 tests/builtins/alloc.c            | 2 +-
 tests/idct/idct.c                 | 2 +-
 tests/idct/ieee_1180_1990.c       | 2 +-
 tests/impact/call.i               | 2 +-
 tests/impact/first.i              | 2 +-
 tests/impact/loop.i               | 2 +-
 tests/impact/slicing.i            | 2 +-
 tests/occurrence/ptr_assert.i     | 2 +-
 tests/pdg/call.c                  | 2 +-
 tests/pdg/calls_and_implicits.c   | 2 +-
 tests/pdg/calls_and_struct.c      | 2 +-
 tests/pdg/decl_dpds.c             | 2 +-
 tests/pdg/dpds_intra.c            | 2 +-
 tests/pdg/globals.c               | 2 +-
 tests/pdg/inter_alias.c           | 2 +-
 tests/pdg/inter_alias2.c          | 2 +-
 tests/pdg/loops.c                 | 2 +-
 tests/pdg/multiple_calls.c        | 2 +-
 tests/pdg/no_body.c               | 2 +-
 tests/pdg/pb_infinite_loop.c      | 2 +-
 tests/pdg/simple_call.c           | 2 +-
 tests/pdg/simple_intra_slice.c    | 2 +-
 tests/value/CruiseControl.c       | 2 +-
 tests/value/CruiseControl_const.c | 2 +-
 tests/value/abs_addr.i            | 2 +-
 tests/value/absolute_pointer.i    | 2 +-
 tests/value/addr.i                | 2 +-
 tests/value/affect_corrupt.i      | 2 +-
 tests/value/array_array.c         | 2 +-
 tests/value/bitwise_pointer.i     | 2 +-
 tests/value/biz.i                 | 2 +-
 tests/value/broken_loop.i         | 2 +-
 tests/value/buffer_overflow.i     | 2 +-
 tests/value/bug.i                 | 2 +-
 tests/value/call_alias.i          | 2 +-
 tests/value/cond2.i               | 2 +-
 tests/value/context_free.i        | 2 +-
 tests/value/control.i             | 2 +-
 tests/value/deps.i                | 2 +-
 tests/value/deref.i               | 2 +-
 tests/value/dur.i                 | 2 +-
 tests/value/enum.i                | 2 +-
 tests/value/enum2.c               | 2 +-
 tests/value/f2.i                  | 2 +-
 tests/value/fptr.i                | 2 +-
 tests/value/from_pb.i             | 2 +-
 tests/value/from_ptr.i            | 2 +-
 tests/value/if.i                  | 2 +-
 tests/value/inout.i               | 2 +-
 tests/value/interpol.c            | 2 +-
 tests/value/jacques.i             | 2 +-
 tests/value/library.i             | 2 +-
 tests/value/offsetmap.i           | 2 +-
 tests/value/origin.i              | 2 +-
 tests/value/partitioning-annots.c | 2 +-
 tests/value/pointer2.i            | 2 +-
 tests/value/pointer4.i            | 2 +-
 tests/value/pointer_int_cast.i    | 2 +-
 tests/value/ptr_relation.i        | 2 +-
 tests/value/semaphore.i           | 2 +-
 tests/value/sort4.i               | 2 +-
 tests/value/struct2.i             | 2 +-
 tests/value/test.i                | 2 +-
 tests/value/val6.i                | 2 +-
 tests/value/val_if.i              | 2 +-
 tests/value/val_ptr.i             | 2 +-
 tests/value/with_comment.i        | 2 +-
 67 files changed, 67 insertions(+), 67 deletions(-)

diff --git a/tests/builtins/alloc.c b/tests/builtins/alloc.c
index 36f4a7c0333..241a309e333 100644
--- a/tests/builtins/alloc.c
+++ b/tests/builtins/alloc.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-eva-alloc-builtin fresh"
    STDOPT: #"-eva-alloc-builtin fresh -absolute-valid-range 0x100-0x200 -main main_abs"
 */
diff --git a/tests/idct/idct.c b/tests/idct/idct.c
index dc3e44d67af..696d82f1a40 100644
--- a/tests/idct/idct.c
+++ b/tests/idct/idct.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    DONTRUN:
 */
 /* IDCT: a fixed point IDCT implementation.
diff --git a/tests/idct/ieee_1180_1990.c b/tests/idct/ieee_1180_1990.c
index d0dce5401ae..9a881a72975 100644
--- a/tests/idct/ieee_1180_1990.c
+++ b/tests/idct/ieee_1180_1990.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: +"-eva-msg-key=summary -load-module report,scope,variadic -float-normal -no-warn-signed-overflow tests/idct/idct.c -eva-remove-redundant-alarms -eva-memexec -eva-builtin sqrt:Frama_C_sqrt,cos:Frama_C_cos -then -report -report-print-properties"
 */
 /* IEEE_1180_1990: a testbed for IDCT accuracy
diff --git a/tests/impact/call.i b/tests/impact/call.i
index cb0428eeb3d..c2c1e339205 100644
--- a/tests/impact/call.i
+++ b/tests/impact/call.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-impact-pragma main"
    STDOPT: +"-impact-pragma main2" +"-main main2"
    STDOPT: +"-impact-pragma main3" +"-main main3"
diff --git a/tests/impact/first.i b/tests/impact/first.i
index abd01f68766..a210dbb40e8 100644
--- a/tests/impact/first.i
+++ b/tests/impact/first.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-impact-pragma impact" +"-lib-entry" +"-main impact"
    */
 
diff --git a/tests/impact/loop.i b/tests/impact/loop.i
index 6f8dff5e0cf..0f8960d4aee 100644
--- a/tests/impact/loop.i
+++ b/tests/impact/loop.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-impact-pragma loop" +"-lib-entry" +"-main loop"
    */
 
diff --git a/tests/impact/slicing.i b/tests/impact/slicing.i
index bd613dca6e5..93e008b3564 100644
--- a/tests/impact/slicing.i
+++ b/tests/impact/slicing.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-impact-pragma impact" +"-lib-entry" +"-main impact" +"-impact-slicing" +"-then-on 'impact slicing'" +"-print"
    */
 
diff --git a/tests/occurrence/ptr_assert.i b/tests/occurrence/ptr_assert.i
index e4ee64430f5..2fab8226c3d 100644
--- a/tests/occurrence/ptr_assert.i
+++ b/tests/occurrence/ptr_assert.i
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-occurrence"
 */
 
diff --git a/tests/pdg/call.c b/tests/pdg/call.c
index f6c2c5ce8a9..1a48d0b295e 100644
--- a/tests/pdg/call.c
+++ b/tests/pdg/call.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-lib-entry -main g -pdg -pdg-dot tests/pdg/call "
 */
 
diff --git a/tests/pdg/calls_and_implicits.c b/tests/pdg/calls_and_implicits.c
index 1beea648a97..2ae4e0900f8 100644
--- a/tests/pdg/calls_and_implicits.c
+++ b/tests/pdg/calls_and_implicits.c
@@ -1,5 +1,5 @@
 /* run.config
- *    GCC:
+ *    
  *    STDOPT: +"-fct-pdg main -inout"
  *
  */
diff --git a/tests/pdg/calls_and_struct.c b/tests/pdg/calls_and_struct.c
index c729527eb8e..6e54da289d4 100644
--- a/tests/pdg/calls_and_struct.c
+++ b/tests/pdg/calls_and_struct.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-deps -input -out -inout -pdg"
    */
 
diff --git a/tests/pdg/decl_dpds.c b/tests/pdg/decl_dpds.c
index c3554288fcf..27ecc4e4317 100644
--- a/tests/pdg/decl_dpds.c
+++ b/tests/pdg/decl_dpds.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-fct-pdg main"
 */
 
diff --git a/tests/pdg/dpds_intra.c b/tests/pdg/dpds_intra.c
index 9197f260b9d..aac87fd2a4b 100644
--- a/tests/pdg/dpds_intra.c
+++ b/tests/pdg/dpds_intra.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-fct-pdg test_struct"
    STDOPT: +"-fct-pdg test_if_simple"
    STDOPT: +"-fct-pdg test_goto_simple"
diff --git a/tests/pdg/globals.c b/tests/pdg/globals.c
index 7f7311d87a3..390e3f947b7 100644
--- a/tests/pdg/globals.c
+++ b/tests/pdg/globals.c
@@ -1,5 +1,5 @@
 /* run.config
-  GCC:
+  
   STDOPT: #"-load-module pdg -eva -out -input -deps -main g"
   STDOPT: #"-load-module pdg -eva -out -input -deps -main h"
   STDOPT: #"-load-module pdg -eva -out -input -deps -main f"
diff --git a/tests/pdg/inter_alias.c b/tests/pdg/inter_alias.c
index 28bfdad28e1..6dfec209261 100644
--- a/tests/pdg/inter_alias.c
+++ b/tests/pdg/inter_alias.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-eva -out -input -calldeps -pdg"
 */
 
diff --git a/tests/pdg/inter_alias2.c b/tests/pdg/inter_alias2.c
index 714662e3966..554c37e06f9 100644
--- a/tests/pdg/inter_alias2.c
+++ b/tests/pdg/inter_alias2.c
@@ -1,5 +1,5 @@
 /* run.config
- *    GCC:
+ *    
  *    STDOPT: +"-eva"
  *    STDOPT: +"-calldeps -fct-pdg incr_ptr"
  *    STDOPT: +"-calldeps -fct-pdg f1"
diff --git a/tests/pdg/loops.c b/tests/pdg/loops.c
index dfb6e1b63d0..80a39aefa47 100644
--- a/tests/pdg/loops.c
+++ b/tests/pdg/loops.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-lib-entry -main simple -fct-pdg simple "
    STDOPT: +"-lib-entry -main simple_with_break -fct-pdg simple_with_break "
    STDOPT: +"-lib-entry -main infinite -fct-pdg infinite "
diff --git a/tests/pdg/multiple_calls.c b/tests/pdg/multiple_calls.c
index 1a7660f575c..eee4a8714a1 100644
--- a/tests/pdg/multiple_calls.c
+++ b/tests/pdg/multiple_calls.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-inout -deps -main appel_ptr_fct -fct-pdg appel_ptr_fct "
    STDOPT: +"-inout -deps -main appel_ptr_fct_bis -fct-pdg appel_ptr_fct_bis "
 */
diff --git a/tests/pdg/no_body.c b/tests/pdg/no_body.c
index 003b2595d11..363cf12008d 100644
--- a/tests/pdg/no_body.c
+++ b/tests/pdg/no_body.c
@@ -1,5 +1,5 @@
 /* run.config
-*    GCC:
+*    
 *    STDOPT: +"-fct-pdg main -inout "
 */
 /*
diff --git a/tests/pdg/pb_infinite_loop.c b/tests/pdg/pb_infinite_loop.c
index 0dcf50f1923..8917bf4a755 100644
--- a/tests/pdg/pb_infinite_loop.c
+++ b/tests/pdg/pb_infinite_loop.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-main test_infinite_loop -fct-pdg test_infinite_loop "
    STDOPT: +"-main test_infinite_loop_2 -fct-pdg test_infinite_loop_2 "
    STDOPT: +"-main test_exit -fct-pdg test_exit "
diff --git a/tests/pdg/simple_call.c b/tests/pdg/simple_call.c
index 38800935624..d3c3de25547 100644
--- a/tests/pdg/simple_call.c
+++ b/tests/pdg/simple_call.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-fct-pdg main "
    STDOPT: +"-main call_in_loop -fct-pdg call_in_loop "
    STDOPT: +"-main call_mix_G1_G2 -fct-pdg call_mix_G1_G2 "
diff --git a/tests/pdg/simple_intra_slice.c b/tests/pdg/simple_intra_slice.c
index 2cc5d17980e..3aefdbda6d7 100644
--- a/tests/pdg/simple_intra_slice.c
+++ b/tests/pdg/simple_intra_slice.c
@@ -1,5 +1,5 @@
 /* run.config
-   GCC:
+   
    STDOPT: +"-pdg "
 */
 /* test conçu initialement comme test pour le slicing */
diff --git a/tests/value/CruiseControl.c b/tests/value/CruiseControl.c
index 868f2ad6eb7..c87b609b671 100644
--- a/tests/value/CruiseControl.c
+++ b/tests/value/CruiseControl.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-float-normal tests/value/CruiseControl_const.c -lib-entry -main CruiseControl -eva-context-depth 10 -eva-context-valid-pointers"
 
 */
diff --git a/tests/value/CruiseControl_const.c b/tests/value/CruiseControl_const.c
index 92a1f42e65f..15ed6f9e757 100644
--- a/tests/value/CruiseControl_const.c
+++ b/tests/value/CruiseControl_const.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    DONTRUN:
 */
 /*$************* SCADE_KCG KCG Version 5.1.1 (build i10) **************
diff --git a/tests/value/abs_addr.i b/tests/value/abs_addr.i
index 9b545eacdaf..e255dc65de6 100644
--- a/tests/value/abs_addr.i
+++ b/tests/value/abs_addr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-absolute-valid-range 0x20000-0x3FFFF"
 */
 
diff --git a/tests/value/absolute_pointer.i b/tests/value/absolute_pointer.i
index 46d179dd313..e0fef35ae0d 100644
--- a/tests/value/absolute_pointer.i
+++ b/tests/value/absolute_pointer.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-absolute-valid-range 0-0x3"
 */
 
diff --git a/tests/value/addr.i b/tests/value/addr.i
index 3b1a0929d53..86fffd8399f 100644
--- a/tests/value/addr.i
+++ b/tests/value/addr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-main f"
 */
diff --git a/tests/value/affect_corrupt.i b/tests/value/affect_corrupt.i
index 5cff9ff7447..66459e7e0a6 100644
--- a/tests/value/affect_corrupt.i
+++ b/tests/value/affect_corrupt.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-absolute-valid-range 0-0x3"
 */
diff --git a/tests/value/array_array.c b/tests/value/array_array.c
index 121c559f1ab..d1aff06ae83 100644
--- a/tests/value/array_array.c
+++ b/tests/value/array_array.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-main main2"
    STDOPT: #"-main main3"
diff --git a/tests/value/bitwise_pointer.i b/tests/value/bitwise_pointer.i
index e7769c1009f..aec53ebac7c 100644
--- a/tests/value/bitwise_pointer.i
+++ b/tests/value/bitwise_pointer.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-inout"
 */
 
diff --git a/tests/value/biz.i b/tests/value/biz.i
index 597042b8787..e209371bfb8 100644
--- a/tests/value/biz.i
+++ b/tests/value/biz.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f2"
 */
 
diff --git a/tests/value/broken_loop.i b/tests/value/broken_loop.i
index 2794464489c..d16f01efd48 100644
--- a/tests/value/broken_loop.i
+++ b/tests/value/broken_loop.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main loop"
 */
 int X;
diff --git a/tests/value/buffer_overflow.i b/tests/value/buffer_overflow.i
index d62a4d71b89..3e918a20f44 100644
--- a/tests/value/buffer_overflow.i
+++ b/tests/value/buffer_overflow.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT:
    STDOPT: #"-ulevel 15"
 */
diff --git a/tests/value/bug.i b/tests/value/bug.i
index c1458c34ba7..6ed2bb7f25f 100644
--- a/tests/value/bug.i
+++ b/tests/value/bug.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f"
 */
 
diff --git a/tests/value/call_alias.i b/tests/value/call_alias.i
index 9fa41477767..ea4dbb7af99 100644
--- a/tests/value/call_alias.i
+++ b/tests/value/call_alias.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main main0"
   STDOPT: #"-main main1"
   STDOPT: #"-main main2"
diff --git a/tests/value/cond2.i b/tests/value/cond2.i
index 81f82f8cbf2..b730bb7212a 100644
--- a/tests/value/cond2.i
+++ b/tests/value/cond2.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main zero_ou_un_0 -out-external"
   STDOPT: #"-main un_1 -out-external"
 
diff --git a/tests/value/context_free.i b/tests/value/context_free.i
index 19c6fe292ad..cfc75576d26 100644
--- a/tests/value/context_free.i
+++ b/tests/value/context_free.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    OPT: -no-autoload-plugins -load-module inout,eva -eva @EVA_CONFIG@ -lib-entry -main f -absolute-valid-range 0x200-0x199 -eva-msg-key initial-state -journal-disable
 */
 
diff --git a/tests/value/control.i b/tests/value/control.i
index 76c4fe60417..0c9b8e08e75 100644
--- a/tests/value/control.i
+++ b/tests/value/control.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f"
 */
 
diff --git a/tests/value/deps.i b/tests/value/deps.i
index b01c3c12c20..99e8b0d769f 100644
--- a/tests/value/deps.i
+++ b/tests/value/deps.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main f"
    STDOPT: #"-main fonc1"
    STDOPT: #"-main fonc2"
diff --git a/tests/value/deref.i b/tests/value/deref.i
index c926c7a1016..9d5f1a9e367 100644
--- a/tests/value/deref.i
+++ b/tests/value/deref.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: +"-no-input -no-out -deref"
 */
 int a,b,c,d,e,*p, t[10];
diff --git a/tests/value/dur.i b/tests/value/dur.i
index 39323bc0b2c..e00bd6c5d2e 100644
--- a/tests/value/dur.i
+++ b/tests/value/dur.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-float-normal -main F2"
 */
 
diff --git a/tests/value/enum.i b/tests/value/enum.i
index 2a6acfb91d2..808547c0c10 100644
--- a/tests/value/enum.i
+++ b/tests/value/enum.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f"
 */
 typedef enum counter {ZERO,ONE,TWO,LAST=TWO};
diff --git a/tests/value/enum2.c b/tests/value/enum2.c
index 943507802cf..242c036eeb6 100644
--- a/tests/value/enum2.c
+++ b/tests/value/enum2.c
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-cpp-frama-c-compliant -cpp-command \"gcc -C -E -I. %1 -o %2\""
 */
 
diff --git a/tests/value/f2.i b/tests/value/f2.i
index 8f9b01e9de0..476765a83d1 100644
--- a/tests/value/f2.i
+++ b/tests/value/f2.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f"
 */
 int f(int x) {
diff --git a/tests/value/fptr.i b/tests/value/fptr.i
index 88daeab0630..1984eed4eee 100644
--- a/tests/value/fptr.i
+++ b/tests/value/fptr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    OPT: -no-autoload-plugins -load-module from,inout,eva -eva @EVA_CONFIG@ -journal-disable -then -deps -out
    OPT: -no-autoload-plugins -load-module from,inout,eva -eva @EVA_CONFIG@ -main main_uninit -journal-disable -then -deps -out
 */
diff --git a/tests/value/from_pb.i b/tests/value/from_pb.i
index bd8017e67b1..3dc73c04e88 100644
--- a/tests/value/from_pb.i
+++ b/tests/value/from_pb.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main main0"
   STDOPT: #"-main main1"
   STDOPT: #"-main main2"
diff --git a/tests/value/from_ptr.i b/tests/value/from_ptr.i
index 2910e0d3451..36fb874cd69 100644
--- a/tests/value/from_ptr.i
+++ b/tests/value/from_ptr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-main main1"
 */
diff --git a/tests/value/if.i b/tests/value/if.i
index d0a51f39cc5..597e2897e6f 100644
--- a/tests/value/if.i
+++ b/tests/value/if.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: +"-no-input -no-out -main main6"
    */
diff --git a/tests/value/inout.i b/tests/value/inout.i
index 2e00e3273ac..847c21c656a 100644
--- a/tests/value/inout.i
+++ b/tests/value/inout.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    OPT: -no-autoload-plugins -load-module from,inout @EVA_CONFIG@ -inout -deps -main inout_11_0 -journal-disable
    OPT: -no-autoload-plugins -load-module from,inout @EVA_CONFIG@ -inout -deps -main inout_11_3 -journal-disable
    OPT: -no-autoload-plugins -load-module from,inout @EVA_CONFIG@ -inout -deps -main never_terminate -journal-disable
diff --git a/tests/value/interpol.c b/tests/value/interpol.c
index a8af0145ed2..2dd5d5940e7 100644
--- a/tests/value/interpol.c
+++ b/tests/value/interpol.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-eva-subdivide-non-linear 15"
 */
 
diff --git a/tests/value/jacques.i b/tests/value/jacques.i
index f8fd3590afe..c8367199b88 100644
--- a/tests/value/jacques.i
+++ b/tests/value/jacques.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT:
 */
 
diff --git a/tests/value/library.i b/tests/value/library.i
index 6f7615e0638..797623ff33b 100644
--- a/tests/value/library.i
+++ b/tests/value/library.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: +"-eva-msg-key initial-state -eva-initialization-padding-globals no -lib-entry -main main -eva-context-depth 3 -then -main main2 -then -eva-context-width 4"
 */
 int f_int(int x);
diff --git a/tests/value/offsetmap.i b/tests/value/offsetmap.i
index 7a8c94b8ad3..74db362fd49 100644
--- a/tests/value/offsetmap.i
+++ b/tests/value/offsetmap.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #""
    STDOPT: #"-eva-warn-copy-indeterminate=-f,-g"
 */
diff --git a/tests/value/origin.i b/tests/value/origin.i
index e00c59f3ba6..3146eb3f46a 100644
--- a/tests/value/origin.i
+++ b/tests/value/origin.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    OPT: -no-autoload-plugins -load-module from,inout,eva @EVA_CONFIG@ -eva -eva-warn-copy-indeterminate=-origin_misalign_2,-main -main main -journal-disable -then -out -deps
    OPT: -no-autoload-plugins -load-module from,inout,eva @EVA_CONFIG@ -eva -eva-warn-copy-indeterminate=-origin_misalign_2,-origin -main origin -journal-disable -then -out -deps
 
diff --git a/tests/value/partitioning-annots.c b/tests/value/partitioning-annots.c
index 8137bbab1c2..4aa95cc322d 100644
--- a/tests/value/partitioning-annots.c
+++ b/tests/value/partitioning-annots.c
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main test_unroll -eva-default-loop-unroll 10"
    STDOPT: #"-main test_split"
    STDOPT: +"-main test_split -eva-partition-value k"
diff --git a/tests/value/pointer2.i b/tests/value/pointer2.i
index e0ae75d2e8e..eab132e8e74 100644
--- a/tests/value/pointer2.i
+++ b/tests/value/pointer2.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main g"
   STDOPT: #"-main h"
 */
diff --git a/tests/value/pointer4.i b/tests/value/pointer4.i
index d765226ba0e..bb5060bbc67 100644
--- a/tests/value/pointer4.i
+++ b/tests/value/pointer4.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-absolute-valid-range 0-0x7"
 */
 unsigned short d,e[10]={0},c = 0;
diff --git a/tests/value/pointer_int_cast.i b/tests/value/pointer_int_cast.i
index ee6ae2c2b9c..5964e29d109 100644
--- a/tests/value/pointer_int_cast.i
+++ b/tests/value/pointer_int_cast.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main g"
 */
 int * q;
diff --git a/tests/value/ptr_relation.i b/tests/value/ptr_relation.i
index 4602c60b58b..512e94a6a5f 100644
--- a/tests/value/ptr_relation.i
+++ b/tests/value/ptr_relation.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main main"
    STDOPT: #"-main main1"
    STDOPT: #"-main main2"
diff --git a/tests/value/semaphore.i b/tests/value/semaphore.i
index b9cc8046191..f41e61e078e 100644
--- a/tests/value/semaphore.i
+++ b/tests/value/semaphore.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main g"
 */
 int Sa, Sb;
diff --git a/tests/value/sort4.i b/tests/value/sort4.i
index 8bcd29390bd..45a6c6fd3ee 100644
--- a/tests/value/sort4.i
+++ b/tests/value/sort4.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-lib-entry -main sort4_1"
   STDOPT: #"-lib-entry -main sort4_4"
   STDOPT: #"-lib-entry -main sort4_3"
diff --git a/tests/value/struct2.i b/tests/value/struct2.i
index a50645ceaad..c288731416d 100644
--- a/tests/value/struct2.i
+++ b/tests/value/struct2.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main f_precis -absolute-valid-range 0x1000-0x2000"
 */
 struct st1 {
diff --git a/tests/value/test.i b/tests/value/test.i
index cebef7a452f..02005c85033 100644
--- a/tests/value/test.i
+++ b/tests/value/test.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main inst_F6 -absolute-valid-range 0x200-0x199"
   STDOPT: #"-main f"
 */
diff --git a/tests/value/val6.i b/tests/value/val6.i
index 4c7bfc2602b..bd98e2a6473 100644
--- a/tests/value/val6.i
+++ b/tests/value/val6.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main f -absolute-valid-range 0x1-0xFFFFF"
    STDOPT: #"-main f1 -absolute-valid-range 0x1-0xFFFFF"
 */
diff --git a/tests/value/val_if.i b/tests/value/val_if.i
index 2893f11e1c4..0025877c635 100644
--- a/tests/value/val_if.i
+++ b/tests/value/val_if.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main f"
    STDOPT: #"-main f1"
    STDOPT: #"-main f2"
diff --git a/tests/value/val_ptr.i b/tests/value/val_ptr.i
index 487a2d305b9..a78a5b3aea8 100644
--- a/tests/value/val_ptr.i
+++ b/tests/value/val_ptr.i
@@ -1,5 +1,5 @@
 /* run.config*
-   GCC:
+   
    STDOPT: #"-main f"
    STDOPT: #"-main f1"
    STDOPT: #"-main f3"
diff --git a/tests/value/with_comment.i b/tests/value/with_comment.i
index 4dac16e32a0..61839445263 100644
--- a/tests/value/with_comment.i
+++ b/tests/value/with_comment.i
@@ -1,5 +1,5 @@
 /* run.config*
-  GCC:
+  
   STDOPT: #"-main main2"
 */
 /* Commentaire avant G comment*/ /* Commentaire avant G2 comment*/
-- 
GitLab