diff --git a/tests/syntax/c11-keywords.c b/tests/syntax/c11-keywords.c index 53940ce6527bd2ea30b38d25b7e750b1bee9aca5..f679b6edd847ab543b4d967ebd307142df4c2a20 100644 --- a/tests/syntax/c11-keywords.c +++ b/tests/syntax/c11-keywords.c @@ -4,6 +4,9 @@ STDOPT: #"-cpp-extra-args=-DALIGNOF" STDOPT: #"-cpp-extra-args=-DCOMPLEX" STDOPT: #"-cpp-extra-args=-DIMAGINARY" + STDOPT: #"-cpp-extra-args=-DDECIMAL" + STDOPT: #"-cpp-extra-args=-DINT128" + STDOPT: #"-cpp-extra-args=-DUINT128" */ #ifdef ALIGNAS @@ -26,5 +29,17 @@ int main(void) { double _Imaginary im = 0; #endif +#ifdef DECIMAL + _Decimal32 d32 = 0.25; +#endif + +#ifdef INT128 + __int128 i128 = -1; // Not C11, but GNU extension +#endif + +#ifdef UINT128 + __uint128_t ui128 = 9; // Not C11, but GNU extension +#endif + return 0; } diff --git a/tests/syntax/oracle/c11-keywords.0.res.oracle b/tests/syntax/oracle/c11-keywords.0.res.oracle index b59e250637e626f65af0409a1c6d59a54cfa8967..1cc5abcc5eae5589fd86bfc2f7a2539195dc4bb6 100644 --- a/tests/syntax/oracle/c11-keywords.0.res.oracle +++ b/tests/syntax/oracle/c11-keywords.0.res.oracle @@ -1,4 +1,4 @@ [kernel] Parsing c11-keywords.c (with preprocessing) -[kernel] c11-keywords.c:11: User Error: +[kernel] c11-keywords.c:14: User Error: _Alignas is currently unsupported by Frama-C. [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 index 58485345dabdc136537c19176ff04969de2a8e4f..09119375ff88cdfb7397cface252a930f316614d 100644 --- a/tests/syntax/oracle/c11-keywords.1.res.oracle +++ b/tests/syntax/oracle/c11-keywords.1.res.oracle @@ -1,4 +1,4 @@ [kernel] Parsing c11-keywords.c (with preprocessing) -[kernel] c11-keywords.c:17: User Error: +[kernel] c11-keywords.c:20: User Error: _Alignof is currently unsupported by Frama-C. [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 index afda7c511b52ec0574f6ba09878c309ffc49aac0..f798466ad839e4df07da3c35baec201b53ce7b7d 100644 --- a/tests/syntax/oracle/c11-keywords.2.res.oracle +++ b/tests/syntax/oracle/c11-keywords.2.res.oracle @@ -1,4 +1,4 @@ [kernel] Parsing c11-keywords.c (with preprocessing) -[kernel] c11-keywords.c:21: User Error: +[kernel] c11-keywords.c:24: User Error: _Complex is currently unsupported by Frama-C. [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 index abedc4ec18bd0fd06ea9bac40407d8aa9c57ae26..509cbfd869c2604e34324854f5973289d7a69336 100644 --- a/tests/syntax/oracle/c11-keywords.3.res.oracle +++ b/tests/syntax/oracle/c11-keywords.3.res.oracle @@ -1,4 +1,4 @@ [kernel] Parsing c11-keywords.c (with preprocessing) -[kernel] c11-keywords.c:26: User Error: +[kernel] c11-keywords.c:29: User Error: _Imaginary is currently unsupported by Frama-C. [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..46711a773da0945b8c306627047498e2c3293081 --- /dev/null +++ b/tests/syntax/oracle/c11-keywords.4.res.oracle @@ -0,0 +1,4 @@ +[kernel] Parsing c11-keywords.c (with preprocessing) +[kernel] c11-keywords.c:33: User Error: + _Decimal32 is currently unsupported by Frama-C. +[kernel] Frama-C aborted: invalid user input. diff --git a/tests/syntax/oracle/c11-keywords.5.res.oracle b/tests/syntax/oracle/c11-keywords.5.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..0ad4ce92a0291df9e6e8532f98f01f19dc491192 --- /dev/null +++ b/tests/syntax/oracle/c11-keywords.5.res.oracle @@ -0,0 +1,4 @@ +[kernel] Parsing c11-keywords.c (with preprocessing) +[kernel] c11-keywords.c:37: User Error: + __int128 is currently unsupported by Frama-C. +[kernel] Frama-C aborted: invalid user input. diff --git a/tests/syntax/oracle/c11-keywords.6.res.oracle b/tests/syntax/oracle/c11-keywords.6.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..be870d4d20314da9a1a61854cfaad18e7ff98184 --- /dev/null +++ b/tests/syntax/oracle/c11-keywords.6.res.oracle @@ -0,0 +1,4 @@ +[kernel] Parsing c11-keywords.c (with preprocessing) +[kernel] c11-keywords.c:41: User Error: + __uint128_t is currently unsupported by Frama-C. +[kernel] Frama-C aborted: invalid user input.