Skip to content
Snippets Groups Projects
Commit 5a279ee2 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Tests] removes decprecated GCC directives

parent ab7566e3
No related branches found
No related tags found
No related merge requests found
Showing with 20 additions and 20 deletions
/* run.config* /* run.config*
GCC:
STDOPT: #"-float-normal -main F2" STDOPT: #"-float-normal -main F2"
*/ */
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main f" STDOPT: #"-main f"
*/ */
typedef enum counter {ZERO,ONE,TWO,LAST=TWO}; typedef enum counter {ZERO,ONE,TWO,LAST=TWO};
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-cpp-frama-c-compliant -cpp-command \"gcc -C -E -I. %1 -o %2\"" STDOPT: #"-cpp-frama-c-compliant -cpp-command \"gcc -C -E -I. %1 -o %2\""
*/ */
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main f" STDOPT: #"-main f"
*/ */
int f(int x) { int f(int x) {
......
/* run.config* /* 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@ -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 OPT: -no-autoload-plugins -load-module from,inout,eva -eva @EVA_CONFIG@ -main main_uninit -journal-disable -then -deps -out
*/ */
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main main0" STDOPT: #"-main main0"
STDOPT: #"-main main1" STDOPT: #"-main main1"
STDOPT: #"-main main2" STDOPT: #"-main main2"
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main main" STDOPT: #"-main main"
STDOPT: #"-main main1" STDOPT: #"-main main1"
*/ */
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main main" STDOPT: #"-main main"
STDOPT: +"-no-input -no-out -main main6" STDOPT: +"-no-input -no-out -main main6"
*/ */
......
/* run.config* /* 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_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 inout_11_3 -journal-disable
OPT: -no-autoload-plugins -load-module from,inout @EVA_CONFIG@ -inout -deps -main never_terminate -journal-disable OPT: -no-autoload-plugins -load-module from,inout @EVA_CONFIG@ -inout -deps -main never_terminate -journal-disable
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-eva-subdivide-non-linear 15" STDOPT: #"-eva-subdivide-non-linear 15"
*/ */
......
/* run.config* /* run.config*
GCC:
STDOPT: STDOPT:
*/ */
......
/* run.config* /* 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" 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); int f_int(int x);
......
/* run.config* /* run.config*
GCC:
STDOPT: #"" STDOPT: #""
STDOPT: #"-eva-warn-copy-indeterminate=-f,-g" STDOPT: #"-eva-warn-copy-indeterminate=-f,-g"
*/ */
......
/* run.config* /* 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,-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 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
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main test_unroll -eva-default-loop-unroll 10" STDOPT: #"-main test_unroll -eva-default-loop-unroll 10"
STDOPT: #"-main test_split" STDOPT: #"-main test_split"
STDOPT: +"-main test_split -eva-partition-value k" STDOPT: +"-main test_split -eva-partition-value k"
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main g" STDOPT: #"-main g"
STDOPT: #"-main h" STDOPT: #"-main h"
*/ */
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-absolute-valid-range 0-0x7" STDOPT: #"-absolute-valid-range 0-0x7"
*/ */
unsigned short d,e[10]={0},c = 0; unsigned short d,e[10]={0},c = 0;
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main g" STDOPT: #"-main g"
*/ */
int * q; int * q;
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main main" STDOPT: #"-main main"
STDOPT: #"-main main1" STDOPT: #"-main main1"
STDOPT: #"-main main2" STDOPT: #"-main main2"
......
/* run.config* /* run.config*
GCC:
STDOPT: #"-main g" STDOPT: #"-main g"
*/ */
int Sa, Sb; int Sa, Sb;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment