Don't die on unknown expressions at linearization time.
[smatch.git] / symbol.h
blob40a00f1b0050004fd70ac16b805e393baec42bf5
1 #ifndef SYMBOL_H
2 #define SYMBOL_H
3 /*
4 * Basic symbol and namespace definitions.
6 * Copyright (C) 2003 Transmeta Corp.
7 * 2003 Linus Torvalds
9 * Licensed under the Open Software License version 1.1
12 #include "token.h"
15 * An identifier with semantic meaning is a "symbol".
17 * There's a 1:n relationship: each symbol is always
18 * associated with one identifier, while each identifier
19 * can have one or more semantic meanings due to C scope
20 * rules.
22 * The progression is symbol -> token -> identifier. The
23 * token contains the information on where the symbol was
24 * declared.
26 enum namespace {
27 NS_NONE = 0,
28 NS_PREPROCESSOR = 1,
29 NS_TYPEDEF = 2,
30 NS_STRUCT = 4,
31 NS_ENUM = 8,
32 NS_LABEL = 16,
33 NS_SYMBOL = 32,
34 NS_ITERATOR = 64,
37 enum type {
38 SYM_BASETYPE,
39 SYM_NODE,
40 SYM_PTR,
41 SYM_FN,
42 SYM_ARRAY,
43 SYM_STRUCT,
44 SYM_UNION,
45 SYM_ENUM,
46 SYM_TYPEDEF,
47 SYM_TYPEOF,
48 SYM_MEMBER,
49 SYM_BITFIELD,
50 SYM_LABEL,
53 struct ctype {
54 unsigned long modifiers;
55 unsigned long alignment;
56 unsigned int contextmask, context, as;
57 struct symbol *base_type;
60 struct symbol_op {
61 int (*evaluate)(struct expression *);
62 void (*expand)(struct expression *);
63 };
65 struct symbol {
66 enum namespace namespace:8;
67 enum type type:8;
68 struct position pos; /* Where this symbol was declared */
69 struct ident *ident; /* What identifier this symbol is associated with */
70 struct symbol *next_id; /* Next semantic symbol that shares this identifier */
71 struct symbol **id_list; /* Backpointer to symbol list head */
72 struct symbol *replace; /* What is this symbol shadowed by in copy-expression */
73 struct scope *scope;
74 struct symbol *same_symbol;
75 struct symbol_op *op;
77 struct /* preprocessor_sym */ {
78 struct token *expansion;
79 struct token *arglist;
82 struct /* ctype_sym */ {
83 unsigned long offset;
84 unsigned int bit_size;
85 unsigned int bit_offset:8,
86 fieldwidth:8,
87 arg_count:10,
88 variadic:1,
89 used:1,
90 initialized:1;
91 struct expression *array_size;
92 struct ctype ctype;
93 struct symbol_list *arguments;
94 struct statement *stmt;
95 struct symbol_list *symbol_list;
96 struct expression *initializer;
97 long long value; /* Initial value */
99 union /* backend */ {
100 struct basic_block *bb_target; /* label */
101 void *aux; /* Auxiliary info, eg. backend information */
105 /* Modifiers */
106 #define MOD_AUTO 0x0001
107 #define MOD_REGISTER 0x0002
108 #define MOD_STATIC 0x0004
109 #define MOD_EXTERN 0x0008
111 #define MOD_STORAGE (MOD_AUTO | MOD_REGISTER | MOD_STATIC | MOD_EXTERN | MOD_INLINE | MOD_TOPLEVEL)
113 #define MOD_CONST 0x0010
114 #define MOD_VOLATILE 0x0020
115 #define MOD_SIGNED 0x0040
116 #define MOD_UNSIGNED 0x0080
118 #define MOD_CHAR 0x0100
119 #define MOD_SHORT 0x0200
120 #define MOD_LONG 0x0400
121 #define MOD_LONGLONG 0x0800
123 #define MOD_TYPEDEF 0x1000
124 #define MOD_STRUCTOF 0x2000
125 #define MOD_UNIONOF 0x4000
126 #define MOD_ENUMOF 0x8000
128 #define MOD_TYPEOF 0x10000
129 #define MOD_ATTRIBUTE 0x20000
130 #define MOD_INLINE 0x40000
131 #define MOD_ADDRESSABLE 0x80000
133 #define MOD_NOCAST 0x100000
134 #define MOD_NODEREF 0x200000
135 #define MOD_ACCESSED 0x400000
136 #define MOD_TOPLEVEL 0x800000 // scoping..
138 #define MOD_LABEL 0x1000000
139 #define MOD_ASSIGNED 0x2000000
140 #define MOD_TYPE 0x4000000
141 #define MOD_SAFE 0x8000000 // non-null/non-trapping pointer
143 #define MOD_USERTYPE 0x10000000
144 #define MOD_FORCE 0x20000000
146 /* Basic types */
147 extern struct symbol void_type,
148 int_type,
149 label_type,
150 fp_type,
151 vector_type,
152 bad_type;
154 /* C types */
155 extern struct symbol bool_ctype, void_ctype, type_ctype,
156 char_ctype, uchar_ctype,
157 short_ctype, ushort_ctype,
158 int_ctype, uint_ctype,
159 long_ctype, ulong_ctype,
160 llong_ctype, ullong_ctype,
161 float_ctype, double_ctype, ldouble_ctype,
162 string_ctype, ptr_ctype,
163 incomplete_ctype;
166 /* Basic identifiers */
167 extern struct ident sizeof_ident,
168 alignof_ident,
169 __alignof_ident,
170 __alignof___ident,
171 if_ident,
172 else_ident,
173 switch_ident,
174 case_ident,
175 default_ident,
176 break_ident,
177 continue_ident,
178 for_ident,
179 while_ident,
180 do_ident,
181 goto_ident,
182 return_ident;
184 extern struct ident __asm___ident,
185 __asm_ident,
186 asm_ident,
187 __volatile___ident,
188 __volatile_ident,
189 volatile_ident,
190 __attribute___ident,
191 __attribute_ident,
192 defined_ident,
193 __VA_ARGS___ident,
194 __LINE___ident,
195 __FILE___ident,
196 pragma_ident;
198 #define symbol_is_typename(sym) ((sym)->type == SYM_TYPE)
200 extern struct symbol_list *used_list;
202 extern void access_symbol(struct symbol *);
204 extern const char * type_difference(struct symbol *target, struct symbol *source,
205 unsigned long target_mod_ignore, unsigned long source_mod_ignore);
207 extern struct symbol *lookup_symbol(struct ident *, enum namespace);
208 extern void init_symbols(void);
209 extern void init_ctype(void);
210 extern struct symbol *alloc_symbol(struct position, int type);
211 extern void show_type(struct symbol *);
212 extern const char *modifier_string(unsigned long mod);
213 extern void show_symbol(struct symbol *);
214 extern void show_type_list(struct symbol *);
215 extern void show_symbol_list(struct symbol_list *, const char *);
216 extern void add_symbol(struct symbol_list **, struct symbol *);
217 extern void bind_symbol(struct symbol *, struct ident *, enum namespace);
219 extern struct symbol *examine_symbol_type(struct symbol *);
220 extern void examine_simple_symbol_type(struct symbol *);
221 extern const char *show_typename(struct symbol *sym);
223 extern void debug_symbol(struct symbol *);
224 extern void merge_type(struct symbol *sym, struct symbol *base_type);
225 extern void check_declaration(struct symbol *sym);
227 #endif /* SEMANTIC_H */