1 /* Definitions for C parsing and type checking.
2 Copyright (C) 1987, 1993, 1994, 1995, 1997, 1998,
3 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2007, 2008, 2009
4 Free Software Foundation, Inc.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
27 #include "diagnostic.h"
29 /* struct lang_identifier is private to c-decl.c, but langhooks.c needs to
30 know how big it is. This is sanity-checked in c-decl.c. */
31 #define C_SIZEOF_STRUCT_LANG_IDENTIFIER \
32 (sizeof (struct c_common_identifier) + 3 * sizeof (void *))
34 /* Language-specific declaration information. */
36 struct GTY(()) lang_decl
{
40 /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is read-only. */
41 #define C_TYPE_FIELDS_READONLY(TYPE) TREE_LANG_FLAG_1 (TYPE)
43 /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is volatile. */
44 #define C_TYPE_FIELDS_VOLATILE(TYPE) TREE_LANG_FLAG_2 (TYPE)
46 /* In a RECORD_TYPE or UNION_TYPE or ENUMERAL_TYPE
47 nonzero if the definition of the type has already started. */
48 #define C_TYPE_BEING_DEFINED(TYPE) TYPE_LANG_FLAG_0 (TYPE)
50 /* In an incomplete RECORD_TYPE or UNION_TYPE, a list of variable
51 declarations whose type would be completed by completing that type. */
52 #define C_TYPE_INCOMPLETE_VARS(TYPE) TYPE_VFIELD (TYPE)
54 /* In an IDENTIFIER_NODE, nonzero if this identifier is actually a
55 keyword. C_RID_CODE (node) is then the RID_* value of the keyword,
56 and C_RID_YYCODE is the token number wanted by Yacc. */
57 #define C_IS_RESERVED_WORD(ID) TREE_LANG_FLAG_0 (ID)
59 struct GTY(()) lang_type
{
60 /* In a RECORD_TYPE, a sorted array of the fields of the type. */
61 struct sorted_fields_type
* GTY ((reorder ("resort_sorted_fields"))) s
;
62 /* In an ENUMERAL_TYPE, the min and max values. */
65 /* In a RECORD_TYPE, information specific to Objective-C, such
66 as a list of adopted protocols or a pointer to a corresponding
67 @interface. See objc/objc-act.h for details. */
71 /* Record whether a type or decl was written with nonconstant size.
72 Note that TYPE_SIZE may have simplified to a constant. */
73 #define C_TYPE_VARIABLE_SIZE(TYPE) TYPE_LANG_FLAG_1 (TYPE)
74 #define C_DECL_VARIABLE_SIZE(TYPE) DECL_LANG_FLAG_0 (TYPE)
76 /* Record whether a type is defined inside a struct or union type.
77 This is used for -Wc++-compat. */
78 #define C_TYPE_DEFINED_IN_STRUCT(TYPE) TYPE_LANG_FLAG_2 (TYPE)
80 /* Record whether a typedef for type `int' was actually `signed int'. */
81 #define C_TYPEDEF_EXPLICITLY_SIGNED(EXP) DECL_LANG_FLAG_1 (EXP)
83 /* For a FUNCTION_DECL, nonzero if it was defined without an explicit
85 #define C_FUNCTION_IMPLICIT_INT(EXP) DECL_LANG_FLAG_1 (EXP)
87 /* For a FUNCTION_DECL, nonzero if it was an implicit declaration. */
88 #define C_DECL_IMPLICIT(EXP) DECL_LANG_FLAG_2 (EXP)
90 /* For FUNCTION_DECLs, evaluates true if the decl is built-in but has
92 #define C_DECL_DECLARED_BUILTIN(EXP) \
93 DECL_LANG_FLAG_3 (FUNCTION_DECL_CHECK (EXP))
95 /* For FUNCTION_DECLs, evaluates true if the decl is built-in, has a
96 built-in prototype and does not have a non-built-in prototype. */
97 #define C_DECL_BUILTIN_PROTOTYPE(EXP) \
98 DECL_LANG_FLAG_6 (FUNCTION_DECL_CHECK (EXP))
100 /* Record whether a decl was declared register. This is strictly a
101 front-end flag, whereas DECL_REGISTER is used for code generation;
102 they may differ for structures with volatile fields. */
103 #define C_DECL_REGISTER(EXP) DECL_LANG_FLAG_4 (EXP)
105 /* Record whether a decl was used in an expression anywhere except an
106 unevaluated operand of sizeof / typeof / alignof. This is only
107 used for functions declared static but not defined, though outside
108 sizeof and typeof it is set for other function decls as well. */
109 #define C_DECL_USED(EXP) DECL_LANG_FLAG_5 (FUNCTION_DECL_CHECK (EXP))
111 /* Record whether a variable has been declared threadprivate by
112 #pragma omp threadprivate. */
113 #define C_DECL_THREADPRIVATE_P(DECL) DECL_LANG_FLAG_3 (VAR_DECL_CHECK (DECL))
115 /* Nonzero for a decl which either doesn't exist or isn't a prototype.
116 N.B. Could be simplified if all built-in decls had complete prototypes
117 (but this is presently difficult because some of them need FILE*). */
118 #define C_DECL_ISNT_PROTOTYPE(EXP) \
120 || (TYPE_ARG_TYPES (TREE_TYPE (EXP)) == 0 \
121 && !DECL_BUILT_IN (EXP)))
123 /* For FUNCTION_TYPE, a hidden list of types of arguments. The same as
124 TYPE_ARG_TYPES for functions with prototypes, but created for functions
125 without prototypes. */
126 #define TYPE_ACTUAL_ARG_TYPES(NODE) TYPE_LANG_SLOT_1 (NODE)
128 /* For a CONSTRUCTOR, whether some initializer contains a
129 subexpression meaning it is not a constant expression. */
130 #define CONSTRUCTOR_NON_CONST(EXPR) TREE_LANG_FLAG_1 (CONSTRUCTOR_CHECK (EXPR))
132 /* Record parser information about an expression that is irrelevant
133 for code generation alongside a tree representing its value. */
136 /* The value of the expression. */
138 /* Record the original unary/binary operator of an expression, which may
139 have been changed by fold, STRING_CST for unparenthesized string
140 constants, C_MAYBE_CONST_EXPR for __builtin_constant_p calls
141 (even if parenthesized), for subexpressions, and for non-constant
142 initializers, or ERROR_MARK for other expressions (including
143 parenthesized expressions). */
144 enum tree_code original_code
;
145 /* If not NULL, the original type of an expression. This will
146 differ from the type of the value field for an enum constant.
147 The type of an enum constant is a plain integer type, but this
148 field will be the enum type. */
152 /* A kind of type specifier. Note that this information is currently
153 only used to distinguish tag definitions, tag references and typeof
155 enum c_typespec_kind
{
156 /* A reserved keyword type specifier. */
158 /* A reference to a tag, previously declared, such as "struct foo".
159 This includes where the previous declaration was as a different
160 kind of tag, in which case this is only valid if shadowing that
161 tag in an inner scope. */
163 /* A reference to a tag, not previously declared in a visible
166 /* A definition of a tag such as "struct foo { int a; }". */
168 /* A typedef name. */
170 /* An ObjC-specific kind of type specifier. */
172 /* A typeof specifier. */
176 /* A type specifier: this structure is created in the parser and
177 passed to declspecs_add_type only. */
179 /* What kind of type specifier this is. */
180 enum c_typespec_kind kind
;
181 /* The specifier itself. */
183 /* An expression to be evaluated before the type specifier, in the
184 case of typeof specifiers, or NULL otherwise or if no such
185 expression is required for a particular typeof specifier. In
186 particular, when typeof is applied to an expression of variably
187 modified type, that expression must be evaluated in order to
188 determine array sizes that form part of the type, but the
189 expression itself (as opposed to the array sizes) forms no part
190 of the type and so needs to be recorded separately. */
192 /* Whether the expression has operands suitable for use in constant
194 bool expr_const_operands
;
197 /* A storage class specifier. */
198 enum c_storage_class
{
207 /* A type specifier keyword "void", "_Bool", "char", "int", "float",
208 "double", "_Decimal32", "_Decimal64", "_Decimal128", "_Fract", "_Accum",
210 enum c_typespec_keyword
{
225 /* A sequence of declaration specifiers in C. */
227 /* The type specified, if a single type specifier such as a struct,
228 union or enum specifier, typedef name or typeof specifies the
229 whole type, or NULL_TREE if none or a keyword such as "void" or
230 "char" is used. Does not include qualifiers. */
232 /* Any expression to be evaluated before the type, from a typeof
235 /* The attributes from a typedef decl. */
237 /* When parsing, the attributes. Outside the parser, this will be
238 NULL; attributes (possibly from multiple lists) will be passed
241 /* Any type specifier keyword used such as "int", not reflecting
242 modifiers such as "short", or cts_none if none. */
243 enum c_typespec_keyword typespec_word
;
244 /* The storage class specifier, or csc_none if none. */
245 enum c_storage_class storage_class
;
246 /* Whether any expressions in typeof specifiers may appear in
247 constant expressions. */
248 BOOL_BITFIELD expr_const_operands
: 1;
249 /* Whether any declaration specifiers have been seen at all. */
250 BOOL_BITFIELD declspecs_seen_p
: 1;
251 /* Whether a type specifier has been seen. */
252 BOOL_BITFIELD type_seen_p
: 1;
253 /* Whether something other than a storage class specifier or
254 attribute has been seen. This is used to warn for the
255 obsolescent usage of storage class specifiers other than at the
256 start of the list. (Doing this properly would require function
257 specifiers to be handled separately from storage class
259 BOOL_BITFIELD non_sc_seen_p
: 1;
260 /* Whether the type is specified by a typedef or typeof name. */
261 BOOL_BITFIELD typedef_p
: 1;
262 /* Whether a struct, union or enum type either had its content
263 defined by a type specifier in the list or was the first visible
264 declaration of its tag. */
265 BOOL_BITFIELD tag_defined_p
: 1;
266 /* Whether the type is explicitly "signed" or specified by a typedef
267 whose type is explicitly "signed". */
268 BOOL_BITFIELD explicit_signed_p
: 1;
269 /* Whether the specifiers include a deprecated typedef. */
270 BOOL_BITFIELD deprecated_p
: 1;
271 /* Whether the type defaulted to "int" because there were no type
273 BOOL_BITFIELD default_int_p
;
274 /* Whether "long" was specified. */
275 BOOL_BITFIELD long_p
: 1;
276 /* Whether "long" was specified more than once. */
277 BOOL_BITFIELD long_long_p
: 1;
278 /* Whether "short" was specified. */
279 BOOL_BITFIELD short_p
: 1;
280 /* Whether "signed" was specified. */
281 BOOL_BITFIELD signed_p
: 1;
282 /* Whether "unsigned" was specified. */
283 BOOL_BITFIELD unsigned_p
: 1;
284 /* Whether "complex" was specified. */
285 BOOL_BITFIELD complex_p
: 1;
286 /* Whether "inline" was specified. */
287 BOOL_BITFIELD inline_p
: 1;
288 /* Whether "__thread" was specified. */
289 BOOL_BITFIELD thread_p
: 1;
290 /* Whether "const" was specified. */
291 BOOL_BITFIELD const_p
: 1;
292 /* Whether "volatile" was specified. */
293 BOOL_BITFIELD volatile_p
: 1;
294 /* Whether "restrict" was specified. */
295 BOOL_BITFIELD restrict_p
: 1;
296 /* Whether "_Sat" was specified. */
297 BOOL_BITFIELD saturating_p
: 1;
300 /* The various kinds of declarators in C. */
301 enum c_declarator_kind
{
310 /* Parenthesized declarator with nested attributes. */
314 /* Information about the parameters in a function declarator. */
316 /* A list of parameter decls. */
318 /* A list of structure, union and enum tags defined. */
320 /* A list of argument types to go in the FUNCTION_TYPE. */
322 /* A list of non-parameter decls (notably enumeration constants)
323 defined with the parameters. */
325 /* A list of VLA sizes from the parameters. In a function
326 definition, these are used to ensure that side-effects in sizes
327 of arrays converted to pointers (such as a parameter int i[n++])
328 take place; otherwise, they are ignored. */
330 /* True when these arguments had [*]. */
331 BOOL_BITFIELD had_vla_unspec
: 1;
335 struct c_declarator
{
336 /* The kind of declarator. */
337 enum c_declarator_kind kind
;
338 /* Except for cdk_id, the contained declarator. For cdk_id, NULL. */
339 struct c_declarator
*declarator
;
340 location_t id_loc
; /* Currently only set for cdk_id, cdk_array. */
342 /* For identifiers, an IDENTIFIER_NODE or NULL_TREE if an abstract
346 struct c_arg_info
*arg_info
;
349 /* The array dimension, or NULL for [] and [*]. */
351 /* The qualifiers inside []. */
353 /* The attributes (currently ignored) inside []. */
355 /* Whether [static] was used. */
356 BOOL_BITFIELD static_p
: 1;
357 /* Whether [*] was used. */
358 BOOL_BITFIELD vla_unspec_p
: 1;
360 /* For pointers, the qualifiers on the pointer type. */
362 /* For attributes. */
369 /* The declaration specifiers. */
370 struct c_declspecs
*specs
;
371 /* The declarator. */
372 struct c_declarator
*declarator
;
377 /* The declaration specifiers, minus any prefix attributes. */
378 struct c_declspecs
*specs
;
379 /* The attributes. */
381 /* The declarator. */
382 struct c_declarator
*declarator
;
385 /* Save and restore the variables in this file and elsewhere
386 that keep track of the progress of compilation of the current function.
387 Used for nested functions. */
389 struct GTY(()) language_function
{
390 struct c_language_function base
;
393 struct c_switch
* GTY((skip
)) x_switch_stack
;
394 struct c_arg_info
* GTY((skip
)) arg_info
;
397 int returns_abnormally
;
398 int warn_about_return_type
;
401 /* Used when parsing an enum. Initialized by start_enum. */
402 struct c_enum_contents
404 /* While defining an enum type, this is 1 plus the last enumerator
406 tree enum_next_value
;
408 /* Nonzero means that there was overflow computing enum_next_value. */
412 /* A type of reference to a static identifier in an inline
414 enum c_inline_static_type
{
415 /* Identifier with internal linkage used in function that may be an
416 inline definition (i.e., file-scope static). */
418 /* Modifiable object with static storage duration defined in
419 function that may be an inline definition (i.e., local
426 extern void c_parse_init (void);
428 /* in c-aux-info.c */
429 extern void gen_aux_info_record (tree
, int, int, int);
432 struct c_spot_bindings
;
433 struct c_struct_parse_info
;
434 extern struct obstack parser_obstack
;
435 extern tree c_break_label
;
436 extern tree c_cont_label
;
438 extern int global_bindings_p (void);
439 extern void push_scope (void);
440 extern tree
pop_scope (void);
441 extern void c_bindings_start_stmt_expr (struct c_spot_bindings
*);
442 extern void c_bindings_end_stmt_expr (struct c_spot_bindings
*);
444 extern void record_inline_static (location_t
, tree
, tree
,
445 enum c_inline_static_type
);
446 extern void c_init_decl_processing (void);
447 extern void c_dup_lang_specific_decl (tree
);
448 extern void c_print_identifier (FILE *, tree
, int);
449 extern int quals_from_declspecs (const struct c_declspecs
*);
450 extern struct c_declarator
*build_array_declarator (location_t
, tree
,
451 struct c_declspecs
*,
453 extern tree
build_enumerator (location_t
, struct c_enum_contents
*, tree
, tree
);
454 extern tree
check_for_loop_decls (location_t
);
455 extern void mark_forward_parm_decls (void);
456 extern void declare_parm_level (void);
457 extern void undeclared_variable (location_t
, tree
);
458 extern tree
lookup_label_for_goto (location_t
, tree
);
459 extern tree
declare_label (tree
);
460 extern tree
define_label (location_t
, tree
);
461 extern struct c_spot_bindings
*c_get_switch_bindings (void);
462 extern void c_release_switch_bindings (struct c_spot_bindings
*);
463 extern bool c_check_switch_jump_warnings (struct c_spot_bindings
*,
464 location_t
, location_t
);
465 extern void c_maybe_initialize_eh (void);
466 extern void finish_decl (tree
, location_t
, tree
, tree
, tree
);
467 extern tree
finish_enum (tree
, tree
, tree
);
468 extern void finish_function (void);
469 extern tree
finish_struct (location_t
, tree
, tree
, tree
,
470 struct c_struct_parse_info
*);
471 extern struct c_arg_info
*get_parm_info (bool);
472 extern tree
grokfield (location_t
, struct c_declarator
*,
473 struct c_declspecs
*, tree
, tree
*);
474 extern tree
groktypename (struct c_type_name
*, tree
*, bool *);
475 extern tree
grokparm (const struct c_parm
*);
476 extern tree
implicitly_declare (location_t
, tree
);
477 extern void keep_next_level (void);
478 extern void pending_xref_error (void);
479 extern void c_push_function_context (void);
480 extern void c_pop_function_context (void);
481 extern void push_parm_decl (const struct c_parm
*);
482 extern struct c_declarator
*set_array_declarator_inner (struct c_declarator
*,
483 struct c_declarator
*);
484 extern tree
c_builtin_function (tree
);
485 extern tree
c_builtin_function_ext_scope (tree
);
486 extern void shadow_tag (const struct c_declspecs
*);
487 extern void shadow_tag_warned (const struct c_declspecs
*, int);
488 extern tree
start_enum (location_t
, struct c_enum_contents
*, tree
);
489 extern int start_function (struct c_declspecs
*, struct c_declarator
*, tree
);
490 extern tree
start_decl (struct c_declarator
*, struct c_declspecs
*, bool,
492 extern tree
start_struct (location_t
, enum tree_code
, tree
,
493 struct c_struct_parse_info
**);
494 extern void store_parm_decls (void);
495 extern void store_parm_decls_from (struct c_arg_info
*);
496 extern tree
xref_tag (enum tree_code
, tree
);
497 extern struct c_typespec
parser_xref_tag (location_t
, enum tree_code
, tree
);
498 extern int c_expand_decl (tree
);
499 extern struct c_parm
*build_c_parm (struct c_declspecs
*, tree
,
500 struct c_declarator
*);
501 extern struct c_declarator
*build_attrs_declarator (tree
,
502 struct c_declarator
*);
503 extern struct c_declarator
*build_function_declarator (struct c_arg_info
*,
504 struct c_declarator
*);
505 extern struct c_declarator
*build_id_declarator (tree
);
506 extern struct c_declarator
*make_pointer_declarator (struct c_declspecs
*,
507 struct c_declarator
*);
508 extern struct c_declspecs
*build_null_declspecs (void);
509 extern struct c_declspecs
*declspecs_add_qual (struct c_declspecs
*, tree
);
510 extern struct c_declspecs
*declspecs_add_type (location_t
,
511 struct c_declspecs
*,
513 extern struct c_declspecs
*declspecs_add_scspec (struct c_declspecs
*, tree
);
514 extern struct c_declspecs
*declspecs_add_attrs (struct c_declspecs
*, tree
);
515 extern struct c_declspecs
*finish_declspecs (struct c_declspecs
*);
517 /* in c-objc-common.c */
518 extern bool c_objc_common_init (void);
519 extern bool c_missing_noreturn_ok_p (tree
);
520 extern bool c_warn_unused_global_decl (const_tree
);
521 extern void c_initialize_diagnostics (diagnostic_context
*);
522 extern bool c_vla_unspec_p (tree x
, tree fn
);
524 #define c_build_type_variant(TYPE, CONST_P, VOLATILE_P) \
525 c_build_qualified_type ((TYPE), \
526 ((CONST_P) ? TYPE_QUAL_CONST : 0) | \
527 ((VOLATILE_P) ? TYPE_QUAL_VOLATILE : 0))
530 extern bool in_late_binary_op
;
531 extern int in_alignof
;
532 extern int in_sizeof
;
533 extern int in_typeof
;
535 extern struct c_switch
*c_switch_stack
;
537 extern tree
c_objc_common_truthvalue_conversion (location_t
, tree
);
538 extern tree
require_complete_type (tree
);
539 extern int same_translation_unit_p (const_tree
, const_tree
);
540 extern int comptypes (tree
, tree
);
541 extern bool c_vla_type_p (const_tree
);
542 extern bool c_mark_addressable (tree
);
543 extern void c_incomplete_type_error (const_tree
, const_tree
);
544 extern tree
c_type_promotes_to (tree
);
545 extern struct c_expr
default_function_array_conversion (location_t
,
547 extern tree
composite_type (tree
, tree
);
548 extern tree
build_component_ref (location_t
, tree
, tree
);
549 extern tree
build_array_ref (location_t
, tree
, tree
);
550 extern tree
build_external_ref (location_t
, tree
, int, tree
*);
551 extern void pop_maybe_used (bool);
552 extern struct c_expr
c_expr_sizeof_expr (location_t
, struct c_expr
);
553 extern struct c_expr
c_expr_sizeof_type (location_t
, struct c_type_name
*);
554 extern struct c_expr
parser_build_unary_op (location_t
, enum tree_code
,
556 extern struct c_expr
parser_build_binary_op (location_t
,
557 enum tree_code
, struct c_expr
,
559 extern tree
build_conditional_expr (location_t
, tree
, bool, tree
, tree
,
561 extern tree
build_compound_expr (location_t
, tree
, tree
);
562 extern tree
c_cast_expr (location_t
, struct c_type_name
*, tree
);
563 extern tree
build_c_cast (location_t
, tree
, tree
);
564 extern void store_init_value (location_t
, tree
, tree
, tree
);
565 extern void error_init (const char *);
566 extern void pedwarn_init (location_t
, int opt
, const char *);
567 extern void maybe_warn_string_init (tree
, struct c_expr
);
568 extern void start_init (tree
, tree
, int);
569 extern void finish_init (void);
570 extern void really_start_incremental_init (tree
);
571 extern void push_init_level (int);
572 extern struct c_expr
pop_init_level (int);
573 extern void set_init_index (tree
, tree
);
574 extern void set_init_label (tree
);
575 extern void process_init_element (struct c_expr
, bool);
576 extern tree
build_compound_literal (location_t
, tree
, tree
, bool);
577 extern void check_compound_literal_type (location_t
, struct c_type_name
*);
578 extern tree
c_start_case (location_t
, location_t
, tree
);
579 extern void c_finish_case (tree
);
580 extern tree
build_asm_expr (location_t
, tree
, tree
, tree
, tree
, bool);
581 extern tree
build_asm_stmt (tree
, tree
);
582 extern int c_types_compatible_p (tree
, tree
);
583 extern tree
c_begin_compound_stmt (bool);
584 extern tree
c_end_compound_stmt (location_t
, tree
, bool);
585 extern void c_finish_if_stmt (location_t
, tree
, tree
, tree
, bool);
586 extern void c_finish_loop (location_t
, tree
, tree
, tree
, tree
, tree
, bool);
587 extern tree
c_begin_stmt_expr (void);
588 extern tree
c_finish_stmt_expr (location_t
, tree
);
589 extern tree
c_process_expr_stmt (location_t
, tree
);
590 extern tree
c_finish_expr_stmt (location_t
, tree
);
591 extern tree
c_finish_return (location_t
, tree
, tree
);
592 extern tree
c_finish_bc_stmt (location_t
, tree
*, bool);
593 extern tree
c_finish_goto_label (location_t
, tree
);
594 extern tree
c_finish_goto_ptr (location_t
, tree
);
595 extern tree
c_expr_to_decl (tree
, bool *, bool *);
596 extern tree
c_begin_omp_parallel (void);
597 extern tree
c_finish_omp_parallel (location_t
, tree
, tree
);
598 extern tree
c_begin_omp_task (void);
599 extern tree
c_finish_omp_task (location_t
, tree
, tree
);
600 extern tree
c_finish_omp_clauses (tree
);
601 extern tree
c_build_va_arg (location_t
, tree
, tree
);
603 /* Set to 0 at beginning of a function definition, set to 1 if
604 a return statement that specifies a return value is seen. */
606 extern int current_function_returns_value
;
608 /* Set to 0 at beginning of a function definition, set to 1 if
609 a return statement with no argument is seen. */
611 extern int current_function_returns_null
;
613 /* Set to 0 at beginning of a function definition, set to 1 if
614 a call to a noreturn function is seen. */
616 extern int current_function_returns_abnormally
;
618 /* Nonzero means we are reading code that came from a system header file. */
620 extern int system_header_p
;
622 /* True means global_bindings_p should return false even if the scope stack
623 says we are in file scope. */
625 extern bool c_override_global_bindings_to_false
;
627 /* True means we've initialized exception handling. */
628 extern bool c_eh_initialized_p
;
631 extern void c_finish_incomplete_decl (tree
);
632 extern void c_write_global_declarations (void);
634 /* In order for the format checking to accept the C frontend
635 diagnostic framework extensions, you must include this file before
636 toplev.h, not after. */
637 #if GCC_VERSION >= 4001
638 #define ATTRIBUTE_GCC_CDIAG(m, n) __attribute__ ((__format__ (GCC_DIAG_STYLE, m ,n))) ATTRIBUTE_NONNULL(m)
640 #define ATTRIBUTE_GCC_CDIAG(m, n) ATTRIBUTE_NONNULL(m)
643 extern void pedwarn_c90 (location_t
, int opt
, const char *, ...) ATTRIBUTE_GCC_CDIAG(3,4);
644 extern void pedwarn_c99 (location_t
, int opt
, const char *, ...) ATTRIBUTE_GCC_CDIAG(3,4);
646 extern bool c_cpp_error (cpp_reader
*, int, location_t
, unsigned int,
647 const char *, va_list *)
648 ATTRIBUTE_GCC_CDIAG(5,0);
650 #endif /* ! GCC_C_TREE_H */