function_hooks: fake an assignment when functions return "0-s32max[$0->bar]"
[smatch.git] / ident-list.h
blobb311c7711739ffc087141fafe9b48b1090f09b29
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);
90 IDENT(artificial); IDENT(__artificial__);
91 IDENT(leaf); IDENT(__leaf__);
92 IDENT(vector_size); IDENT(__vector_size__);
93 IDENT(error); IDENT(__error__);
94 IDENT(static);
96 /* Preprocessor idents. Direct use of __IDENT avoids mentioning the keyword
97 * itself by name, preventing these tokens from expanding when compiling
98 * sparse. */
99 IDENT(defined);
100 IDENT(once);
101 __IDENT(pragma_ident, "__pragma__", 0);
102 __IDENT(_Pragma_ident, "_Pragma", 0);
103 __IDENT(__VA_ARGS___ident, "__VA_ARGS__", 0);
104 __IDENT(__LINE___ident, "__LINE__", 0);
105 __IDENT(__FILE___ident, "__FILE__", 0);
106 __IDENT(__DATE___ident, "__DATE__", 0);
107 __IDENT(__TIME___ident, "__TIME__", 0);
108 __IDENT(__func___ident, "__func__", 0);
109 __IDENT(__FUNCTION___ident, "__FUNCTION__", 0);
110 __IDENT(__PRETTY_FUNCTION___ident, "__PRETTY_FUNCTION__", 0);
112 /* Sparse commands */
113 IDENT_RESERVED(__context__);
114 IDENT_RESERVED(__range__);
116 /* Magic function names we recognize */
117 IDENT(memset); IDENT(memcpy);
118 IDENT(copy_to_user); IDENT(copy_from_user);
119 IDENT(main);
121 #undef __IDENT
122 #undef IDENT
123 #undef IDENT_RESERVED