xref: /illumos-gate/usr/src/tools/smatch/src/validation/reserved.c (revision c85f09cc92abd00c84e58ec9f0f5d942906cb713)
11f5207b7SJohn Levon static int (auto);
21f5207b7SJohn Levon static int (break);
31f5207b7SJohn Levon static int (case);
41f5207b7SJohn Levon static int (char);
51f5207b7SJohn Levon static int (const);
61f5207b7SJohn Levon static int (__const);
71f5207b7SJohn Levon static int (__const__);
81f5207b7SJohn Levon static int (continue);
91f5207b7SJohn Levon static int (default);
101f5207b7SJohn Levon static int (do);
111f5207b7SJohn Levon static int (double);
121f5207b7SJohn Levon static int (else);
131f5207b7SJohn Levon static int (enum);
141f5207b7SJohn Levon static int (extern);
151f5207b7SJohn Levon static int (float);
161f5207b7SJohn Levon static int (for);
171f5207b7SJohn Levon static int (goto);
181f5207b7SJohn Levon static int (if);
191f5207b7SJohn Levon static int (inline);
201f5207b7SJohn Levon static int (__inline);
211f5207b7SJohn Levon static int (__inline__);
221f5207b7SJohn Levon static int (int);
231f5207b7SJohn Levon static int (long);
241f5207b7SJohn Levon static int (register);
251f5207b7SJohn Levon static int (restrict);
261f5207b7SJohn Levon static int (__restrict);
271f5207b7SJohn Levon static int (__restrict__);
281f5207b7SJohn Levon static int (return);
291f5207b7SJohn Levon static int (short);
301f5207b7SJohn Levon static int (signed);
311f5207b7SJohn Levon static int (sizeof);
321f5207b7SJohn Levon static int (static);
331f5207b7SJohn Levon static int (struct);
341f5207b7SJohn Levon static int (switch);
351f5207b7SJohn Levon static int (typedef);
361f5207b7SJohn Levon static int (union);
371f5207b7SJohn Levon static int (unsigned);
381f5207b7SJohn Levon static int (void);
391f5207b7SJohn Levon static int (volatile);
401f5207b7SJohn Levon static int (volatile);
411f5207b7SJohn Levon static int (__volatile);
421f5207b7SJohn Levon static int (__volatile__);
431f5207b7SJohn Levon static int (while);
441f5207b7SJohn Levon 
451f5207b7SJohn Levon static int (_Alignas);
461f5207b7SJohn Levon static int (_Alignof);
471f5207b7SJohn Levon static int (_Atomic);
481f5207b7SJohn Levon static int (_Bool);
491f5207b7SJohn Levon static int (_Complex);
501f5207b7SJohn Levon static int (_Generic);
511f5207b7SJohn Levon static int (_Imaginary);
521f5207b7SJohn Levon static int (_Noreturn);
531f5207b7SJohn Levon static int (_Static_assert);
541f5207b7SJohn Levon static int (_Thread_local);
551f5207b7SJohn Levon 
561f5207b7SJohn Levon // Sparse extensions
571f5207b7SJohn Levon static int (__context__);
581f5207b7SJohn Levon static int (__range__);
591f5207b7SJohn Levon static int (__sizeof_ptr__);
601f5207b7SJohn Levon 
611f5207b7SJohn Levon // GCC extensions
621f5207b7SJohn Levon static int (__alignof);
631f5207b7SJohn Levon static int (__alignof__);
641f5207b7SJohn Levon static int (asm);			// not reserved!
651f5207b7SJohn Levon static int (__asm);
661f5207b7SJohn Levon static int (__asm__);
671f5207b7SJohn Levon static int (__label__);
681f5207b7SJohn Levon static int (__thread);
691f5207b7SJohn Levon static int (typeof);
701f5207b7SJohn Levon static int (__typeof);
711f5207b7SJohn Levon static int (__typeof__);
721f5207b7SJohn Levon 
731f5207b7SJohn Levon static int (__int128);
741f5207b7SJohn Levon static int (__int128_t);
751f5207b7SJohn Levon static int (__uint128_t);
761f5207b7SJohn Levon 
771f5207b7SJohn Levon static int (__builtin_ms_va_list);
781f5207b7SJohn Levon static int (__builtin_offsetof);
791f5207b7SJohn Levon static int (__builtin_types_compatible_p);
801f5207b7SJohn Levon static int (__builtin_va_list);
811f5207b7SJohn Levon 
821f5207b7SJohn Levon /*
831f5207b7SJohn Levon  * check-name: const et.al. are reserved identifiers
84*c85f09ccSJohn Levon  * check-error-start
851f5207b7SJohn Levon reserved.c:1:12: error: Trying to use reserved word 'auto' as identifier
861f5207b7SJohn Levon reserved.c:2:12: error: Trying to use reserved word 'break' as identifier
871f5207b7SJohn Levon reserved.c:3:12: error: Trying to use reserved word 'case' as identifier
881f5207b7SJohn Levon reserved.c:4:12: error: Trying to use reserved word 'char' as identifier
891f5207b7SJohn Levon reserved.c:5:12: error: Trying to use reserved word 'const' as identifier
901f5207b7SJohn Levon reserved.c:6:12: error: Trying to use reserved word '__const' as identifier
911f5207b7SJohn Levon reserved.c:7:12: error: Trying to use reserved word '__const__' as identifier
921f5207b7SJohn Levon reserved.c:8:12: error: Trying to use reserved word 'continue' as identifier
931f5207b7SJohn Levon reserved.c:9:12: error: Trying to use reserved word 'default' as identifier
941f5207b7SJohn Levon reserved.c:10:12: error: Trying to use reserved word 'do' as identifier
951f5207b7SJohn Levon reserved.c:11:12: error: Trying to use reserved word 'double' as identifier
961f5207b7SJohn Levon reserved.c:12:12: error: Trying to use reserved word 'else' as identifier
971f5207b7SJohn Levon reserved.c:13:12: error: Trying to use reserved word 'enum' as identifier
981f5207b7SJohn Levon reserved.c:14:12: error: Trying to use reserved word 'extern' as identifier
991f5207b7SJohn Levon reserved.c:15:12: error: Trying to use reserved word 'float' as identifier
1001f5207b7SJohn Levon reserved.c:16:12: error: Trying to use reserved word 'for' as identifier
1011f5207b7SJohn Levon reserved.c:17:12: error: Trying to use reserved word 'goto' as identifier
1021f5207b7SJohn Levon reserved.c:18:12: error: Trying to use reserved word 'if' as identifier
1031f5207b7SJohn Levon reserved.c:19:12: error: Trying to use reserved word 'inline' as identifier
1041f5207b7SJohn Levon reserved.c:20:12: error: Trying to use reserved word '__inline' as identifier
1051f5207b7SJohn Levon reserved.c:21:12: error: Trying to use reserved word '__inline__' as identifier
1061f5207b7SJohn Levon reserved.c:22:12: error: Trying to use reserved word 'int' as identifier
1071f5207b7SJohn Levon reserved.c:23:12: error: Trying to use reserved word 'long' as identifier
1081f5207b7SJohn Levon reserved.c:24:12: error: Trying to use reserved word 'register' as identifier
1091f5207b7SJohn Levon reserved.c:25:12: error: Trying to use reserved word 'restrict' as identifier
1101f5207b7SJohn Levon reserved.c:26:12: error: Trying to use reserved word '__restrict' as identifier
1111f5207b7SJohn Levon reserved.c:27:12: error: Trying to use reserved word '__restrict__' as identifier
1121f5207b7SJohn Levon reserved.c:28:12: error: Trying to use reserved word 'return' as identifier
1131f5207b7SJohn Levon reserved.c:29:12: error: Trying to use reserved word 'short' as identifier
1141f5207b7SJohn Levon reserved.c:30:12: error: Trying to use reserved word 'signed' as identifier
1151f5207b7SJohn Levon reserved.c:31:12: error: Trying to use reserved word 'sizeof' as identifier
1161f5207b7SJohn Levon reserved.c:32:12: error: Trying to use reserved word 'static' as identifier
1171f5207b7SJohn Levon reserved.c:33:12: error: Trying to use reserved word 'struct' as identifier
1181f5207b7SJohn Levon reserved.c:34:12: error: Trying to use reserved word 'switch' as identifier
1191f5207b7SJohn Levon reserved.c:35:12: error: Trying to use reserved word 'typedef' as identifier
1201f5207b7SJohn Levon reserved.c:36:12: error: Trying to use reserved word 'union' as identifier
1211f5207b7SJohn Levon reserved.c:37:12: error: Trying to use reserved word 'unsigned' as identifier
1221f5207b7SJohn Levon reserved.c:38:12: error: Trying to use reserved word 'void' as identifier
1231f5207b7SJohn Levon reserved.c:39:12: error: Trying to use reserved word 'volatile' as identifier
1241f5207b7SJohn Levon reserved.c:40:12: error: Trying to use reserved word 'volatile' as identifier
1251f5207b7SJohn Levon reserved.c:41:12: error: Trying to use reserved word '__volatile' as identifier
1261f5207b7SJohn Levon reserved.c:42:12: error: Trying to use reserved word '__volatile__' as identifier
1271f5207b7SJohn Levon reserved.c:43:12: error: Trying to use reserved word 'while' as identifier
1281f5207b7SJohn Levon reserved.c:45:12: error: Trying to use reserved word '_Alignas' as identifier
1291f5207b7SJohn Levon reserved.c:46:12: error: Trying to use reserved word '_Alignof' as identifier
1301f5207b7SJohn Levon reserved.c:47:12: error: Trying to use reserved word '_Atomic' as identifier
1311f5207b7SJohn Levon reserved.c:48:12: error: Trying to use reserved word '_Bool' as identifier
1321f5207b7SJohn Levon reserved.c:49:12: error: Trying to use reserved word '_Complex' as identifier
1331f5207b7SJohn Levon reserved.c:50:12: error: Trying to use reserved word '_Generic' as identifier
1341f5207b7SJohn Levon reserved.c:51:12: error: Trying to use reserved word '_Imaginary' as identifier
1351f5207b7SJohn Levon reserved.c:52:12: error: Trying to use reserved word '_Noreturn' as identifier
1361f5207b7SJohn Levon reserved.c:53:12: error: Trying to use reserved word '_Static_assert' as identifier
1371f5207b7SJohn Levon reserved.c:54:12: error: Trying to use reserved word '_Thread_local' as identifier
1381f5207b7SJohn Levon reserved.c:57:12: error: Trying to use reserved word '__context__' as identifier
1391f5207b7SJohn Levon reserved.c:58:12: error: Trying to use reserved word '__range__' as identifier
1401f5207b7SJohn Levon reserved.c:59:12: error: Trying to use reserved word '__sizeof_ptr__' as identifier
1411f5207b7SJohn Levon reserved.c:62:12: error: Trying to use reserved word '__alignof' as identifier
1421f5207b7SJohn Levon reserved.c:63:12: error: Trying to use reserved word '__alignof__' as identifier
1431f5207b7SJohn Levon reserved.c:65:12: error: Trying to use reserved word '__asm' as identifier
1441f5207b7SJohn Levon reserved.c:66:12: error: Trying to use reserved word '__asm__' as identifier
1451f5207b7SJohn Levon reserved.c:67:12: error: Trying to use reserved word '__label__' as identifier
1461f5207b7SJohn Levon reserved.c:68:12: error: Trying to use reserved word '__thread' as identifier
1471f5207b7SJohn Levon reserved.c:69:12: error: Trying to use reserved word 'typeof' as identifier
1481f5207b7SJohn Levon reserved.c:70:12: error: Trying to use reserved word '__typeof' as identifier
1491f5207b7SJohn Levon reserved.c:71:12: error: Trying to use reserved word '__typeof__' as identifier
1501f5207b7SJohn Levon reserved.c:73:12: error: Trying to use reserved word '__int128' as identifier
1511f5207b7SJohn Levon reserved.c:74:12: error: Trying to use reserved word '__int128_t' as identifier
1521f5207b7SJohn Levon reserved.c:75:12: error: Trying to use reserved word '__uint128_t' as identifier
1531f5207b7SJohn Levon reserved.c:77:12: error: Trying to use reserved word '__builtin_ms_va_list' as identifier
1541f5207b7SJohn Levon reserved.c:78:12: error: Trying to use reserved word '__builtin_offsetof' as identifier
1551f5207b7SJohn Levon reserved.c:79:12: error: Trying to use reserved word '__builtin_types_compatible_p' as identifier
1561f5207b7SJohn Levon reserved.c:80:12: error: Trying to use reserved word '__builtin_va_list' as identifier
157*c85f09ccSJohn Levon  * check-error-end
1581f5207b7SJohn Levon  */
159