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