diff --git a/tests/syntax/c11-keywords.c b/tests/syntax/c11-keywords.c new file mode 100644 index 0000000000000000000000000000000000000000..ea34e4f25ffefa9185ab3e7cfc54d987244e7204 --- /dev/null +++ b/tests/syntax/c11-keywords.c @@ -0,0 +1,35 @@ +/* run.config + EXIT: 1 + STDOPT: #"-cpp-extra-args=-DALIGNAS" + STDOPT: #"-cpp-extra-args=-DALIGNOF" + STDOPT: #"-cpp-extra-args=-DCOMPLEX" + STDOPT: #"-cpp-extra-args=-DGENERIC" + STDOPT: #"-cpp-extra-args=-DIMAGINARY" +*/ + +#ifdef ALIGNAS +struct st_alignas { + _Alignas(32) char buf[4]; +}; +#endif + +int main(void) { +#ifdef ALIGNOF + int alignd = _Alignof(double); +#endif + +#ifdef COMPLEX + double _Complex c = 1; +#endif + +#ifdef GENERIC + int generic = _Generic('0', char: 1, int: 2, default: 0); +#endif + +#ifdef IMAGINARY + //Note: GCC/Clang do not yet support _Imaginary + double _Imaginary im = 0; +#endif + + return 0; +} diff --git a/tests/syntax/oracle/c11-keywords.0.res.oracle b/tests/syntax/oracle/c11-keywords.0.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..226f1b7db043dae487595df7e0be62d1af454971 --- /dev/null +++ b/tests/syntax/oracle/c11-keywords.0.res.oracle @@ -0,0 +1,6 @@ +[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing) +[kernel] tests/syntax/c11-keywords.c:12: Failure: + _Alignas is currently unsupported by Frama-C. +[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add + '-kernel-msg-key pp' for preprocessing command. +[kernel] Frama-C aborted: invalid user input. diff --git a/tests/syntax/oracle/c11-keywords.1.res.oracle b/tests/syntax/oracle/c11-keywords.1.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..f85b77e4dae3cd6bd69196a69d87daefe5b5665b --- /dev/null +++ b/tests/syntax/oracle/c11-keywords.1.res.oracle @@ -0,0 +1,6 @@ +[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing) +[kernel] tests/syntax/c11-keywords.c:18: Failure: + _Alignof is currently unsupported by Frama-C. +[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add + '-kernel-msg-key pp' for preprocessing command. +[kernel] Frama-C aborted: invalid user input. diff --git a/tests/syntax/oracle/c11-keywords.2.res.oracle b/tests/syntax/oracle/c11-keywords.2.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..7e887a957620f6b2caa0cb073b99412bc572f920 --- /dev/null +++ b/tests/syntax/oracle/c11-keywords.2.res.oracle @@ -0,0 +1,6 @@ +[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing) +[kernel] tests/syntax/c11-keywords.c:22: Failure: + _Complex is currently unsupported by Frama-C. +[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add + '-kernel-msg-key pp' for preprocessing command. +[kernel] Frama-C aborted: invalid user input. diff --git a/tests/syntax/oracle/c11-keywords.3.res.oracle b/tests/syntax/oracle/c11-keywords.3.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..8cd9fbf7dc4ec4835d46d5772349fad502122417 --- /dev/null +++ b/tests/syntax/oracle/c11-keywords.3.res.oracle @@ -0,0 +1,6 @@ +[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing) +[kernel] tests/syntax/c11-keywords.c:26: Failure: + _Generic is currently unsupported by Frama-C. +[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add + '-kernel-msg-key pp' for preprocessing command. +[kernel] Frama-C aborted: invalid user input. diff --git a/tests/syntax/oracle/c11-keywords.4.res.oracle b/tests/syntax/oracle/c11-keywords.4.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..188b0e5616515b2421cdcded20cba6c4e1f768c5 --- /dev/null +++ b/tests/syntax/oracle/c11-keywords.4.res.oracle @@ -0,0 +1,6 @@ +[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing) +[kernel] tests/syntax/c11-keywords.c:31: Failure: + _Imaginary is currently unsupported by Frama-C. +[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add + '-kernel-msg-key pp' for preprocessing command. +[kernel] Frama-C aborted: invalid user input.