]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/c-common.h
basic-block.h: Fix comment formatting.
[thirdparty/gcc.git] / gcc / c-common.h
CommitLineData
7f4edbcb 1/* Definitions for c-common.c.
517cbe13 2 Copyright (C) 1987, 1993, 1994, 1995, 1997, 1998,
1574ef13 3 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
7f4edbcb 4
1322177d 5This file is part of GCC.
7f4edbcb 6
1322177d
LB
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9Software Foundation; either version 2, or (at your option) any later
10version.
7f4edbcb 11
1322177d
LB
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
7f4edbcb
BS
16
17You should have received a copy of the GNU General Public License
1322177d
LB
18along with GCC; see the file COPYING. If not, write to the Free
19Software Foundation, 59 Temple Place - Suite 330, Boston, MA
2002111-1307, USA. */
7f4edbcb 21
0e5921e8
ZW
22#ifndef GCC_C_COMMON_H
23#define GCC_C_COMMON_H
24
8f17b5c5 25#include "splay-tree.h"
2a967f3d 26#include "cpplib.h"
8f17b5c5 27
f2c5f623
BC
28/* Usage of TREE_LANG_FLAG_?:
29 0: COMPOUND_STMT_NO_SCOPE (in COMPOUND_STMT).
30 TREE_NEGATED_INT (in INTEGER_CST).
31 IDENTIFIER_MARKED (used by search routines).
32 SCOPE_BEGIN_P (in SCOPE_STMT)
33 DECL_PRETTY_FUNCTION_P (in VAR_DECL)
34 NEW_FOR_SCOPE_P (in FOR_STMT)
4f78b9a8 35 ASM_INPUT_P (in ASM_STMT)
b2123dc0 36 STMT_EXPR_NO_SCOPE (in STMT_EXPR)
f2c5f623
BC
37 1: C_DECLARED_LABEL_FLAG (in LABEL_DECL)
38 STMT_IS_FULL_EXPR_P (in _STMT)
39 2: STMT_LINENO_FOR_FN_P (in _STMT)
40 3: SCOPE_NO_CLEANUPS_P (in SCOPE_STMT)
ade3dc07 41 COMPOUND_STMT_BODY_BLOCK (in COMPOUND_STMT)
f2c5f623
BC
42 4: SCOPE_PARTIAL_P (in SCOPE_STMT)
43*/
44
0e5921e8
ZW
45/* Reserved identifiers. This is the union of all the keywords for C,
46 C++, and Objective C. All the type modifiers have to be in one
47 block at the beginning, because they are used as mask bits. There
48 are 27 type modifiers; if we add many more we will have to redesign
49 the mask mechanism. */
f09f1de5
MM
50
51enum rid
52{
0e5921e8 53 /* Modifiers: */
2ba84f36 54 /* C, in empirical order of frequency. */
0e5921e8
ZW
55 RID_STATIC = 0,
56 RID_UNSIGNED, RID_LONG, RID_CONST, RID_EXTERN,
57 RID_REGISTER, RID_TYPEDEF, RID_SHORT, RID_INLINE,
58 RID_VOLATILE, RID_SIGNED, RID_AUTO, RID_RESTRICT,
59
60 /* C extensions */
3d78f2e9 61 RID_BOUNDED, RID_UNBOUNDED, RID_COMPLEX, RID_THREAD,
0e5921e8
ZW
62
63 /* C++ */
64 RID_FRIEND, RID_VIRTUAL, RID_EXPLICIT, RID_EXPORT, RID_MUTABLE,
65
66 /* ObjC */
b8363a24 67 RID_IN, RID_OUT, RID_INOUT, RID_BYCOPY, RID_BYREF, RID_ONEWAY,
0e5921e8
ZW
68
69 /* C */
70 RID_INT, RID_CHAR, RID_FLOAT, RID_DOUBLE, RID_VOID,
71 RID_ENUM, RID_STRUCT, RID_UNION, RID_IF, RID_ELSE,
72 RID_WHILE, RID_DO, RID_FOR, RID_SWITCH, RID_CASE,
73 RID_DEFAULT, RID_BREAK, RID_CONTINUE, RID_RETURN, RID_GOTO,
74 RID_SIZEOF,
75
76 /* C extensions */
77 RID_ASM, RID_TYPEOF, RID_ALIGNOF, RID_ATTRIBUTE, RID_VA_ARG,
78 RID_EXTENSION, RID_IMAGPART, RID_REALPART, RID_LABEL, RID_PTRBASE,
ecbcf7b3 79 RID_PTREXTENT, RID_PTRVALUE, RID_CHOOSE_EXPR, RID_TYPES_COMPATIBLE_P,
0e5921e8 80
0ba8a114
NS
81 /* Too many ways of getting the name of a function as a string */
82 RID_FUNCTION_NAME, RID_PRETTY_FUNCTION_NAME, RID_C99_FUNCTION_NAME,
83
0e5921e8
ZW
84 /* C++ */
85 RID_BOOL, RID_WCHAR, RID_CLASS,
86 RID_PUBLIC, RID_PRIVATE, RID_PROTECTED,
87 RID_TEMPLATE, RID_NULL, RID_CATCH,
88 RID_DELETE, RID_FALSE, RID_NAMESPACE,
89 RID_NEW, RID_OPERATOR, RID_THIS,
90 RID_THROW, RID_TRUE, RID_TRY,
91 RID_TYPENAME, RID_TYPEID, RID_USING,
92
93 /* casts */
94 RID_CONSTCAST, RID_DYNCAST, RID_REINTCAST, RID_STATCAST,
95
0e5921e8
ZW
96 /* Objective C */
97 RID_ID, RID_AT_ENCODE, RID_AT_END,
98 RID_AT_CLASS, RID_AT_ALIAS, RID_AT_DEFS,
99 RID_AT_PRIVATE, RID_AT_PROTECTED, RID_AT_PUBLIC,
100 RID_AT_PROTOCOL, RID_AT_SELECTOR, RID_AT_INTERFACE,
101 RID_AT_IMPLEMENTATION,
102
103 RID_MAX,
104
105 RID_FIRST_MODIFIER = RID_STATIC,
b8363a24
ZW
106 RID_LAST_MODIFIER = RID_ONEWAY,
107
108 RID_FIRST_AT = RID_AT_ENCODE,
109 RID_LAST_AT = RID_AT_IMPLEMENTATION,
110 RID_FIRST_PQ = RID_IN,
111 RID_LAST_PQ = RID_ONEWAY
f09f1de5
MM
112};
113
b8363a24
ZW
114#define OBJC_IS_AT_KEYWORD(rid) \
115 ((unsigned int)(rid) >= (unsigned int)RID_FIRST_AT && \
116 (unsigned int)(rid) <= (unsigned int)RID_LAST_AT)
117
118#define OBJC_IS_PQ_KEYWORD(rid) \
119 ((unsigned int)(rid) >= (unsigned int)RID_FIRST_PQ && \
120 (unsigned int)(rid) <= (unsigned int)RID_LAST_PQ)
121
f09f1de5
MM
122/* The elements of `ridpointers' are identifier nodes for the reserved
123 type names and storage classes. It is indexed by a RID_... value. */
124extern tree *ridpointers;
125
7f4edbcb
BS
126/* Standard named or nameless data types of the C compiler. */
127
128enum c_tree_index
129{
7f4edbcb
BS
130 CTI_WCHAR_TYPE,
131 CTI_SIGNED_WCHAR_TYPE,
132 CTI_UNSIGNED_WCHAR_TYPE,
c5ab7f91 133 CTI_WINT_TYPE,
fe8ca71f
JM
134 CTI_C_SIZE_TYPE, /* The type used for the size_t typedef and the
135 result type of sizeof (an ordinary type without
136 TYPE_IS_SIZETYPE set, unlike the internal
137 sizetype). */
cd732418
JM
138 CTI_SIGNED_SIZE_TYPE, /* For format checking only. */
139 CTI_UNSIGNED_PTRDIFF_TYPE, /* For format checking only. */
b15ad712
JM
140 CTI_INTMAX_TYPE,
141 CTI_UINTMAX_TYPE,
7f4edbcb
BS
142 CTI_WIDEST_INT_LIT_TYPE,
143 CTI_WIDEST_UINT_LIT_TYPE,
144
7f4edbcb
BS
145 CTI_CHAR_ARRAY_TYPE,
146 CTI_WCHAR_ARRAY_TYPE,
147 CTI_INT_ARRAY_TYPE,
148 CTI_STRING_TYPE,
149 CTI_CONST_STRING_TYPE,
150
19552aa5 151 /* Type for boolean expressions (bool in C++, int in C). */
7f4edbcb
BS
152 CTI_BOOLEAN_TYPE,
153 CTI_BOOLEAN_TRUE,
154 CTI_BOOLEAN_FALSE,
19552aa5
JM
155 /* C99's _Bool type. */
156 CTI_C_BOOL_TYPE,
157 CTI_C_BOOL_TRUE,
158 CTI_C_BOOL_FALSE,
7f4edbcb 159 CTI_DEFAULT_FUNCTION_TYPE,
7f4edbcb 160
7aba5a5f
CD
161 CTI_G77_INTEGER_TYPE,
162 CTI_G77_UINTEGER_TYPE,
163 CTI_G77_LONGINT_TYPE,
164 CTI_G77_ULONGINT_TYPE,
165
2ba84f36 166 /* These are not types, but we have to look them up all the time. */
0ba8a114
NS
167 CTI_FUNCTION_NAME_DECL,
168 CTI_PRETTY_FUNCTION_NAME_DECL,
169 CTI_C99_FUNCTION_NAME_DECL,
170 CTI_SAVED_FUNCTION_NAME_DECLS,
171
ae499cce
MM
172 CTI_VOID_ZERO,
173
7f4edbcb
BS
174 CTI_MAX
175};
176
b621a4dd 177#define C_RID_CODE(id) (((struct c_common_identifier *) (id))->node.rid_code)
2a967f3d
NB
178
179/* Identifier part common to the C front ends. Inherits from
180 tree_identifier, despite appearances. */
e2500fed 181struct c_common_identifier GTY(())
2a967f3d
NB
182{
183 struct tree_common common;
e2500fed 184 struct cpp_hashnode GTY ((skip (""))) node;
2a967f3d
NB
185};
186
7f4edbcb
BS
187#define wchar_type_node c_global_trees[CTI_WCHAR_TYPE]
188#define signed_wchar_type_node c_global_trees[CTI_SIGNED_WCHAR_TYPE]
189#define unsigned_wchar_type_node c_global_trees[CTI_UNSIGNED_WCHAR_TYPE]
c5ab7f91 190#define wint_type_node c_global_trees[CTI_WINT_TYPE]
3c786c69 191#define c_size_type_node c_global_trees[CTI_C_SIZE_TYPE]
cd732418
JM
192#define signed_size_type_node c_global_trees[CTI_SIGNED_SIZE_TYPE]
193#define unsigned_ptrdiff_type_node c_global_trees[CTI_UNSIGNED_PTRDIFF_TYPE]
b15ad712
JM
194#define intmax_type_node c_global_trees[CTI_INTMAX_TYPE]
195#define uintmax_type_node c_global_trees[CTI_UINTMAX_TYPE]
7f4edbcb
BS
196#define widest_integer_literal_type_node c_global_trees[CTI_WIDEST_INT_LIT_TYPE]
197#define widest_unsigned_literal_type_node c_global_trees[CTI_WIDEST_UINT_LIT_TYPE]
198
7f4edbcb
BS
199#define boolean_type_node c_global_trees[CTI_BOOLEAN_TYPE]
200#define boolean_true_node c_global_trees[CTI_BOOLEAN_TRUE]
201#define boolean_false_node c_global_trees[CTI_BOOLEAN_FALSE]
202
19552aa5
JM
203#define c_bool_type_node c_global_trees[CTI_C_BOOL_TYPE]
204#define c_bool_true_node c_global_trees[CTI_C_BOOL_TRUE]
205#define c_bool_false_node c_global_trees[CTI_C_BOOL_FALSE]
206
7f4edbcb
BS
207#define char_array_type_node c_global_trees[CTI_CHAR_ARRAY_TYPE]
208#define wchar_array_type_node c_global_trees[CTI_WCHAR_ARRAY_TYPE]
209#define int_array_type_node c_global_trees[CTI_INT_ARRAY_TYPE]
210#define string_type_node c_global_trees[CTI_STRING_TYPE]
211#define const_string_type_node c_global_trees[CTI_CONST_STRING_TYPE]
212
213#define default_function_type c_global_trees[CTI_DEFAULT_FUNCTION_TYPE]
7f4edbcb 214
7aba5a5f
CD
215/* g77 integer types, which which must be kept in sync with f/com.h */
216#define g77_integer_type_node c_global_trees[CTI_G77_INTEGER_TYPE]
217#define g77_uinteger_type_node c_global_trees[CTI_G77_UINTEGER_TYPE]
218#define g77_longint_type_node c_global_trees[CTI_G77_LONGINT_TYPE]
219#define g77_ulongint_type_node c_global_trees[CTI_G77_ULONGINT_TYPE]
220
0ba8a114
NS
221#define function_name_decl_node c_global_trees[CTI_FUNCTION_NAME_DECL]
222#define pretty_function_name_decl_node c_global_trees[CTI_PRETTY_FUNCTION_NAME_DECL]
223#define c99_function_name_decl_node c_global_trees[CTI_C99_FUNCTION_NAME_DECL]
224#define saved_function_name_decls c_global_trees[CTI_SAVED_FUNCTION_NAME_DECLS]
63ad61ed 225
ae499cce
MM
226/* A node for `((void) 0)'. */
227#define void_zero_node c_global_trees[CTI_VOID_ZERO]
228
e2500fed 229extern GTY(()) tree c_global_trees[CTI_MAX];
ab76ca54 230
8f17b5c5
MM
231/* Mark which labels are explicitly declared.
232 These may be shadowed, and may be referenced from nested functions. */
233#define C_DECLARED_LABEL_FLAG(label) TREE_LANG_FLAG_1 (label)
234
9aa8a1df
NB
235/* Flag strings given by __FUNCTION__ and __PRETTY_FUNCTION__ for a
236 warning if they undergo concatenation. */
237#define C_ARTIFICIAL_STRING_P(NODE) TREE_LANG_FLAG_0 (NODE)
238
ab76ca54
MM
239typedef enum c_language_kind
240{
b4a93904 241 clk_c = 0, /* A dialect of C: K&R C, ANSI/ISO C89, C2000, etc. */
0f7866e7 242 clk_cplusplus /* ANSI/ISO C++ */
21c7361e 243}
ab76ca54
MM
244c_language_kind;
245
ae499cce
MM
246/* Information about a statement tree. */
247
e2500fed 248struct stmt_tree_s GTY(()) {
ae499cce
MM
249 /* The last statement added to the tree. */
250 tree x_last_stmt;
251 /* The type of the last expression statement. (This information is
252 needed to implement the statement-expression extension.) */
253 tree x_last_expr_type;
de097a2d
JM
254 /* The last filename we recorded. */
255 const char *x_last_expr_filename;
ae499cce
MM
256 /* In C++, Non-zero if we should treat statements as full
257 expressions. In particular, this variable is no-zero if at the
258 end of a statement we should destroy any temporaries created
259 during that statement. Similarly, if, at the end of a block, we
260 should destroy any local variables in this block. Normally, this
261 variable is non-zero, since those are the normal semantics of
262 C++.
263
264 However, in order to represent aggregate initialization code as
265 tree structure, we use statement-expressions. The statements
266 within the statement expression should not result in cleanups
21c7361e 267 being run until the entire enclosing statement is complete.
ae499cce
MM
268
269 This flag has no effect in C. */
21c7361e 270 int stmts_are_full_exprs_p;
ae499cce
MM
271};
272
273typedef struct stmt_tree_s *stmt_tree;
274
275/* Global state pertinent to the current function. Some C dialects
276 extend this structure with additional fields. */
277
e2500fed 278struct c_language_function GTY(()) {
ae499cce
MM
279 /* While we are parsing the function, this contains information
280 about the statement-tree that we are building. */
281 struct stmt_tree_s x_stmt_tree;
8f17b5c5
MM
282 /* The stack of SCOPE_STMTs for the current function. */
283 tree x_scope_stmt_stack;
ae499cce
MM
284};
285
286/* When building a statement-tree, this is the last statement added to
287 the tree. */
288
289#define last_tree (current_stmt_tree ()->x_last_stmt)
290
291/* The type of the last expression-statement we have seen. */
292
293#define last_expr_type (current_stmt_tree ()->x_last_expr_type)
294
de097a2d
JM
295/* The name of the last file we have seen. */
296
297#define last_expr_filename (current_stmt_tree ()->x_last_expr_filename)
298
8f17b5c5
MM
299/* LAST_TREE contains the last statement parsed. These are chained
300 together through the TREE_CHAIN field, but often need to be
301 re-organized since the parse is performed bottom-up. This macro
302 makes LAST_TREE the indicated SUBSTMT of STMT. */
303
304#define RECHAIN_STMTS(stmt, substmt) \
305 do { \
306 substmt = TREE_CHAIN (stmt); \
307 TREE_CHAIN (stmt) = NULL_TREE; \
308 last_tree = stmt; \
309 } while (0)
310
311/* Language-specific hooks. */
312
313extern int (*lang_statement_code_p) PARAMS ((enum tree_code));
314extern void (*lang_expand_stmt) PARAMS ((tree));
315extern void (*lang_expand_decl_stmt) PARAMS ((tree));
316extern void (*lang_expand_function_end) PARAMS ((void));
43577e6b 317extern tree gettags PARAMS ((void));
8f17b5c5 318
21c7361e
AJ
319/* Callback that determines if it's ok for a function to have no
320 noreturn attribute. */
321extern int (*lang_missing_noreturn_ok_p) PARAMS ((tree));
322
52dabb6c 323extern int yyparse PARAMS ((void));
94a50397
RH
324extern void free_parser_stacks PARAMS ((void));
325
ae499cce 326extern stmt_tree current_stmt_tree PARAMS ((void));
8f17b5c5 327extern tree *current_scope_stmt_stack PARAMS ((void));
ae499cce 328extern void begin_stmt_tree PARAMS ((tree *));
56cb9733 329extern tree add_stmt PARAMS ((tree));
8f17b5c5
MM
330extern void add_decl_stmt PARAMS ((tree));
331extern tree add_scope_stmt PARAMS ((int, int));
ae499cce
MM
332extern void finish_stmt_tree PARAMS ((tree *));
333
334extern int statement_code_p PARAMS ((enum tree_code));
ae499cce
MM
335extern tree walk_stmt_tree PARAMS ((tree *,
336 walk_tree_fn,
337 void *));
54f7877c 338extern void prep_stmt PARAMS ((tree));
54f7877c 339extern void expand_stmt PARAMS ((tree));
26f943fd
NB
340extern void shadow_warning PARAMS ((const char *,
341 tree, tree));
c1e14513
JL
342extern tree c_begin_if_stmt PARAMS ((void));
343extern tree c_begin_while_stmt PARAMS ((void));
344extern void c_finish_while_stmt_cond PARAMS ((tree, tree));
345
ae499cce 346
8f17b5c5
MM
347/* Extra information associated with a DECL. Other C dialects extend
348 this structure in various ways. The C front-end only uses this
349 structure for FUNCTION_DECLs; all other DECLs have a NULL
350 DECL_LANG_SPECIFIC field. */
56cb9733 351
e2500fed 352struct c_lang_decl GTY(()) {
31ed8fea 353 unsigned declared_inline : 1;
8f17b5c5
MM
354};
355
b850de4f
MM
356/* In a FUNCTION_DECL for which DECL_BUILT_IN does not hold, this is
357 the approximate number of statements in this function. There is
358 no need for this number to be exact; it is only used in various
359 heuristics regarding optimization. */
360#define DECL_NUM_STMTS(NODE) \
361 (FUNCTION_DECL_CHECK (NODE)->decl.u1.i)
8f17b5c5 362
ab76ca54
MM
363/* The variant of the C language being processed. Each C language
364 front-end defines this variable. */
365
366extern c_language_kind c_language;
367
4078b403
NB
368/* Switches common to the C front ends. */
369
aaf93206
NB
370/* Nonzero if prepreprocessing only. */
371extern int flag_preprocess_only;
372
3df89291
NB
373/* Nonzero if an ISO standard was selected. It rejects macros in the
374 user's namespace. */
375extern int flag_iso;
376
0f7866e7
ZL
377/* Nonzero whenever Objective-C functionality is being used. */
378extern int flag_objc;
379
3df89291
NB
380/* Nonzero if -undef was given. It suppresses target built-in macros
381 and assertions. */
382extern int flag_undef;
383
4078b403 384/* Nonzero means don't recognize the non-ANSI builtin functions. */
ab76ca54 385
4078b403
NB
386extern int flag_no_builtin;
387
388/* Nonzero means don't recognize the non-ANSI builtin functions.
389 -ansi sets this. */
390
391extern int flag_no_nonansi_builtin;
ab76ca54 392
eaa7c03f
JM
393/* Nonzero means give `double' the same size as `float'. */
394
395extern int flag_short_double;
396
397/* Nonzero means give `wchar_t' the same size as `short'. */
398
399extern int flag_short_wchar;
400
750491fc
RH
401/* Nonzero means allow Microsoft extensions without warnings or errors. */
402extern int flag_ms_extensions;
403
4078b403
NB
404/* Nonzero means don't recognize the keyword `asm'. */
405
406extern int flag_no_asm;
407
408/* Nonzero means give string constants the type `const char *', as mandated
409 by the standard. */
410
411extern int flag_const_strings;
412
413/* Nonzero means `$' can be in an identifier. */
414
415extern int dollars_in_ident;
416
417/* Nonzero means to treat bitfields as signed unless they say `unsigned'. */
418
419extern int flag_signed_bitfields;
420extern int explicit_flag_signed_bitfields;
421
422/* Nonzero means warn about pointer casts that can drop a type qualifier
423 from the pointer target type. */
424
425extern int warn_cast_qual;
426
427/* Warn about functions which might be candidates for format attributes. */
428
429extern int warn_missing_format_attribute;
430
431/* Nonzero means warn about sizeof(function) or addition/subtraction
432 of function pointers. */
433
434extern int warn_pointer_arith;
435
436/* Nonzero means warn for any global function def
437 without separate previous prototype decl. */
438
439extern int warn_missing_prototypes;
440
441/* Warn if adding () is suggested. */
442
443extern int warn_parentheses;
444
445/* Warn if initializer is not completely bracketed. */
446
447extern int warn_missing_braces;
448
449/* Warn about comparison of signed and unsigned values.
450 If -1, neither -Wsign-compare nor -Wno-sign-compare has been specified. */
451
452extern int warn_sign_compare;
453
454/* Nonzero means warn about usage of long long when `-pedantic'. */
455
456extern int warn_long_long;
457
458/* Nonzero means warn about deprecated conversion from string constant to
459 `char *'. */
460
461extern int warn_write_strings;
462
463/* Nonzero means warn about multiple (redundant) decls for the same single
464 variable or function. */
465
466extern int warn_redundant_decls;
467
4b7e68e7 468/* Warn about testing equality of floating point numbers. */
4078b403
NB
469
470extern int warn_float_equal;
471
472/* Warn about a subscript that has type char. */
473
474extern int warn_char_subscripts;
475
476/* Warn if a type conversion is done that might have confusing results. */
477
478extern int warn_conversion;
479
480/* Warn about #pragma directives that are not recognised. */
481
482extern int warn_unknown_pragmas; /* Tri state variable. */
483
4078b403
NB
484/* Warn about format/argument anomalies in calls to formatted I/O functions
485 (*printf, *scanf, strftime, strfmon, etc.). */
ab76ca54
MM
486
487extern int warn_format;
488
4d808927
JM
489/* Warn about Y2K problems with strftime formats. */
490
491extern int warn_format_y2k;
492
493/* Warn about excess arguments to formats. */
494
495extern int warn_format_extra_args;
496
e964a556
JT
497/* Warn about zero-length formats. */
498
499extern int warn_format_zero_length;
500
4d808927
JM
501/* Warn about non-literal format arguments. */
502
503extern int warn_format_nonliteral;
504
c907e684
JM
505/* Warn about possible security problems with calls to format functions. */
506
507extern int warn_format_security;
508
b34c7881 509
4078b403 510/* C/ObjC language option variables. */
b34c7881 511
2683ed8d 512
4078b403
NB
513/* Nonzero means message about use of implicit function declarations;
514 1 means warning; 2 means error. */
2683ed8d 515
4078b403 516extern int mesg_implicit_function_declaration;
74ff4629 517
4078b403
NB
518/* Nonzero means allow type mismatches in conditional expressions;
519 just make their values `void'. */
74ff4629 520
4078b403 521extern int flag_cond_mismatch;
6c36d76b 522
eaf299c6 523/* Nonzero means enable C89 Amendment 1 features. */
b8458e3e
JM
524
525extern int flag_isoc94;
526
ab76ca54
MM
527/* Nonzero means use the ISO C99 dialect of C. */
528
529extern int flag_isoc99;
530
4078b403 531/* Nonzero means that we have builtin functions, and main is an int */
93e2382f
JM
532
533extern int flag_hosted;
534
535/* Nonzero means add default format_arg attributes for functions not
536 in ISO C. */
537
538extern int flag_noniso_default_format_attributes;
539
4078b403
NB
540/* Nonzero means warn when casting a function call to a type that does
541 not match the return type (e.g. (float)sqrt() or (anything*)malloc()
542 when there is no previous declaration of sqrt or malloc. */
6bcedb4e 543
4078b403 544extern int warn_bad_function_cast;
6bcedb4e 545
4078b403 546/* Warn about traditional constructs whose meanings changed in ANSI C. */
6bcedb4e 547
4078b403 548extern int warn_traditional;
6bcedb4e 549
4078b403
NB
550/* Nonzero means warn for non-prototype function decls
551 or non-prototyped defs without previous prototype. */
ab76ca54 552
4078b403 553extern int warn_strict_prototypes;
ab76ca54 554
4078b403
NB
555/* Nonzero means warn for any global function def
556 without separate previous decl. */
557
558extern int warn_missing_declarations;
559
560/* Nonzero means warn about extern declarations of objects not at
561 file-scope level and about *all* declarations of functions (whether
562 extern or static) not at file-scope level. Note that we exclude
563 implicit function declarations. To get warnings about those, use
564 -Wimplicit. */
565
566extern int warn_nested_externs;
567
568/* Warn if main is suspicious. */
569
570extern int warn_main;
571
572/* Nonzero means warn about possible violations of sequence point rules. */
573
574extern int warn_sequence_point;
575
576/* Nonzero means to warn about compile-time division by zero. */
577extern int warn_div_by_zero;
578
579/* Nonzero means warn about use of implicit int. */
580
581extern int warn_implicit_int;
582
583/* Warn about NULL being passed to argument slots marked as requiring
584 non-NULL. */
585
586extern int warn_nonnull;
587
588
589/* ObjC language option variables. */
590
591
592/* Open and close the file for outputting class declarations, if
593 requested (ObjC). */
594
595extern int flag_gen_declaration;
596
597/* Generate code for GNU or NeXT runtime environment. */
598
599extern int flag_next_runtime;
600
601/* Tells the compiler that this is a special run. Do not perform any
602 compiling, instead we are to test some platform dependent features
603 and output a C header file with appropriate definitions. */
604
605extern int print_struct_values;
606
607/* ???. Undocumented. */
608
fd350d24 609extern const char *constant_string_class_name;
4078b403
NB
610
611/* Warn if multiple methods are seen for the same selector, but with
ece4ce85
NP
612 different argument types. Performs the check on the whole selector
613 table at the end of compilation. */
4078b403
NB
614
615extern int warn_selector;
616
ece4ce85
NP
617/* Warn if a @selector() is found, and no method with that selector
618 has been previously declared. The check is done on each
619 @selector() as soon as it is found - so it warns about forward
620 declarations. */
621
622extern int warn_undeclared_selector;
623
4078b403
NB
624/* Warn if methods required by a protocol are not implemented in the
625 class adopting it. When turned off, methods inherited to that
626 class are also considered implemented. */
627
628extern int warn_protocol;
629
630
631/* C++ language option variables. */
632
633
634/* Nonzero means don't recognize any extension keywords. */
635
636extern int flag_no_gnu_keywords;
637
638/* Nonzero means do emit exported implementations of functions even if
639 they can be inlined. */
640
641extern int flag_implement_inlines;
642
643/* Nonzero means do emit exported implementations of templates, instead of
644 multiple static copies in each file that needs a definition. */
645
646extern int flag_external_templates;
647
648/* Nonzero means that the decision to emit or not emit the implementation of a
649 template depends on where the template is instantiated, rather than where
650 it is defined. */
651
652extern int flag_alt_external_templates;
653
654/* Nonzero means that implicit instantiations will be emitted if needed. */
655
656extern int flag_implicit_templates;
657
658/* Nonzero means that implicit instantiations of inline templates will be
659 emitted if needed, even if instantiations of non-inline templates
660 aren't. */
661
662extern int flag_implicit_inline_templates;
663
664/* Nonzero means generate separate instantiation control files and
665 juggle them at link time. */
666
667extern int flag_use_repository;
668
669/* Nonzero if we want to issue diagnostics that the standard says are not
670 required. */
671
672extern int flag_optional_diags;
673
674/* Nonzero means we should attempt to elide constructors when possible. */
675
676extern int flag_elide_constructors;
677
678/* Nonzero means that member functions defined in class scope are
679 inline by default. */
680
681extern int flag_default_inline;
682
683/* Controls whether compiler generates 'type descriptor' that give
684 run-time type information. */
685
686extern int flag_rtti;
687
688/* Nonzero if we want to conserve space in the .o files. We do this
689 by putting uninitialized data and runtime initialized data into
690 .common instead of .data at the expense of not flagging multiple
691 definitions. */
692
693extern int flag_conserve_space;
694
695/* Nonzero if we want to obey access control semantics. */
696
697extern int flag_access_control;
698
699/* Nonzero if we want to check the return value of new and avoid calling
700 constructors if it is a null pointer. */
701
702extern int flag_check_new;
703
704/* Nonzero if we want the new ISO rules for pushing a new scope for `for'
705 initialization variables.
706 0: Old rules, set by -fno-for-scope.
707 2: New ISO rules, set by -ffor-scope.
708 1: Try to implement new ISO rules, but with backup compatibility
709 (and warnings). This is the default, for now. */
710
711extern int flag_new_for_scope;
712
713/* Nonzero if we want to emit defined symbols with common-like linkage as
714 weak symbols where possible, in order to conform to C++ semantics.
715 Otherwise, emit them as local symbols. */
716
717extern int flag_weak;
718
719/* Nonzero to use __cxa_atexit, rather than atexit, to register
720 destructors for local statics and global objects. */
721
722extern int flag_use_cxa_atexit;
723
724/* Nonzero means output .vtable_{entry,inherit} for use in doing vtable gc. */
725
726extern int flag_vtable_gc;
727
728/* Nonzero means make the default pedwarns warnings instead of errors.
729 The value of this flag is ignored if -pedantic is specified. */
730
731extern int flag_permissive;
732
733/* Nonzero means to implement standard semantics for exception
734 specifications, calling unexpected if an exception is thrown that
735 doesn't match the specification. Zero means to treat them as
736 assertions and optimize accordingly, but not check them. */
737
738extern int flag_enforce_eh_specs;
739
eca7f13c
MM
740/* Nonzero means warn about things that will change when compiling
741 with an ABI-compliant compiler. */
742
743extern int warn_abi;
744
4078b403
NB
745/* Nonzero means warn about implicit declarations. */
746
747extern int warn_implicit;
748
749/* Nonzero means warn when all ctors or dtors are private, and the class
750 has no friends. */
751
752extern int warn_ctor_dtor_privacy;
753
754/* Non-zero means warn in function declared in derived class has the
755 same name as a virtual in the base class, but fails to match the
756 type signature of any virtual function in the base class. */
757
758extern int warn_overloaded_virtual;
759
760/* Non-zero means warn when declaring a class that has a non virtual
761 destructor, when it really ought to have a virtual one. */
762
763extern int warn_nonvdtor;
764
765/* Non-zero means warn when the compiler will reorder code. */
766
767extern int warn_reorder;
768
769/* Non-zero means warn when synthesis behavior differs from Cfront's. */
770
771extern int warn_synth;
772
773/* Non-zero means warn when we convert a pointer to member function
774 into a pointer to (void or function). */
775
776extern int warn_pmf2ptr;
777
778/* Nonzero means warn about violation of some Effective C++ style rules. */
779
780extern int warn_ecpp;
781
782/* Nonzero means warn where overload resolution chooses a promotion from
783 unsigned to signed over a conversion to an unsigned of the same size. */
784
785extern int warn_sign_promo;
786
787/* Nonzero means warn when an old-style cast is used. */
788
789extern int warn_old_style_cast;
790
791/* Nonzero means warn when non-templatized friend functions are
792 declared within a template */
793
794extern int warn_nontemplate_friend;
795
796/* Nonzero means complain about deprecated features. */
797
798extern int warn_deprecated;
799
800/* Maximum template instantiation depth. This limit is rather
801 arbitrary, but it exists to limit the time it takes to notice
802 infinite template instantiations. */
803
804extern int max_tinst_depth;
ab76ca54 805
25587e40
AO
806/* Nonzero means the expression being parsed will never be evaluated.
807 This is a count, since unevaluated expressions can nest. */
808
809extern int skip_evaluation;
810
ab76ca54
MM
811/* C types are partitioned into three subsets: object, function, and
812 incomplete types. */
813#define C_TYPE_OBJECT_P(type) \
814 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type))
815
816#define C_TYPE_INCOMPLETE_P(type) \
817 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type) == 0)
818
819#define C_TYPE_FUNCTION_P(type) \
820 (TREE_CODE (type) == FUNCTION_TYPE)
821
822/* For convenience we define a single macro to identify the class of
823 object or incomplete types. */
824#define C_TYPE_OBJECT_OR_INCOMPLETE_P(type) \
825 (!C_TYPE_FUNCTION_P (type))
826
827/* Record in each node resulting from a binary operator
828 what operator was specified for it. */
829#define C_EXP_ORIGINAL_CODE(exp) ((enum tree_code) TREE_COMPLEXITY (exp))
830
349ae713
NB
831/* Attribute table common to the C front ends. */
832extern const struct attribute_spec c_common_attribute_table[];
833extern const struct attribute_spec c_common_format_attribute_table[];
834
0ba8a114 835/* Pointer to function to lazily generate the VAR_DECL for __FUNCTION__ etc.
2ce07e2d
NS
836 ID is the identifier to use, NAME is the string.
837 TYPE_DEP indicates whether it depends on type of the function or not
838 (i.e. __PRETTY_FUNCTION__). */
839
0ba8a114 840extern tree (*make_fname_decl) PARAMS ((tree, int));
2ce07e2d 841
5fd8e536 842extern tree identifier_global_value PARAMS ((tree));
eaa7c03f
JM
843extern void record_builtin_type PARAMS ((enum rid,
844 const char *, tree));
845extern tree build_void_list_node PARAMS ((void));
0ba8a114
NS
846extern void start_fname_decls PARAMS ((void));
847extern void finish_fname_decls PARAMS ((void));
848extern const char *fname_as_string PARAMS ((int));
849extern tree fname_decl PARAMS ((unsigned, tree));
850extern const char *fname_string PARAMS ((unsigned));
59387d2e 851
b34c7881
JT
852extern void check_function_arguments PARAMS ((tree, tree));
853extern void check_function_arguments_recurse PARAMS ((void (*) (void *,
854 tree,
855 unsigned HOST_WIDE_INT),
856 void *, tree,
857 unsigned HOST_WIDE_INT));
80a497e4 858extern void check_function_format PARAMS ((int *, tree, tree));
4d808927 859extern void set_Wformat PARAMS ((int));
91d231cb
JM
860extern tree handle_format_attribute PARAMS ((tree *, tree, tree,
861 int, bool *));
862extern tree handle_format_arg_attribute PARAMS ((tree *, tree, tree,
863 int, bool *));
6431177a 864extern void c_common_insert_default_attributes PARAMS ((tree));
0b6f2917 865extern int c_common_decode_option PARAMS ((int, char **));
b0c48229
NB
866extern tree c_common_type_for_mode PARAMS ((enum machine_mode,
867 int));
868extern tree c_common_type_for_size PARAMS ((unsigned int, int));
ceef8ce4
NB
869extern tree c_common_unsigned_type PARAMS ((tree));
870extern tree c_common_signed_type PARAMS ((tree));
871extern tree c_common_signed_or_unsigned_type PARAMS ((int, tree));
78ef5b89 872extern tree c_common_truthvalue_conversion PARAMS ((tree));
6e090c76 873extern void c_apply_type_quals_to_decl PARAMS ((int, tree));
ea793912 874extern tree c_sizeof_or_alignof_type PARAMS ((tree, enum tree_code, int));
0213a355 875extern tree c_alignof_expr PARAMS ((tree));
7f4edbcb
BS
876/* Print an error message for invalid operands to arith operation CODE.
877 NOP_EXPR is used as a special case (see truthvalue_conversion). */
6e090c76 878extern void binary_op_error PARAMS ((enum tree_code));
fa72b064
GDR
879#define my_friendly_assert(EXP, N) (void) \
880 (((EXP) == 0) ? (fancy_abort (__FILE__, __LINE__, __FUNCTION__), 0) : 0)
881
64094f6a 882extern tree c_expand_expr_stmt PARAMS ((tree));
c1e14513 883extern void c_expand_start_cond PARAMS ((tree, int, tree));
8f17b5c5 884extern void c_finish_then PARAMS ((void));
6e090c76 885extern void c_expand_start_else PARAMS ((void));
b84a3874 886extern void c_finish_else PARAMS ((void));
6e090c76 887extern void c_expand_end_cond PARAMS ((void));
7f4edbcb 888/* Validate the expression after `case' and apply default promotions. */
6e090c76 889extern tree check_case_value PARAMS ((tree));
b84a3874
RH
890extern tree fix_string_type PARAMS ((tree));
891struct varray_head_tag;
892extern tree combine_strings PARAMS ((struct varray_head_tag *));
6e090c76
KG
893extern void constant_expression_warning PARAMS ((tree));
894extern tree convert_and_check PARAMS ((tree, tree));
895extern void overflow_warning PARAMS ((tree));
896extern void unsigned_conversion_warning PARAMS ((tree, tree));
ab76ca54 897
7f4edbcb 898/* Read the rest of the current #-directive line. */
6e090c76 899extern char *get_directive_line PARAMS ((void));
7f4edbcb 900#define GET_DIRECTIVE_LINE() get_directive_line ()
ea793912
GDR
901#define c_sizeof(T) c_sizeof_or_alignof_type (T, SIZEOF_EXPR, 1)
902#define c_alignof(T) c_sizeof_or_alignof_type (T, ALIGNOF_EXPR, 1)
7f4edbcb
BS
903
904/* Subroutine of build_binary_op, used for comparison operations.
905 See if the operands have both been converted from subword integer types
906 and, if so, perhaps change them both back to their original type. */
6e090c76 907extern tree shorten_compare PARAMS ((tree *, tree *, tree *, enum tree_code *));
7f4edbcb 908
7552da58 909extern tree pointer_int_sum PARAMS ((enum tree_code, tree, tree));
50e60bc3
ZW
910extern unsigned int min_precision PARAMS ((tree, int));
911
912/* Add qualifiers to a type, in the fashion for C. */
913extern tree c_build_qualified_type PARAMS ((tree, int));
914
7f4edbcb
BS
915/* Build tree nodes and builtin functions common to both C and C++ language
916 frontends. */
6bcedb4e 917extern void c_common_nodes_and_builtins PARAMS ((void));
d3707adb 918
7d14c755
JM
919extern void disable_builtin_function PARAMS ((const char *));
920
6e090c76 921extern tree build_va_arg PARAMS ((tree, tree));
7e8176d7 922
4d6baafa 923extern void c_common_init_options PARAMS ((enum c_language_kind));
5351f1ca 924extern bool c_common_post_options PARAMS ((void));
4d6baafa 925extern const char *c_common_init PARAMS ((const char *));
22703ccc 926extern void c_common_finish PARAMS ((void));
ff45c01e 927extern void c_common_parse_file PARAMS ((int));
8ac61af7 928extern HOST_WIDE_INT c_common_get_alias_set PARAMS ((tree));
d72040f5 929extern bool c_promoting_integer_type_p PARAMS ((tree));
6e090c76 930extern int self_promoting_args_p PARAMS ((tree));
0a7394bc 931extern tree strip_array_types PARAMS ((tree));
d7e7759d 932
ae499cce
MM
933/* These macros provide convenient access to the various _STMT nodes. */
934
935/* Nonzero if this statement should be considered a full-expression,
936 i.e., if temporaries created during this statement should have
937 their destructors run at the end of this statement. (In C, this
938 will always be false, since there are no destructors.) */
939#define STMT_IS_FULL_EXPR_P(NODE) TREE_LANG_FLAG_1 ((NODE))
35b1567d 940
ff7cc307 941/* IF_STMT accessors. These give access to the condition of the if
35b1567d 942 statement, the then block of the if statement, and the else block
684d9f3b 943 of the if statement if it exists. */
d7e7759d
BC
944#define IF_COND(NODE) TREE_OPERAND (IF_STMT_CHECK (NODE), 0)
945#define THEN_CLAUSE(NODE) TREE_OPERAND (IF_STMT_CHECK (NODE), 1)
946#define ELSE_CLAUSE(NODE) TREE_OPERAND (IF_STMT_CHECK (NODE), 2)
35b1567d 947
ff7cc307 948/* WHILE_STMT accessors. These give access to the condition of the
2ba84f36 949 while statement and the body of the while statement, respectively. */
d7e7759d
BC
950#define WHILE_COND(NODE) TREE_OPERAND (WHILE_STMT_CHECK (NODE), 0)
951#define WHILE_BODY(NODE) TREE_OPERAND (WHILE_STMT_CHECK (NODE), 1)
35b1567d
BC
952
953/* DO_STMT accessors. These give access to the condition of the do
2ba84f36 954 statement and the body of the do statement, respectively. */
d7e7759d
BC
955#define DO_COND(NODE) TREE_OPERAND (DO_STMT_CHECK (NODE), 0)
956#define DO_BODY(NODE) TREE_OPERAND (DO_STMT_CHECK (NODE), 1)
35b1567d 957
0d97bf4c
JM
958/* RETURN_STMT accessors. These give the expression associated with a
959 return statement, and whether it should be ignored when expanding
960 (as opposed to inlining). */
d65b1d77 961#define RETURN_STMT_EXPR(NODE) TREE_OPERAND (RETURN_STMT_CHECK (NODE), 0)
35b1567d
BC
962
963/* EXPR_STMT accessor. This gives the expression associated with an
2ba84f36 964 expression statement. */
d7e7759d 965#define EXPR_STMT_EXPR(NODE) TREE_OPERAND (EXPR_STMT_CHECK (NODE), 0)
35b1567d
BC
966
967/* FOR_STMT accessors. These give access to the init statement,
968 condition, update expression, and body of the for statement,
2ba84f36 969 respectively. */
d7e7759d
BC
970#define FOR_INIT_STMT(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 0)
971#define FOR_COND(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 1)
972#define FOR_EXPR(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 2)
973#define FOR_BODY(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 3)
35b1567d 974
6f9fdf4d
JJ
975/* SWITCH_STMT accessors. These give access to the condition, body and
976 original condition type (before any compiler conversions)
2ba84f36 977 of the switch statement, respectively. */
d7e7759d
BC
978#define SWITCH_COND(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 0)
979#define SWITCH_BODY(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 1)
6f9fdf4d 980#define SWITCH_TYPE(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 2)
35b1567d
BC
981
982/* CASE_LABEL accessors. These give access to the high and low values
2ba84f36 983 of a case label, respectively. */
d7e7759d
BC
984#define CASE_LOW(NODE) TREE_OPERAND (CASE_LABEL_CHECK (NODE), 0)
985#define CASE_HIGH(NODE) TREE_OPERAND (CASE_LABEL_CHECK (NODE), 1)
56cb9733 986#define CASE_LABEL_DECL(NODE) TREE_OPERAND (CASE_LABEL_CHECK (NODE), 2)
35b1567d
BC
987
988/* GOTO_STMT accessor. This gives access to the label associated with
2ba84f36 989 a goto statement. */
d7e7759d 990#define GOTO_DESTINATION(NODE) TREE_OPERAND (GOTO_STMT_CHECK (NODE), 0)
db4a8254
JH
991/* True for goto created artifically by the compiler. */
992#define GOTO_FAKE_P(NODE) (TREE_LANG_FLAG_0 (GOTO_STMT_CHECK (NODE)))
35b1567d
BC
993
994/* COMPOUND_STMT accessor. This gives access to the TREE_LIST of
684d9f3b
JM
995 statements associated with a compound statement. The result is the
996 first statement in the list. Succeeding nodes can be accessed by
2ba84f36 997 calling TREE_CHAIN on a node in the list. */
d7e7759d 998#define COMPOUND_BODY(NODE) TREE_OPERAND (COMPOUND_STMT_CHECK (NODE), 0)
35b1567d
BC
999
1000/* ASM_STMT accessors. ASM_STRING returns a STRING_CST for the
1001 instruction (e.g., "mov x, y"). ASM_OUTPUTS, ASM_INPUTS, and
1002 ASM_CLOBBERS represent the outputs, inputs, and clobbers for the
2ba84f36 1003 statement. */
d7e7759d
BC
1004#define ASM_CV_QUAL(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 0)
1005#define ASM_STRING(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 1)
1006#define ASM_OUTPUTS(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 2)
1007#define ASM_INPUTS(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 3)
1008#define ASM_CLOBBERS(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 4)
35b1567d
BC
1009
1010/* DECL_STMT accessor. This gives access to the DECL associated with
2ba84f36 1011 the given declaration statement. */
d7e7759d 1012#define DECL_STMT_DECL(NODE) TREE_OPERAND (DECL_STMT_CHECK (NODE), 0)
35b1567d 1013
2ba84f36 1014/* STMT_EXPR accessor. */
d7e7759d 1015#define STMT_EXPR_STMT(NODE) TREE_OPERAND (STMT_EXPR_CHECK (NODE), 0)
35b1567d 1016
b2123dc0
MM
1017/* Nonzero if this statement-expression does not have an associated scope. */
1018#define STMT_EXPR_NO_SCOPE(NODE) \
1019 TREE_LANG_FLAG_0 (STMT_EXPR_CHECK (NODE))
1020
35b1567d 1021/* LABEL_STMT accessor. This gives access to the label associated with
2ba84f36 1022 the given label statement. */
d7e7759d
BC
1023#define LABEL_STMT_LABEL(NODE) TREE_OPERAND (LABEL_STMT_CHECK (NODE), 0)
1024
8d37a5c0
JM
1025/* COMPOUND_LITERAL_EXPR accessors. */
1026#define COMPOUND_LITERAL_EXPR_DECL_STMT(NODE) \
db3acfa5 1027 TREE_OPERAND (COMPOUND_LITERAL_EXPR_CHECK (NODE), 0)
8d37a5c0
JM
1028#define COMPOUND_LITERAL_EXPR_DECL(NODE) \
1029 DECL_STMT_DECL (COMPOUND_LITERAL_EXPR_DECL_STMT (NODE))
db3acfa5 1030
d7e7759d
BC
1031/* Nonzero if this SCOPE_STMT is for the beginning of a scope. */
1032#define SCOPE_BEGIN_P(NODE) \
21c7361e 1033 (TREE_LANG_FLAG_0 (SCOPE_STMT_CHECK (NODE)))
d7e7759d
BC
1034
1035/* Nonzero if this SCOPE_STMT is for the end of a scope. */
1036#define SCOPE_END_P(NODE) \
1037 (!SCOPE_BEGIN_P (SCOPE_STMT_CHECK (NODE)))
1038
1039/* The BLOCK containing the declarations contained in this scope. */
1040#define SCOPE_STMT_BLOCK(NODE) \
1041 (TREE_OPERAND (SCOPE_STMT_CHECK (NODE), 0))
1042
1043/* Nonzero for a SCOPE_STMT if there were no variables in this scope. */
1044#define SCOPE_NULLIFIED_P(NODE) \
1045 (SCOPE_STMT_BLOCK ((NODE)) == NULL_TREE)
1046
1047/* Nonzero for a SCOPE_STMT which represents a lexical scope, but
ff7cc307 1048 which should be treated as non-existent from the point of view of
d7e7759d
BC
1049 running cleanup actions. */
1050#define SCOPE_NO_CLEANUPS_P(NODE) \
1051 (TREE_LANG_FLAG_3 (SCOPE_STMT_CHECK (NODE)))
1052
1053/* Nonzero for a SCOPE_STMT if this statement is for a partial scope.
1054 For example, in:
21c7361e 1055
d7e7759d
BC
1056 S s;
1057 l:
1058 S s2;
1059 goto l;
1060
1061 there is (implicitly) a new scope after `l', even though there are
1062 no curly braces. In particular, when we hit the goto, we must
1063 destroy s2 and then re-construct it. For the implicit scope,
1064 SCOPE_PARTIAL_P will be set. */
1065#define SCOPE_PARTIAL_P(NODE) \
1066 (TREE_LANG_FLAG_4 (SCOPE_STMT_CHECK (NODE)))
1067
1068/* Nonzero for an ASM_STMT if the assembly statement is volatile. */
1069#define ASM_VOLATILE_P(NODE) \
1070 (ASM_CV_QUAL (ASM_STMT_CHECK (NODE)) != NULL_TREE)
1071
6e4ae815
MM
1072/* The VAR_DECL to clean up in a CLEANUP_STMT. */
1073#define CLEANUP_DECL(NODE) \
1074 TREE_OPERAND (CLEANUP_STMT_CHECK (NODE), 0)
1075/* The cleanup to run in a CLEANUP_STMT. */
1076#define CLEANUP_EXPR(NODE) \
1077 TREE_OPERAND (CLEANUP_STMT_CHECK (NODE), 1)
1078
de097a2d
JM
1079/* The filename we are changing to as of this FILE_STMT. */
1080#define FILE_STMT_FILENAME_NODE(NODE) \
1081 (TREE_OPERAND (FILE_STMT_CHECK (NODE), 0))
1082#define FILE_STMT_FILENAME(NODE) \
1083 (IDENTIFIER_POINTER (FILE_STMT_FILENAME_NODE (NODE)))
1084
d7e7759d
BC
1085/* The line-number at which a statement began. But if
1086 STMT_LINENO_FOR_FN_P does holds, then this macro gives the
1087 line number for the end of the current function instead. */
1088#define STMT_LINENO(NODE) \
1089 (TREE_COMPLEXITY ((NODE)))
1090
1091/* If non-zero, the STMT_LINENO for NODE is the line at which the
1092 function ended. */
21c7361e 1093#define STMT_LINENO_FOR_FN_P(NODE) \
d7e7759d 1094 (TREE_LANG_FLAG_2 ((NODE)))
c7d87c0a 1095
f2c5f623 1096/* Nonzero if we want the new ISO rules for pushing a new scope for `for'
2ba84f36 1097 initialization variables. */
21c7361e 1098#define NEW_FOR_SCOPE_P(NODE) (TREE_LANG_FLAG_0 (NODE))
c7d87c0a 1099
4f78b9a8
RH
1100/* Nonzero if we want to create an ASM_INPUT instead of an
1101 ASM_OPERAND with no operands. */
1102#define ASM_INPUT_P(NODE) (TREE_LANG_FLAG_0 (NODE))
1103
c7d87c0a
BC
1104#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
1105
1106enum c_tree_code {
1107 C_DUMMY_TREE_CODE = LAST_AND_UNUSED_TREE_CODE,
1108#include "c-common.def"
1109 LAST_C_TREE_CODE
1110};
1111
1112#undef DEFTREECODE
1113
f2c5f623 1114extern void genrtl_do_pushlevel PARAMS ((void));
f2c5f623
BC
1115extern void genrtl_goto_stmt PARAMS ((tree));
1116extern void genrtl_expr_stmt PARAMS ((tree));
b0832fe1 1117extern void genrtl_expr_stmt_value PARAMS ((tree, int, int));
f2c5f623
BC
1118extern void genrtl_decl_stmt PARAMS ((tree));
1119extern void genrtl_if_stmt PARAMS ((tree));
1120extern void genrtl_while_stmt PARAMS ((tree));
1121extern void genrtl_do_stmt PARAMS ((tree));
1122extern void genrtl_return_stmt PARAMS ((tree));
1123extern void genrtl_for_stmt PARAMS ((tree));
1124extern void genrtl_break_stmt PARAMS ((void));
1125extern void genrtl_continue_stmt PARAMS ((void));
1126extern void genrtl_scope_stmt PARAMS ((tree));
1127extern void genrtl_switch_stmt PARAMS ((tree));
56cb9733 1128extern void genrtl_case_label PARAMS ((tree));
4cf88f57 1129extern void genrtl_compound_stmt PARAMS ((tree));
f2c5f623
BC
1130extern void genrtl_asm_stmt PARAMS ((tree, tree,
1131 tree, tree,
4f78b9a8 1132 tree, int));
659e5a7a 1133extern void genrtl_decl_cleanup PARAMS ((tree));
f2c5f623 1134extern int stmts_are_full_exprs_p PARAMS ((void));
f2c5f623
BC
1135extern int anon_aggr_type_p PARAMS ((tree));
1136
1137/* For a VAR_DECL that is an anonymous union, these are the various
1138 sub-variables that make up the anonymous union. */
1139#define DECL_ANON_UNION_ELEMS(NODE) DECL_ARGUMENTS ((NODE))
1140
0a7394bc
MM
1141/* In a FIELD_DECL, nonzero if the decl was originally a bitfield. */
1142#define DECL_C_BIT_FIELD(NODE) \
1143 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) == 1)
1144#define SET_DECL_C_BIT_FIELD(NODE) \
1145 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 1)
1146#define CLEAR_DECL_C_BIT_FIELD(NODE) \
1147 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 0)
1148
3645c4dc
RH
1149/* In a VAR_DECL, nonzero if the decl is a register variable with
1150 an explicit asm specification. */
1151#define DECL_C_HARD_REGISTER(DECL) DECL_LANG_FLAG_4 (VAR_DECL_CHECK (DECL))
1152
f2c5f623
BC
1153extern void emit_local_var PARAMS ((tree));
1154extern void make_rtl_for_local_static PARAMS ((tree));
1155extern tree expand_cond PARAMS ((tree));
64094f6a
RH
1156extern tree c_expand_return PARAMS ((tree));
1157extern tree do_case PARAMS ((tree, tree));
0dfdeca6 1158extern tree build_stmt PARAMS ((enum tree_code, ...));
56cb9733 1159extern tree build_case_label PARAMS ((tree, tree, tree));
0dfdeca6
BC
1160extern tree build_continue_stmt PARAMS ((void));
1161extern tree build_break_stmt PARAMS ((void));
1162extern tree build_return_stmt PARAMS ((tree));
f2c5f623
BC
1163
1164#define COMPOUND_STMT_NO_SCOPE(NODE) TREE_LANG_FLAG_0 (NODE)
1165
ade3dc07
JM
1166/* Used by the C++ frontend to mark the block around the member
1167 initializers and cleanups. */
1168#define COMPOUND_STMT_BODY_BLOCK(NODE) TREE_LANG_FLAG_3 (NODE)
1169
f2c5f623 1170extern void c_expand_asm_operands PARAMS ((tree, tree, tree, tree, int, const char *, int));
ab76ca54
MM
1171
1172/* These functions must be defined by each front-end which implements
1173 a variant of the C language. They are used in c-common.c. */
1174
1175extern tree build_unary_op PARAMS ((enum tree_code,
1176 tree, int));
1177extern tree build_binary_op PARAMS ((enum tree_code,
1178 tree, tree, int));
1179extern int lvalue_p PARAMS ((tree));
1180extern tree default_conversion PARAMS ((tree));
1181
1182/* Given two integer or real types, return the type for their sum.
1183 Given two compatible ANSI C types, returns the merged type. */
1184
1185extern tree common_type PARAMS ((tree, tree));
44835fdd
MM
1186
1187extern tree expand_tree_builtin PARAMS ((tree, tree, tree));
0e5921e8 1188
56cb9733
MM
1189extern tree decl_constant_value PARAMS ((tree));
1190
19552aa5
JM
1191/* Handle increment and decrement of boolean types. */
1192extern tree boolean_increment PARAMS ((enum tree_code,
1193 tree));
1194
0e5921e8
ZW
1195/* Hook currently used only by the C++ front end to reset internal state
1196 after entering or leaving a header file. */
1197extern void extract_interface_info PARAMS ((void));
1198
21c7361e 1199extern int case_compare PARAMS ((splay_tree_key,
8f17b5c5
MM
1200 splay_tree_key));
1201
1202extern tree c_add_case_label PARAMS ((splay_tree,
1203 tree, tree,
1204 tree));
1205
c70eaeaf
KG
1206extern tree build_function_call PARAMS ((tree, tree));
1207
15b732b2
NB
1208extern tree finish_label_address_expr PARAMS ((tree));
1209
1210/* Same function prototype, but the C and C++ front ends have
1211 different implementations. Used in c-common.c. */
1212extern tree lookup_label PARAMS ((tree));
1213
c9d892a8
NB
1214extern rtx c_expand_expr PARAMS ((tree, rtx,
1215 enum machine_mode,
1216 int));
8f17b5c5
MM
1217
1218extern int c_safe_from_p PARAMS ((rtx, tree));
8f17b5c5 1219
db3acfa5
JM
1220extern int c_staticp PARAMS ((tree));
1221
48a7a235 1222extern int c_common_unsafe_for_reeval PARAMS ((tree));
3fe30ff6 1223
81a75f0f
NB
1224extern const char *init_c_lex PARAMS ((const char *));
1225
460bd0e3 1226extern void cb_register_builtins PARAMS ((cpp_reader *));
76c3e73e 1227
0e5921e8
ZW
1228/* Information recorded about each file examined during compilation. */
1229
1230struct c_fileinfo
1231{
1232 int time; /* Time spent in the file. */
1233 short interface_only; /* Flags - used only by C++ */
1234 short interface_unknown;
1235};
1236
1237struct c_fileinfo *get_fileinfo PARAMS ((const char *));
1238extern void dump_time_statistics PARAMS ((void));
1239
558ee214
JM
1240extern int c_dump_tree PARAMS ((void *, tree));
1241
88657302 1242#endif /* ! GCC_C_COMMON_H */