1 /* Definitions for C parsing and type checking.
2 Copyright (C) 1987, 1993, 1994, 1995, 1997, 1998,
3 1999, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
27 /* Each C symbol points to three linked lists of c_binding structures.
28 These describe the values of the identifier in the three different
29 namespaces defined by the language. The contents of these lists
30 are private to c-decl.c. */
34 /* Language-dependent contents of an identifier. */
36 struct lang_identifier GTY(())
38 struct c_common_identifier common_id;
39 struct c_binding *symbol_binding; /* vars, funcs, constants, typedefs */
40 struct c_binding *tag_binding; /* struct/union/enum tags */
41 struct c_binding *label_binding; /* labels */
44 /* The resulting tree type. */
47 GTY((desc ("TREE_CODE (&%h.generic) == IDENTIFIER_NODE"),
48 chain_next ("TREE_CODE (&%h.generic) == INTEGER_TYPE ? (union lang_tree_node *)TYPE_NEXT_VARIANT (&%h.generic) : (union lang_tree_node *)TREE_CHAIN (&%h.generic)")))
50 union tree_node GTY ((tag ("0"),
51 desc ("tree_node_structure (&%h)")))
53 struct lang_identifier GTY ((tag ("1"))) identifier;
56 /* Language-specific declaration information. */
58 struct lang_decl GTY(())
60 /* The return types and parameter types may have variable size.
61 This is a list of any SAVE_EXPRs that need to be evaluated to
62 compute those sizes. */
66 /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is read-only. */
67 #define C_TYPE_FIELDS_READONLY(TYPE) TREE_LANG_FLAG_1 (TYPE)
69 /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is volatile. */
70 #define C_TYPE_FIELDS_VOLATILE(TYPE) TREE_LANG_FLAG_2 (TYPE)
72 /* In a RECORD_TYPE or UNION_TYPE or ENUMERAL_TYPE
73 nonzero if the definition of the type has already started. */
74 #define C_TYPE_BEING_DEFINED(TYPE) TYPE_LANG_FLAG_0 (TYPE)
76 /* In an incomplete RECORD_TYPE or UNION_TYPE, a list of variable
77 declarations whose type would be completed by completing that type. */
78 #define C_TYPE_INCOMPLETE_VARS(TYPE) TYPE_VFIELD (TYPE)
80 /* In an IDENTIFIER_NODE, nonzero if this identifier is actually a
81 keyword. C_RID_CODE (node) is then the RID_* value of the keyword,
82 and C_RID_YYCODE is the token number wanted by Yacc. */
83 #define C_IS_RESERVED_WORD(ID) TREE_LANG_FLAG_0 (ID)
85 /* In a RECORD_TYPE, a sorted array of the fields of the type. */
86 struct lang_type GTY(())
88 struct sorted_fields_type * GTY ((reorder ("resort_sorted_fields"))) s;
91 /* Record whether a type or decl was written with nonconstant size.
92 Note that TYPE_SIZE may have simplified to a constant. */
93 #define C_TYPE_VARIABLE_SIZE(TYPE) TYPE_LANG_FLAG_1 (TYPE)
94 #define C_DECL_VARIABLE_SIZE(TYPE) DECL_LANG_FLAG_0 (TYPE)
96 /* Store a value in that field. */
97 #define C_SET_EXP_ORIGINAL_CODE(EXP, CODE) \
98 (TREE_COMPLEXITY (EXP) = (int) (CODE))
100 /* Record whether a typedef for type `int' was actually `signed int'. */
101 #define C_TYPEDEF_EXPLICITLY_SIGNED(EXP) DECL_LANG_FLAG_1 (EXP)
103 /* For a FUNCTION_DECL, nonzero if it was defined without an explicit
105 #define C_FUNCTION_IMPLICIT_INT(EXP) DECL_LANG_FLAG_1 (EXP)
107 /* For a FUNCTION_DECL, nonzero if it was an implicit declaration. */
108 #define C_DECL_IMPLICIT(EXP) DECL_LANG_FLAG_2 (EXP)
110 /* For any decl, nonzero if it is bound in the externals scope and
111 pop_scope mustn't chain it into any higher block. */
112 #define C_DECL_IN_EXTERNAL_SCOPE(EXP) DECL_LANG_FLAG_3 (EXP)
114 /* For FUNCTION_DECLs, evaluates true if the decl is built-in but has
116 #define C_DECL_DECLARED_BUILTIN(EXP) DECL_LANG_FLAG_4 (EXP)
118 /* Record whether a decl was declared register. This is strictly a
119 front-end flag, whereas DECL_REGISTER is used for code generation;
120 they may differ for structures with volatile fields. */
121 #define C_DECL_REGISTER(EXP) DECL_LANG_FLAG_5 (EXP)
123 /* Nonzero for a decl which either doesn't exist or isn't a prototype.
124 N.B. Could be simplified if all built-in decls had complete prototypes
125 (but this is presently difficult because some of them need FILE*). */
126 #define C_DECL_ISNT_PROTOTYPE(EXP) \
128 || (TYPE_ARG_TYPES (TREE_TYPE (EXP)) == 0 \
129 && !DECL_BUILT_IN (EXP)))
131 /* For FUNCTION_TYPE, a hidden list of types of arguments. The same as
132 TYPE_ARG_TYPES for functions with prototypes, but created for functions
133 without prototypes. */
134 #define TYPE_ACTUAL_ARG_TYPES(NODE) TYPE_BINFO (NODE)
136 /* Save and restore the variables in this file and elsewhere
137 that keep track of the progress of compilation of the current function.
138 Used for nested functions. */
140 struct language_function GTY(())
142 struct c_language_function base;
145 int returns_abnormally;
146 int warn_about_return_type;
148 int x_in_iteration_stmt;
154 extern void c_parse_init (void);
156 /* in c-aux-info.c */
157 extern void gen_aux_info_record (tree, int, int, int);
160 extern int c_in_iteration_stmt;
161 extern int c_in_case_stmt;
163 extern int global_bindings_p (void);
164 extern tree getdecls (void);
165 extern void push_scope (void);
166 extern tree pop_scope (void);
167 extern void insert_block (tree);
168 extern tree pushdecl (tree);
169 extern void c_expand_body (tree);
171 extern void c_init_decl_processing (void);
172 extern void c_dup_lang_specific_decl (tree);
173 extern void c_print_identifier (FILE *, tree, int);
174 extern tree build_array_declarator (tree, tree, int, int);
175 extern tree build_enumerator (tree, tree);
176 extern void check_for_loop_decls (void);
177 extern void mark_forward_parm_decls (void);
178 extern int complete_array_type (tree, tree, int);
179 extern void declare_parm_level (void);
180 extern void undeclared_variable (tree);
181 extern tree declare_label (tree);
182 extern tree define_label (location_t, tree);
183 extern void finish_decl (tree, tree, tree);
184 extern tree finish_enum (tree, tree, tree);
185 extern void finish_function (void);
186 extern tree finish_struct (tree, tree, tree);
187 extern tree get_parm_info (bool);
188 extern tree grokfield (tree, tree, tree);
189 extern tree groktypename (tree);
190 extern tree groktypename_in_parm_context (tree);
191 extern tree implicitly_declare (tree);
192 extern void keep_next_level (void);
193 extern tree lookup_name (tree);
194 extern void pending_xref_error (void);
195 extern void c_push_function_context (struct function *);
196 extern void c_pop_function_context (struct function *);
197 extern void push_parm_decl (tree);
198 extern tree pushdecl_top_level (tree);
199 extern tree set_array_declarator_type (tree, tree, int);
200 extern void shadow_tag (tree);
201 extern void shadow_tag_warned (tree, int);
202 extern tree start_enum (tree);
203 extern int start_function (tree, tree, tree);
204 extern tree start_decl (tree, tree, int, tree);
205 extern tree start_struct (enum tree_code, tree);
206 extern void store_parm_decls (void);
207 extern tree xref_tag (enum tree_code, tree);
208 extern tree c_begin_compound_stmt (void);
209 extern void c_expand_decl_stmt (tree);
210 extern void c_static_assembler_name (tree);
211 extern tree make_pointer_declarator (tree, tree);
213 /* in c-objc-common.c */
214 extern int c_disregard_inline_limits (tree);
215 extern int c_cannot_inline_tree_fn (tree *);
216 extern bool c_objc_common_init (void);
217 extern tree c_objc_common_truthvalue_conversion (tree expr);
218 extern int c_missing_noreturn_ok_p (tree);
219 extern void c_objc_common_finish_file (void);
220 extern int defer_fn (tree);
221 extern bool c_warn_unused_global_decl (tree);
223 #define c_build_type_variant(TYPE, CONST_P, VOLATILE_P) \
224 c_build_qualified_type ((TYPE), \
225 ((CONST_P) ? TYPE_QUAL_CONST : 0) | \
226 ((VOLATILE_P) ? TYPE_QUAL_VOLATILE : 0))
228 #define c_sizeof_nowarn(T) c_sizeof_or_alignof_type (T, SIZEOF_EXPR, 0)
232 /* For use with comptypes. */
237 extern tree require_complete_type (tree);
238 extern int same_translation_unit_p (tree, tree);
239 extern int comptypes (tree, tree, int);
240 extern tree c_size_in_bytes (tree);
241 extern bool c_mark_addressable (tree);
242 extern void c_incomplete_type_error (tree, tree);
243 extern tree c_type_promotes_to (tree);
244 extern tree build_component_ref (tree, tree);
245 extern tree build_indirect_ref (tree, const char *);
246 extern tree build_array_ref (tree, tree);
247 extern tree build_external_ref (tree, int);
248 extern tree parser_build_binary_op (enum tree_code, tree, tree);
249 extern int c_tree_expr_nonnegative_p (tree);
250 extern void readonly_error (tree, const char *);
251 extern tree build_conditional_expr (tree, tree, tree);
252 extern tree build_compound_expr (tree);
253 extern tree c_cast_expr (tree, tree);
254 extern tree build_c_cast (tree, tree);
255 extern tree build_modify_expr (tree, enum tree_code, tree);
256 extern void store_init_value (tree, tree);
257 extern void error_init (const char *);
258 extern void pedwarn_init (const char *);
259 extern void start_init (tree, tree, int);
260 extern void finish_init (void);
261 extern void really_start_incremental_init (tree);
262 extern void push_init_level (int);
263 extern tree pop_init_level (int);
264 extern void set_init_index (tree, tree);
265 extern void set_init_label (tree);
266 extern void process_init_element (tree);
267 extern tree build_compound_literal (tree, tree);
268 extern void pedwarn_c90 (const char *, ...) ATTRIBUTE_PRINTF_1;
269 extern void pedwarn_c99 (const char *, ...) ATTRIBUTE_PRINTF_1;
270 extern tree c_start_case (tree);
271 extern void c_finish_case (void);
272 extern tree build_asm_expr (tree, tree, tree, tree, bool);
273 extern tree build_asm_stmt (tree, tree);
274 extern tree c_convert_parm_for_inlining (tree, tree, tree, int);
276 /* Set to 0 at beginning of a function definition, set to 1 if
277 a return statement that specifies a return value is seen. */
279 extern int current_function_returns_value;
281 /* Set to 0 at beginning of a function definition, set to 1 if
282 a return statement with no argument is seen. */
284 extern int current_function_returns_null;
286 /* Set to 0 at beginning of a function definition, set to 1 if
287 a call to a noreturn function is seen. */
289 extern int current_function_returns_abnormally;
291 /* Nonzero means we are reading code that came from a system header file. */
293 extern int system_header_p;
295 /* True means global_bindings_p should return false even if the scope stack
296 says we are in file scope. */
298 extern bool c_override_global_bindings_to_false;
301 extern void c_finish_incomplete_decl (tree);
302 extern void *get_current_scope (void);
303 extern void objc_mark_locals_volatile (void *);
304 extern void c_write_global_declarations (void);
306 extern GTY(()) tree static_ctors;
307 extern GTY(()) tree static_dtors;
309 /* In order for the format checking to accept the C frontend
310 diagnostic framework extensions, you must include this file before
311 toplev.h, not after. */
312 #define GCC_DIAG_STYLE __gcc_cdiag__
314 #endif /* ! GCC_C_TREE_H */