Linearize iterators, at least a first try at it.
[smatch.git] / symbol.h
blob4deec0ac428650f1efa1c128d0c6c4a1d04dbfaf
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,
28 NS_PREPROCESSOR,
29 NS_TYPEDEF,
30 NS_STRUCT,
31 NS_ENUM,
32 NS_LABEL,
33 NS_SYMBOL,
34 NS_ITERATOR,
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 struct basic_block *bb_target; /* label */
98 long long value; /* Initial value */
100 void *aux; /* Auxiliary info, eg. backend information */
103 /* Modifiers */
104 #define MOD_AUTO 0x0001
105 #define MOD_REGISTER 0x0002
106 #define MOD_STATIC 0x0004
107 #define MOD_EXTERN 0x0008
109 #define MOD_STORAGE (MOD_AUTO | MOD_REGISTER | MOD_STATIC | MOD_EXTERN | MOD_INLINE | MOD_TOPLEVEL)
111 #define MOD_CONST 0x0010
112 #define MOD_VOLATILE 0x0020
113 #define MOD_SIGNED 0x0040
114 #define MOD_UNSIGNED 0x0080
116 #define MOD_CHAR 0x0100
117 #define MOD_SHORT 0x0200
118 #define MOD_LONG 0x0400
119 #define MOD_LONGLONG 0x0800
121 #define MOD_TYPEDEF 0x1000
122 #define MOD_STRUCTOF 0x2000
123 #define MOD_UNIONOF 0x4000
124 #define MOD_ENUMOF 0x8000
126 #define MOD_TYPEOF 0x10000
127 #define MOD_ATTRIBUTE 0x20000
128 #define MOD_INLINE 0x40000
129 #define MOD_ADDRESSABLE 0x80000
131 #define MOD_NOCAST 0x100000
132 #define MOD_NODEREF 0x200000
133 #define MOD_ACCESSED 0x400000
134 #define MOD_TOPLEVEL 0x800000 // scoping..
136 #define MOD_LABEL 0x1000000
137 #define MOD_ASSIGNED 0x2000000
139 /* Basic types */
140 extern struct symbol void_type,
141 int_type,
142 label_type,
143 fp_type,
144 vector_type,
145 bad_type;
147 /* C types */
148 extern struct symbol bool_ctype, void_ctype,
149 char_ctype, uchar_ctype,
150 short_ctype, ushort_ctype,
151 int_ctype, uint_ctype,
152 long_ctype, ulong_ctype,
153 llong_ctype, ullong_ctype,
154 float_ctype, double_ctype, ldouble_ctype,
155 string_ctype, ptr_ctype, label_type;
158 /* Basic identifiers */
159 extern struct ident sizeof_ident,
160 alignof_ident,
161 __alignof_ident,
162 __alignof___ident,
163 if_ident,
164 else_ident,
165 switch_ident,
166 case_ident,
167 default_ident,
168 break_ident,
169 continue_ident,
170 for_ident,
171 while_ident,
172 do_ident,
173 goto_ident,
174 return_ident;
176 extern struct ident __asm___ident,
177 __asm_ident,
178 asm_ident,
179 __volatile___ident,
180 __volatile_ident,
181 volatile_ident,
182 __attribute___ident,
183 __attribute_ident,
184 defined_ident,
185 __VA_ARGS___ident,
186 __LINE___ident,
187 __FILE___ident,
188 pragma_ident;
190 #define symbol_is_typename(sym) ((sym)->type == SYM_TYPE)
192 extern struct symbol_list *used_list;
194 extern void access_symbol(struct symbol *);
197 extern struct symbol *lookup_symbol(struct ident *, enum namespace);
198 extern void init_symbols(void);
199 extern struct symbol *alloc_symbol(struct position, int type);
200 extern void show_type(struct symbol *);
201 extern const char *modifier_string(unsigned long mod);
202 extern void show_symbol(struct symbol *);
203 extern void show_type_list(struct symbol *);
204 extern void show_symbol_list(struct symbol_list *, const char *);
205 extern void add_symbol(struct symbol_list **, struct symbol *);
206 extern void bind_symbol(struct symbol *, struct ident *, enum namespace);
208 extern struct symbol *examine_symbol_type(struct symbol *);
209 extern void examine_simple_symbol_type(struct symbol *);
210 extern const char *show_typename(struct symbol *sym);
212 extern void debug_symbol(struct symbol *);
213 extern void merge_type(struct symbol *sym, struct symbol *base_type);
214 extern void check_declaration(struct symbol *sym);
216 #endif /* SEMANTIC_H */