fill_db_untrusted: follow untrusted data down the call tree
[smatch.git] / ident-list.h
blobb94aece01947a88f04c8ef61aad184dd5b1c2ac1
2 #define IDENT(n) __IDENT(n## _ident, #n, 0)
3 #define IDENT_RESERVED(n) __IDENT(n## _ident, #n, 1)
5 /* Basic C reserved words.. */
6 IDENT_RESERVED(sizeof);
7 IDENT_RESERVED(if);
8 IDENT_RESERVED(else);
9 IDENT_RESERVED(return);
10 IDENT_RESERVED(switch);
11 IDENT_RESERVED(case);
12 IDENT_RESERVED(default);
13 IDENT_RESERVED(break);
14 IDENT_RESERVED(continue);
15 IDENT_RESERVED(for);
16 IDENT_RESERVED(while);
17 IDENT_RESERVED(do);
18 IDENT_RESERVED(goto);
20 /* C typenames. They get marked as reserved when initialized */
21 IDENT(struct);
22 IDENT(union);
23 IDENT(enum);
24 IDENT(__attribute); IDENT(__attribute__);
25 IDENT(volatile); IDENT(__volatile); IDENT(__volatile__);
26 IDENT(double);
28 /* Special case for L'\t' */
29 IDENT(L);
31 /* Extended gcc identifiers */
32 IDENT(asm); IDENT_RESERVED(__asm); IDENT_RESERVED(__asm__);
33 IDENT(alignof); IDENT_RESERVED(__alignof); IDENT_RESERVED(__alignof__);
34 IDENT_RESERVED(__sizeof_ptr__);
35 IDENT_RESERVED(__builtin_types_compatible_p);
36 IDENT_RESERVED(__builtin_offsetof);
37 IDENT_RESERVED(__label__);
39 /* Attribute names */
40 IDENT(packed); IDENT(__packed__);
41 IDENT(aligned); IDENT(__aligned__);
42 IDENT(nocast);
43 IDENT(noderef);
44 IDENT(safe);
45 IDENT(force);
46 IDENT(address_space);
47 IDENT(context);
48 IDENT(mode); IDENT(__mode__);
49 IDENT(QI); IDENT(__QI__);
50 IDENT(HI); IDENT(__HI__);
51 IDENT(SI); IDENT(__SI__);
52 IDENT(DI); IDENT(__DI__);
53 IDENT(word); IDENT(__word__);
54 IDENT(format); IDENT(__format__);
55 IDENT(section); IDENT(__section__);
56 IDENT(unused); IDENT(__unused__);
57 IDENT(const); IDENT(__const); IDENT(__const__);
58 IDENT(used); IDENT(__used__);
59 IDENT(warn_unused_result); IDENT(__warn_unused_result__);
60 IDENT(noinline); IDENT(__noinline__);
61 IDENT(deprecated); IDENT(__deprecated__);
62 IDENT(noreturn); IDENT(__noreturn__);
63 IDENT(regparm); IDENT(__regparm__);
64 IDENT(weak); IDENT(__weak__);
65 IDENT(no_instrument_function); IDENT(__no_instrument_function__);
66 IDENT(sentinel); IDENT(__sentinel__);
67 IDENT(alias); IDENT(__alias__);
68 IDENT(pure); IDENT(__pure__);
69 IDENT(always_inline); IDENT(__always_inline__);
70 IDENT(syscall_linkage); IDENT(__syscall_linkage__);
71 IDENT(visibility); IDENT(__visibility__);
72 IDENT(bitwise); IDENT(__bitwise__);
73 IDENT(model); IDENT(__model__);
74 IDENT(format_arg); IDENT(__format_arg__);
75 IDENT(nothrow); IDENT(__nothrow); IDENT(__nothrow__);
76 IDENT(__transparent_union__);
77 IDENT(malloc);
78 IDENT(__malloc__);
79 IDENT(nonnull); IDENT(__nonnull); IDENT(__nonnull__);
80 IDENT(constructor); IDENT(__constructor__);
81 IDENT(destructor); IDENT(__destructor__);
82 IDENT(cold); IDENT(__cold__);
83 IDENT(hot); IDENT(__hot__);
84 IDENT(cdecl); IDENT(__cdecl__);
85 IDENT(stdcall); IDENT(__stdcall__);
86 IDENT(fastcall); IDENT(__fastcall__);
87 IDENT(dllimport); IDENT(__dllimport__);
88 IDENT(dllexport); IDENT(__dllexport__);
89 IDENT(restrict); IDENT(__restrict);
91 /* Preprocessor idents. Direct use of __IDENT avoids mentioning the keyword
92 * itself by name, preventing these tokens from expanding when compiling
93 * sparse. */
94 IDENT(defined);
95 __IDENT(pragma_ident, "__pragma__", 0);
96 __IDENT(__VA_ARGS___ident, "__VA_ARGS__", 0);
97 __IDENT(__LINE___ident, "__LINE__", 0);
98 __IDENT(__FILE___ident, "__FILE__", 0);
99 __IDENT(__DATE___ident, "__DATE__", 0);
100 __IDENT(__TIME___ident, "__TIME__", 0);
101 __IDENT(__func___ident, "__func__", 0);
102 __IDENT(__FUNCTION___ident, "__FUNCTION__", 0);
103 __IDENT(__PRETTY_FUNCTION___ident, "__PRETTY_FUNCTION__", 0);
105 /* Sparse commands */
106 IDENT_RESERVED(__context__);
107 IDENT_RESERVED(__range__);
109 /* Magic function names we recognize */
110 IDENT(memset); IDENT(memcpy);
111 IDENT(copy_to_user); IDENT(copy_from_user);
112 IDENT(main);
114 #undef __IDENT
115 #undef IDENT
116 #undef IDENT_RESERVED