add test case for new keywords

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;
 }

tests/syntax/oracle/c11-keywords.0.res.oracle

 [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.

tests/syntax/oracle/c11-keywords.1.res.oracle

 [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.

tests/syntax/oracle/c11-keywords.2.res.oracle

 [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.

tests/syntax/oracle/c11-keywords.3.res.oracle

 [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.

tests/syntax/oracle/c11-keywords.4.res.oracle

+[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.

tests/syntax/oracle/c11-keywords.5.res.oracle

+[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.

tests/syntax/oracle/c11-keywords.6.res.oracle

+[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.