debug: add __smatch_type() which prints the type of the argument
[smatch.git] / validation / reserved.c
blobcaacd21fac7550996ba704915b75324686b35b23
1 static int (struct);
2 static int (union);
3 static int (enum);
4 static int (volatile);
5 static int (__volatile);
6 static int (__volatile__);
7 static int (const);
8 static int (__const);
9 static int (__const__);
10 static int (restrict);
11 static int (__restrict);
12 static int (__restrict__);
13 static int (typedef);
14 static int (__typeof);
15 static int (__typeof__);
16 static int (inline);
17 static int (__inline);
18 static int (__inline__);
20 * check-name: const et.al. are reserved identifiers
21 * check-error-start:
22 reserved.c:1:12: error: Trying to use reserved word 'struct' as identifier
23 reserved.c:2:12: error: Trying to use reserved word 'union' as identifier
24 reserved.c:3:12: error: Trying to use reserved word 'enum' as identifier
25 reserved.c:4:12: error: Trying to use reserved word 'volatile' as identifier
26 reserved.c:5:12: error: Trying to use reserved word '__volatile' as identifier
27 reserved.c:6:12: error: Trying to use reserved word '__volatile__' as identifier
28 reserved.c:7:12: error: Trying to use reserved word 'const' as identifier
29 reserved.c:8:12: error: Trying to use reserved word '__const' as identifier
30 reserved.c:9:12: error: Trying to use reserved word '__const__' as identifier
31 reserved.c:10:12: error: Trying to use reserved word 'restrict' as identifier
32 reserved.c:11:12: error: Trying to use reserved word '__restrict' as identifier
33 reserved.c:13:12: error: Trying to use reserved word 'typedef' as identifier
34 reserved.c:14:12: error: Trying to use reserved word '__typeof' as identifier
35 reserved.c:15:12: error: Trying to use reserved word '__typeof__' as identifier
36 reserved.c:16:12: error: Trying to use reserved word 'inline' as identifier
37 reserved.c:17:12: error: Trying to use reserved word '__inline' as identifier
38 reserved.c:18:12: error: Trying to use reserved word '__inline__' as identifier
39 * check-error-end: