]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/c-common.h
projects / thirdparty / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
* c-common.c (fix_string_type): Split out of ...
[thirdparty/gcc.git] / gcc / c-common.h
CommitLineData
72040e7e 1/* Definitions for c-common.c.
0b387d23 2 Copyright (C) 1987, 1993, 1994, 1995, 1997, 1998,
d513ec2f 3 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
72040e7e 4
f12b58b3 5This file is part of GCC.
72040e7e 6
f12b58b3 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.
72040e7e 11
f12b58b3 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.
72040e7e 16
17You should have received a copy of the GNU General Public License
f12b58b3 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. */
72040e7e 21
518796ad 22#ifndef GCC_C_COMMON_H
23#define GCC_C_COMMON_H
24
e41f0d80 25#include "splay-tree.h"
0d086e18 26#include "cpplib.h"
e41f0d80 27
5c3247a9 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)
efbe600e 35 ASM_INPUT_P (in ASM_STMT)
7e83d989 36 STMT_EXPR_NO_SCOPE (in STMT_EXPR)
5c3247a9 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)
52616263 41 COMPOUND_STMT_BODY_BLOCK (in COMPOUND_STMT)
5c3247a9 42 4: SCOPE_PARTIAL_P (in SCOPE_STMT)
43*/
44
518796ad 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. */
988fc1d1 50
51enum rid
52{
518796ad 53 /* Modifiers: */
88b5b080 54 /* C, in empirical order of frequency. */
518796ad 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,
62
63 /* C++ */
64 RID_FRIEND, RID_VIRTUAL, RID_EXPLICIT, RID_EXPORT, RID_MUTABLE,
65
66 /* ObjC */
f17c0828 67 RID_IN, RID_OUT, RID_INOUT, RID_BYCOPY, RID_BYREF, RID_ONEWAY,
518796ad 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,
acb6974b 79 RID_PTREXTENT, RID_PTRVALUE, RID_CHOOSE_EXPR, RID_TYPES_COMPATIBLE_P,
518796ad 80
65b7f83f 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
518796ad 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 /* alternate spellings */
97 RID_AND, RID_AND_EQ, RID_NOT, RID_NOT_EQ,
98 RID_OR, RID_OR_EQ, RID_XOR, RID_XOR_EQ,
99 RID_BITAND, RID_BITOR, RID_COMPL,
100
101 /* Objective C */
102 RID_ID, RID_AT_ENCODE, RID_AT_END,
103 RID_AT_CLASS, RID_AT_ALIAS, RID_AT_DEFS,
104 RID_AT_PRIVATE, RID_AT_PROTECTED, RID_AT_PUBLIC,
105 RID_AT_PROTOCOL, RID_AT_SELECTOR, RID_AT_INTERFACE,
106 RID_AT_IMPLEMENTATION,
107
108 RID_MAX,
109
110 RID_FIRST_MODIFIER = RID_STATIC,
f17c0828 111 RID_LAST_MODIFIER = RID_ONEWAY,
112
113 RID_FIRST_AT = RID_AT_ENCODE,
114 RID_LAST_AT = RID_AT_IMPLEMENTATION,
115 RID_FIRST_PQ = RID_IN,
116 RID_LAST_PQ = RID_ONEWAY
988fc1d1 117};
118
f17c0828 119#define OBJC_IS_AT_KEYWORD(rid) \
120 ((unsigned int)(rid) >= (unsigned int)RID_FIRST_AT && \
121 (unsigned int)(rid) <= (unsigned int)RID_LAST_AT)
122
123#define OBJC_IS_PQ_KEYWORD(rid) \
124 ((unsigned int)(rid) >= (unsigned int)RID_FIRST_PQ && \
125 (unsigned int)(rid) <= (unsigned int)RID_LAST_PQ)
126
988fc1d1 127/* The elements of `ridpointers' are identifier nodes for the reserved
128 type names and storage classes. It is indexed by a RID_... value. */
129extern tree *ridpointers;
130
72040e7e 131/* Standard named or nameless data types of the C compiler. */
132
133enum c_tree_index
134{
72040e7e 135 CTI_WCHAR_TYPE,
136 CTI_SIGNED_WCHAR_TYPE,
137 CTI_UNSIGNED_WCHAR_TYPE,
55dbcdfe 138 CTI_WINT_TYPE,
8a6758a4 139 CTI_C_SIZE_TYPE, /* The type used for the size_t typedef and the
140 result type of sizeof (an ordinary type without
141 TYPE_IS_SIZETYPE set, unlike the internal
142 sizetype). */
428a1c21 143 CTI_SIGNED_SIZE_TYPE, /* For format checking only. */
144 CTI_UNSIGNED_PTRDIFF_TYPE, /* For format checking only. */
e3fff6f2 145 CTI_INTMAX_TYPE,
146 CTI_UINTMAX_TYPE,
72040e7e 147 CTI_WIDEST_INT_LIT_TYPE,
148 CTI_WIDEST_UINT_LIT_TYPE,
149
72040e7e 150 CTI_CHAR_ARRAY_TYPE,
151 CTI_WCHAR_ARRAY_TYPE,
152 CTI_INT_ARRAY_TYPE,
153 CTI_STRING_TYPE,
154 CTI_CONST_STRING_TYPE,
155
4f9a1c9b 156 /* Type for boolean expressions (bool in C++, int in C). */
72040e7e 157 CTI_BOOLEAN_TYPE,
158 CTI_BOOLEAN_TRUE,
159 CTI_BOOLEAN_FALSE,
4f9a1c9b 160 /* C99's _Bool type. */
161 CTI_C_BOOL_TYPE,
162 CTI_C_BOOL_TRUE,
163 CTI_C_BOOL_FALSE,
72040e7e 164 CTI_DEFAULT_FUNCTION_TYPE,
72040e7e 165
b87def36 166 CTI_G77_INTEGER_TYPE,
167 CTI_G77_UINTEGER_TYPE,
168 CTI_G77_LONGINT_TYPE,
169 CTI_G77_ULONGINT_TYPE,
170
88b5b080 171 /* These are not types, but we have to look them up all the time. */
65b7f83f 172 CTI_FUNCTION_NAME_DECL,
173 CTI_PRETTY_FUNCTION_NAME_DECL,
174 CTI_C99_FUNCTION_NAME_DECL,
175 CTI_SAVED_FUNCTION_NAME_DECLS,
176
a08e60ae 177 CTI_VOID_ZERO,
178
72040e7e 179 CTI_MAX
180};
181
52136990 182#define C_RID_CODE(id) (((struct c_common_identifier *) (id))->node.rid_code)
0d086e18 183
184/* Identifier part common to the C front ends. Inherits from
185 tree_identifier, despite appearances. */
186struct c_common_identifier
187{
188 struct tree_common common;
189 struct cpp_hashnode node;
0d086e18 190};
191
72040e7e 192#define wchar_type_node c_global_trees[CTI_WCHAR_TYPE]
193#define signed_wchar_type_node c_global_trees[CTI_SIGNED_WCHAR_TYPE]
194#define unsigned_wchar_type_node c_global_trees[CTI_UNSIGNED_WCHAR_TYPE]
55dbcdfe 195#define wint_type_node c_global_trees[CTI_WINT_TYPE]
6659e606 196#define c_size_type_node c_global_trees[CTI_C_SIZE_TYPE]
428a1c21 197#define signed_size_type_node c_global_trees[CTI_SIGNED_SIZE_TYPE]
198#define unsigned_ptrdiff_type_node c_global_trees[CTI_UNSIGNED_PTRDIFF_TYPE]
e3fff6f2 199#define intmax_type_node c_global_trees[CTI_INTMAX_TYPE]
200#define uintmax_type_node c_global_trees[CTI_UINTMAX_TYPE]
72040e7e 201#define widest_integer_literal_type_node c_global_trees[CTI_WIDEST_INT_LIT_TYPE]
202#define widest_unsigned_literal_type_node c_global_trees[CTI_WIDEST_UINT_LIT_TYPE]
203
72040e7e 204#define boolean_type_node c_global_trees[CTI_BOOLEAN_TYPE]
205#define boolean_true_node c_global_trees[CTI_BOOLEAN_TRUE]
206#define boolean_false_node c_global_trees[CTI_BOOLEAN_FALSE]
207
4f9a1c9b 208#define c_bool_type_node c_global_trees[CTI_C_BOOL_TYPE]
209#define c_bool_true_node c_global_trees[CTI_C_BOOL_TRUE]
210#define c_bool_false_node c_global_trees[CTI_C_BOOL_FALSE]
211
72040e7e 212#define char_array_type_node c_global_trees[CTI_CHAR_ARRAY_TYPE]
213#define wchar_array_type_node c_global_trees[CTI_WCHAR_ARRAY_TYPE]
214#define int_array_type_node c_global_trees[CTI_INT_ARRAY_TYPE]
215#define string_type_node c_global_trees[CTI_STRING_TYPE]
216#define const_string_type_node c_global_trees[CTI_CONST_STRING_TYPE]
217
218#define default_function_type c_global_trees[CTI_DEFAULT_FUNCTION_TYPE]
72040e7e 219
b87def36 220/* g77 integer types, which which must be kept in sync with f/com.h */
221#define g77_integer_type_node c_global_trees[CTI_G77_INTEGER_TYPE]
222#define g77_uinteger_type_node c_global_trees[CTI_G77_UINTEGER_TYPE]
223#define g77_longint_type_node c_global_trees[CTI_G77_LONGINT_TYPE]
224#define g77_ulongint_type_node c_global_trees[CTI_G77_ULONGINT_TYPE]
225
65b7f83f 226#define function_name_decl_node c_global_trees[CTI_FUNCTION_NAME_DECL]
227#define pretty_function_name_decl_node c_global_trees[CTI_PRETTY_FUNCTION_NAME_DECL]
228#define c99_function_name_decl_node c_global_trees[CTI_C99_FUNCTION_NAME_DECL]
229#define saved_function_name_decls c_global_trees[CTI_SAVED_FUNCTION_NAME_DECLS]
71d9fc9b 230
a08e60ae 231/* A node for `((void) 0)'. */
232#define void_zero_node c_global_trees[CTI_VOID_ZERO]
233
29d00ba7 234extern tree c_global_trees[CTI_MAX];
235
e41f0d80 236/* Mark which labels are explicitly declared.
237 These may be shadowed, and may be referenced from nested functions. */
238#define C_DECLARED_LABEL_FLAG(label) TREE_LANG_FLAG_1 (label)
239
a96b8d26 240/* Flag strings given by __FUNCTION__ and __PRETTY_FUNCTION__ for a
241 warning if they undergo concatenation. */
242#define C_ARTIFICIAL_STRING_P(NODE) TREE_LANG_FLAG_0 (NODE)
243
29d00ba7 244typedef enum c_language_kind
245{
246 clk_c, /* A dialect of C: K&R C, ANSI/ISO C89, C2000,
88b5b080 247 etc. */
29d00ba7 248 clk_cplusplus, /* ANSI/ISO C++ */
249 clk_objective_c /* Objective C */
5e6015b1 250}
29d00ba7 251c_language_kind;
252
a08e60ae 253/* Information about a statement tree. */
254
255struct stmt_tree_s {
256 /* The last statement added to the tree. */
257 tree x_last_stmt;
258 /* The type of the last expression statement. (This information is
259 needed to implement the statement-expression extension.) */
260 tree x_last_expr_type;
204ca66e 261 /* The last filename we recorded. */
262 const char *x_last_expr_filename;
a08e60ae 263 /* In C++, Non-zero if we should treat statements as full
264 expressions. In particular, this variable is no-zero if at the
265 end of a statement we should destroy any temporaries created
266 during that statement. Similarly, if, at the end of a block, we
267 should destroy any local variables in this block. Normally, this
268 variable is non-zero, since those are the normal semantics of
269 C++.
270
271 However, in order to represent aggregate initialization code as
272 tree structure, we use statement-expressions. The statements
273 within the statement expression should not result in cleanups
5e6015b1 274 being run until the entire enclosing statement is complete.
a08e60ae 275
276 This flag has no effect in C. */
5e6015b1 277 int stmts_are_full_exprs_p;
a08e60ae 278};
279
280typedef struct stmt_tree_s *stmt_tree;
281
282/* Global state pertinent to the current function. Some C dialects
283 extend this structure with additional fields. */
284
285struct language_function {
286 /* While we are parsing the function, this contains information
287 about the statement-tree that we are building. */
288 struct stmt_tree_s x_stmt_tree;
e41f0d80 289 /* The stack of SCOPE_STMTs for the current function. */
290 tree x_scope_stmt_stack;
a08e60ae 291};
292
293/* When building a statement-tree, this is the last statement added to
294 the tree. */
295
296#define last_tree (current_stmt_tree ()->x_last_stmt)
297
298/* The type of the last expression-statement we have seen. */
299
300#define last_expr_type (current_stmt_tree ()->x_last_expr_type)
301
204ca66e 302/* The name of the last file we have seen. */
303
304#define last_expr_filename (current_stmt_tree ()->x_last_expr_filename)
305
e41f0d80 306/* LAST_TREE contains the last statement parsed. These are chained
307 together through the TREE_CHAIN field, but often need to be
308 re-organized since the parse is performed bottom-up. This macro
309 makes LAST_TREE the indicated SUBSTMT of STMT. */
310
311#define RECHAIN_STMTS(stmt, substmt) \
312 do { \
313 substmt = TREE_CHAIN (stmt); \
314 TREE_CHAIN (stmt) = NULL_TREE; \
315 last_tree = stmt; \
316 } while (0)
317
318/* Language-specific hooks. */
319
320extern int (*lang_statement_code_p) PARAMS ((enum tree_code));
321extern void (*lang_expand_stmt) PARAMS ((tree));
322extern void (*lang_expand_decl_stmt) PARAMS ((tree));
323extern void (*lang_expand_function_end) PARAMS ((void));
20325f61 324extern tree gettags PARAMS ((void));
e41f0d80 325
5e6015b1 326/* Callback that determines if it's ok for a function to have no
327 noreturn attribute. */
328extern int (*lang_missing_noreturn_ok_p) PARAMS ((tree));
329
b78207a0 330extern int yyparse PARAMS ((void));
a08e60ae 331extern stmt_tree current_stmt_tree PARAMS ((void));
e41f0d80 332extern tree *current_scope_stmt_stack PARAMS ((void));
a08e60ae 333extern void begin_stmt_tree PARAMS ((tree *));
225ec6aa 334extern tree add_stmt PARAMS ((tree));
e41f0d80 335extern void add_decl_stmt PARAMS ((tree));
336extern tree add_scope_stmt PARAMS ((int, int));
a08e60ae 337extern void finish_stmt_tree PARAMS ((tree *));
338
339extern int statement_code_p PARAMS ((enum tree_code));
a08e60ae 340extern tree walk_stmt_tree PARAMS ((tree *,
341 walk_tree_fn,
342 void *));
41fb2c18 343extern void prep_stmt PARAMS ((tree));
41fb2c18 344extern void expand_stmt PARAMS ((tree));
e41f0d80 345extern void mark_stmt_tree PARAMS ((void *));
5f3cead1 346extern void shadow_warning PARAMS ((const char *,
347 tree, tree));
e87da6ae 348extern tree c_begin_if_stmt PARAMS ((void));
349extern tree c_begin_while_stmt PARAMS ((void));
350extern void c_finish_while_stmt_cond PARAMS ((tree, tree));
351
a08e60ae 352
e41f0d80 353/* Extra information associated with a DECL. Other C dialects extend
354 this structure in various ways. The C front-end only uses this
355 structure for FUNCTION_DECLs; all other DECLs have a NULL
356 DECL_LANG_SPECIFIC field. */
225ec6aa 357
e41f0d80 358struct c_lang_decl {
3b288406 359 unsigned declared_inline : 1;
e41f0d80 360};
361
1f1fa73c 362/* In a FUNCTION_DECL for which DECL_BUILT_IN does not hold, this is
363 the approximate number of statements in this function. There is
364 no need for this number to be exact; it is only used in various
365 heuristics regarding optimization. */
366#define DECL_NUM_STMTS(NODE) \
367 (FUNCTION_DECL_CHECK (NODE)->decl.u1.i)
e41f0d80 368
369extern void c_mark_lang_decl PARAMS ((struct c_lang_decl *));
225ec6aa 370
29d00ba7 371/* The variant of the C language being processed. Each C language
372 front-end defines this variable. */
373
374extern c_language_kind c_language;
375
ffd56b21 376/* Nonzero if prepreprocessing only. */
377extern int flag_preprocess_only;
378
29d00ba7 379/* Nonzero means give string constants the type `const char *', rather
380 than `char *'. */
381
382extern int flag_const_strings;
383
174fcc61 384/* Nonzero means give `double' the same size as `float'. */
385
386extern int flag_short_double;
387
388/* Nonzero means give `wchar_t' the same size as `short'. */
389
390extern int flag_short_wchar;
391
88b5b080 392/* Warn about *printf or *scanf format/argument anomalies. */
29d00ba7 393
394extern int warn_format;
395
27ac9bd8 396/* Warn about Y2K problems with strftime formats. */
397
398extern int warn_format_y2k;
399
400/* Warn about excess arguments to formats. */
401
402extern int warn_format_extra_args;
403
404/* Warn about non-literal format arguments. */
405
406extern int warn_format_nonliteral;
407
0a1f96f5 408/* Warn about possible security problems with calls to format functions. */
409
410extern int warn_format_security;
411
481c6ce6 412/* Warn about possible violations of sequence point rules. */
413
414extern int warn_sequence_point;
415
e37414d8 416/* Warn about functions which might be candidates for format attributes. */
417
418extern int warn_missing_format_attribute;
419
902b4e01 420/* Nonzero means warn about sizeof (function) or addition/subtraction
421 of function pointers. */
422
423extern int warn_pointer_arith;
424
bd08a4e6 425/* Nonzero means to warn about compile-time division by zero. */
426extern int warn_div_by_zero;
427
ec35ee92 428/* Nonzero means enable C89 Amendment 1 features. */
49bc3768 429
430extern int flag_isoc94;
431
29d00ba7 432/* Nonzero means use the ISO C99 dialect of C. */
433
434extern int flag_isoc99;
435
9bee1c90 436/* Nonzero means environment is hosted (i.e., not freestanding) */
437
438extern int flag_hosted;
439
440/* Nonzero means add default format_arg attributes for functions not
441 in ISO C. */
442
443extern int flag_noniso_default_format_attributes;
444
0270ae90 445/* Nonzero means don't recognize any builtin functions. */
446
447extern int flag_no_builtin;
448
449/* Nonzero means don't recognize the non-ANSI builtin functions.
450 -ansi sets this. */
451
452extern int flag_no_nonansi_builtin;
453
29d00ba7 454/* Nonzero means warn about suggesting putting in ()'s. */
455
456extern int warn_parentheses;
457
458/* Warn if a type conversion is done that might have confusing results. */
459
460extern int warn_conversion;
461
3f78a936 462/* Nonzero means warn about usage of long long,
463 when `-pedantic' and not C99. */
464
465extern int warn_long_long;
466
29d00ba7 467/* C types are partitioned into three subsets: object, function, and
468 incomplete types. */
469#define C_TYPE_OBJECT_P(type) \
470 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type))
471
472#define C_TYPE_INCOMPLETE_P(type) \
473 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type) == 0)
474
475#define C_TYPE_FUNCTION_P(type) \
476 (TREE_CODE (type) == FUNCTION_TYPE)
477
478/* For convenience we define a single macro to identify the class of
479 object or incomplete types. */
480#define C_TYPE_OBJECT_OR_INCOMPLETE_P(type) \
481 (!C_TYPE_FUNCTION_P (type))
482
483/* Record in each node resulting from a binary operator
484 what operator was specified for it. */
485#define C_EXP_ORIGINAL_CODE(exp) ((enum tree_code) TREE_COMPLEXITY (exp))
486
f8e93a2e 487/* Attribute table common to the C front ends. */
488extern const struct attribute_spec c_common_attribute_table[];
489extern const struct attribute_spec c_common_format_attribute_table[];
490
65b7f83f 491/* Pointer to function to lazily generate the VAR_DECL for __FUNCTION__ etc.
9e5a737d 492 ID is the identifier to use, NAME is the string.
493 TYPE_DEP indicates whether it depends on type of the function or not
494 (i.e. __PRETTY_FUNCTION__). */
495
65b7f83f 496extern tree (*make_fname_decl) PARAMS ((tree, int));
9e5a737d 497
6bf5ed8d 498extern tree identifier_global_value PARAMS ((tree));
174fcc61 499extern void record_builtin_type PARAMS ((enum rid,
500 const char *, tree));
501extern tree build_void_list_node PARAMS ((void));
65b7f83f 502extern void start_fname_decls PARAMS ((void));
503extern void finish_fname_decls PARAMS ((void));
504extern const char *fname_as_string PARAMS ((int));
505extern tree fname_decl PARAMS ((unsigned, tree));
506extern const char *fname_string PARAMS ((unsigned));
9581e01c 507
e9a0f285 508extern void check_function_format PARAMS ((int *, tree, tree));
27ac9bd8 509extern void set_Wformat PARAMS ((int));
e3c541f0 510extern tree handle_format_attribute PARAMS ((tree *, tree, tree,
511 int, bool *));
512extern tree handle_format_arg_attribute PARAMS ((tree *, tree, tree,
513 int, bool *));
7d3b509a 514extern void c_common_insert_default_attributes PARAMS ((tree));
771d21fa 515extern tree c_common_type_for_mode PARAMS ((enum machine_mode,
516 int));
517extern tree c_common_type_for_size PARAMS ((unsigned int, int));
4070745f 518extern tree c_common_unsigned_type PARAMS ((tree));
519extern tree c_common_signed_type PARAMS ((tree));
520extern tree c_common_signed_or_unsigned_type PARAMS ((int, tree));
aff9e656 521extern tree c_common_truthvalue_conversion PARAMS ((tree));
6a9a24a5 522extern void c_apply_type_quals_to_decl PARAMS ((int, tree));
902b4e01 523extern tree c_sizeof PARAMS ((tree));
524extern tree c_alignof PARAMS ((tree));
525extern tree c_alignof_expr PARAMS ((tree));
72040e7e 526/* Print an error message for invalid operands to arith operation CODE.
527 NOP_EXPR is used as a special case (see truthvalue_conversion). */
6a9a24a5 528extern void binary_op_error PARAMS ((enum tree_code));
7cad36f4 529extern tree c_expand_expr_stmt PARAMS ((tree));
e87da6ae 530extern void c_expand_start_cond PARAMS ((tree, int, tree));
e41f0d80 531extern void c_finish_then PARAMS ((void));
6a9a24a5 532extern void c_expand_start_else PARAMS ((void));
070236f0 533extern void c_finish_else PARAMS ((void));
6a9a24a5 534extern void c_expand_end_cond PARAMS ((void));
72040e7e 535/* Validate the expression after `case' and apply default promotions. */
6a9a24a5 536extern tree check_case_value PARAMS ((tree));
070236f0 537extern tree fix_string_type PARAMS ((tree));
538struct varray_head_tag;
539extern tree combine_strings PARAMS ((struct varray_head_tag *));
6a9a24a5 540extern void constant_expression_warning PARAMS ((tree));
541extern tree convert_and_check PARAMS ((tree, tree));
542extern void overflow_warning PARAMS ((tree));
543extern void unsigned_conversion_warning PARAMS ((tree, tree));
29d00ba7 544
72040e7e 545/* Read the rest of the current #-directive line. */
6a9a24a5 546extern char *get_directive_line PARAMS ((void));
72040e7e 547#define GET_DIRECTIVE_LINE() get_directive_line ()
72040e7e 548
549/* Subroutine of build_binary_op, used for comparison operations.
550 See if the operands have both been converted from subword integer types
551 and, if so, perhaps change them both back to their original type. */
6a9a24a5 552extern tree shorten_compare PARAMS ((tree *, tree *, tree *, enum tree_code *));
72040e7e 553
1c26100f 554extern tree pointer_int_sum PARAMS ((enum tree_code, tree, tree));
83e32a86 555extern unsigned int min_precision PARAMS ((tree, int));
556
557/* Add qualifiers to a type, in the fashion for C. */
558extern tree c_build_qualified_type PARAMS ((tree, int));
559
72040e7e 560/* Build tree nodes and builtin functions common to both C and C++ language
561 frontends. */
0270ae90 562extern void c_common_nodes_and_builtins PARAMS ((void));
a66c9326 563
dd878098 564extern void disable_builtin_function PARAMS ((const char *));
565
6a9a24a5 566extern tree build_va_arg PARAMS ((tree, tree));
43f74bc4 567
435fb09b 568extern void c_common_init_options PARAMS ((enum c_language_kind));
569extern void c_common_post_options PARAMS ((void));
570extern const char *c_common_init PARAMS ((const char *));
cdc9fa3e 571extern void c_common_finish PARAMS ((void));
1c542e4c 572extern void c_common_parse_file PARAMS ((int));
2a631e19 573extern HOST_WIDE_INT c_common_get_alias_set PARAMS ((tree));
d7aeef06 574extern bool c_promoting_integer_type_p PARAMS ((tree));
6a9a24a5 575extern int self_promoting_args_p PARAMS ((tree));
c25509f2 576extern tree strip_array_types PARAMS ((tree));
92915e1c 577
a08e60ae 578/* These macros provide convenient access to the various _STMT nodes. */
579
580/* Nonzero if this statement should be considered a full-expression,
581 i.e., if temporaries created during this statement should have
582 their destructors run at the end of this statement. (In C, this
583 will always be false, since there are no destructors.) */
584#define STMT_IS_FULL_EXPR_P(NODE) TREE_LANG_FLAG_1 ((NODE))
8036397f 585
424da949 586/* IF_STMT accessors. These give access to the condition of the if
8036397f 587 statement, the then block of the if statement, and the else block
734c98be 588 of the if statement if it exists. */
92915e1c 589#define IF_COND(NODE) TREE_OPERAND (IF_STMT_CHECK (NODE), 0)
590#define THEN_CLAUSE(NODE) TREE_OPERAND (IF_STMT_CHECK (NODE), 1)
591#define ELSE_CLAUSE(NODE) TREE_OPERAND (IF_STMT_CHECK (NODE), 2)
8036397f 592
424da949 593/* WHILE_STMT accessors. These give access to the condition of the
88b5b080 594 while statement and the body of the while statement, respectively. */
92915e1c 595#define WHILE_COND(NODE) TREE_OPERAND (WHILE_STMT_CHECK (NODE), 0)
596#define WHILE_BODY(NODE) TREE_OPERAND (WHILE_STMT_CHECK (NODE), 1)
8036397f 597
598/* DO_STMT accessors. These give access to the condition of the do
88b5b080 599 statement and the body of the do statement, respectively. */
92915e1c 600#define DO_COND(NODE) TREE_OPERAND (DO_STMT_CHECK (NODE), 0)
601#define DO_BODY(NODE) TREE_OPERAND (DO_STMT_CHECK (NODE), 1)
8036397f 602
80ac742d 603/* RETURN_STMT accessors. These give the expression associated with a
604 return statement, and whether it should be ignored when expanding
605 (as opposed to inlining). */
92915e1c 606#define RETURN_EXPR(NODE) TREE_OPERAND (RETURN_STMT_CHECK (NODE), 0)
8036397f 607
608/* EXPR_STMT accessor. This gives the expression associated with an
88b5b080 609 expression statement. */
92915e1c 610#define EXPR_STMT_EXPR(NODE) TREE_OPERAND (EXPR_STMT_CHECK (NODE), 0)
8036397f 611
612/* FOR_STMT accessors. These give access to the init statement,
613 condition, update expression, and body of the for statement,
88b5b080 614 respectively. */
92915e1c 615#define FOR_INIT_STMT(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 0)
616#define FOR_COND(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 1)
617#define FOR_EXPR(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 2)
618#define FOR_BODY(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 3)
8036397f 619
79dc3b8e 620/* SWITCH_STMT accessors. These give access to the condition, body and
621 original condition type (before any compiler conversions)
88b5b080 622 of the switch statement, respectively. */
92915e1c 623#define SWITCH_COND(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 0)
624#define SWITCH_BODY(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 1)
79dc3b8e 625#define SWITCH_TYPE(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 2)
8036397f 626
627/* CASE_LABEL accessors. These give access to the high and low values
88b5b080 628 of a case label, respectively. */
92915e1c 629#define CASE_LOW(NODE) TREE_OPERAND (CASE_LABEL_CHECK (NODE), 0)
630#define CASE_HIGH(NODE) TREE_OPERAND (CASE_LABEL_CHECK (NODE), 1)
225ec6aa 631#define CASE_LABEL_DECL(NODE) TREE_OPERAND (CASE_LABEL_CHECK (NODE), 2)
8036397f 632
633/* GOTO_STMT accessor. This gives access to the label associated with
88b5b080 634 a goto statement. */
92915e1c 635#define GOTO_DESTINATION(NODE) TREE_OPERAND (GOTO_STMT_CHECK (NODE), 0)
0ddab289 636/* True for goto created artifically by the compiler. */
637#define GOTO_FAKE_P(NODE) (TREE_LANG_FLAG_0 (GOTO_STMT_CHECK (NODE)))
8036397f 638
639/* COMPOUND_STMT accessor. This gives access to the TREE_LIST of
734c98be 640 statements associated with a compound statement. The result is the
641 first statement in the list. Succeeding nodes can be accessed by
88b5b080 642 calling TREE_CHAIN on a node in the list. */
92915e1c 643#define COMPOUND_BODY(NODE) TREE_OPERAND (COMPOUND_STMT_CHECK (NODE), 0)
8036397f 644
645/* ASM_STMT accessors. ASM_STRING returns a STRING_CST for the
646 instruction (e.g., "mov x, y"). ASM_OUTPUTS, ASM_INPUTS, and
647 ASM_CLOBBERS represent the outputs, inputs, and clobbers for the
88b5b080 648 statement. */
92915e1c 649#define ASM_CV_QUAL(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 0)
650#define ASM_STRING(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 1)
651#define ASM_OUTPUTS(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 2)
652#define ASM_INPUTS(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 3)
653#define ASM_CLOBBERS(NODE) TREE_OPERAND (ASM_STMT_CHECK (NODE), 4)
8036397f 654
655/* DECL_STMT accessor. This gives access to the DECL associated with
88b5b080 656 the given declaration statement. */
92915e1c 657#define DECL_STMT_DECL(NODE) TREE_OPERAND (DECL_STMT_CHECK (NODE), 0)
8036397f 658
88b5b080 659/* STMT_EXPR accessor. */
92915e1c 660#define STMT_EXPR_STMT(NODE) TREE_OPERAND (STMT_EXPR_CHECK (NODE), 0)
8036397f 661
7e83d989 662/* Nonzero if this statement-expression does not have an associated scope. */
663#define STMT_EXPR_NO_SCOPE(NODE) \
664 TREE_LANG_FLAG_0 (STMT_EXPR_CHECK (NODE))
665
8036397f 666/* LABEL_STMT accessor. This gives access to the label associated with
88b5b080 667 the given label statement. */
92915e1c 668#define LABEL_STMT_LABEL(NODE) TREE_OPERAND (LABEL_STMT_CHECK (NODE), 0)
669
fccd796a 670/* COMPOUND_LITERAL_EXPR accessors. */
671#define COMPOUND_LITERAL_EXPR_DECL_STMT(NODE) \
ec11e38e 672 TREE_OPERAND (COMPOUND_LITERAL_EXPR_CHECK (NODE), 0)
fccd796a 673#define COMPOUND_LITERAL_EXPR_DECL(NODE) \
674 DECL_STMT_DECL (COMPOUND_LITERAL_EXPR_DECL_STMT (NODE))
ec11e38e 675
92915e1c 676/* Nonzero if this SCOPE_STMT is for the beginning of a scope. */
677#define SCOPE_BEGIN_P(NODE) \
5e6015b1 678 (TREE_LANG_FLAG_0 (SCOPE_STMT_CHECK (NODE)))
92915e1c 679
680/* Nonzero if this SCOPE_STMT is for the end of a scope. */
681#define SCOPE_END_P(NODE) \
682 (!SCOPE_BEGIN_P (SCOPE_STMT_CHECK (NODE)))
683
684/* The BLOCK containing the declarations contained in this scope. */
685#define SCOPE_STMT_BLOCK(NODE) \
686 (TREE_OPERAND (SCOPE_STMT_CHECK (NODE), 0))
687
688/* Nonzero for a SCOPE_STMT if there were no variables in this scope. */
689#define SCOPE_NULLIFIED_P(NODE) \
690 (SCOPE_STMT_BLOCK ((NODE)) == NULL_TREE)
691
692/* Nonzero for a SCOPE_STMT which represents a lexical scope, but
424da949 693 which should be treated as non-existent from the point of view of
92915e1c 694 running cleanup actions. */
695#define SCOPE_NO_CLEANUPS_P(NODE) \
696 (TREE_LANG_FLAG_3 (SCOPE_STMT_CHECK (NODE)))
697
698/* Nonzero for a SCOPE_STMT if this statement is for a partial scope.
699 For example, in:
5e6015b1 700
92915e1c 701 S s;
702 l:
703 S s2;
704 goto l;
705
706 there is (implicitly) a new scope after `l', even though there are
707 no curly braces. In particular, when we hit the goto, we must
708 destroy s2 and then re-construct it. For the implicit scope,
709 SCOPE_PARTIAL_P will be set. */
710#define SCOPE_PARTIAL_P(NODE) \
711 (TREE_LANG_FLAG_4 (SCOPE_STMT_CHECK (NODE)))
712
713/* Nonzero for an ASM_STMT if the assembly statement is volatile. */
714#define ASM_VOLATILE_P(NODE) \
715 (ASM_CV_QUAL (ASM_STMT_CHECK (NODE)) != NULL_TREE)
716
7b6facbf 717/* The VAR_DECL to clean up in a CLEANUP_STMT. */
718#define CLEANUP_DECL(NODE) \
719 TREE_OPERAND (CLEANUP_STMT_CHECK (NODE), 0)
720/* The cleanup to run in a CLEANUP_STMT. */
721#define CLEANUP_EXPR(NODE) \
722 TREE_OPERAND (CLEANUP_STMT_CHECK (NODE), 1)
723
204ca66e 724/* The filename we are changing to as of this FILE_STMT. */
725#define FILE_STMT_FILENAME_NODE(NODE) \
726 (TREE_OPERAND (FILE_STMT_CHECK (NODE), 0))
727#define FILE_STMT_FILENAME(NODE) \
728 (IDENTIFIER_POINTER (FILE_STMT_FILENAME_NODE (NODE)))
729
92915e1c 730/* The line-number at which a statement began. But if
731 STMT_LINENO_FOR_FN_P does holds, then this macro gives the
732 line number for the end of the current function instead. */
733#define STMT_LINENO(NODE) \
734 (TREE_COMPLEXITY ((NODE)))
735
736/* If non-zero, the STMT_LINENO for NODE is the line at which the
737 function ended. */
5e6015b1 738#define STMT_LINENO_FOR_FN_P(NODE) \
92915e1c 739 (TREE_LANG_FLAG_2 ((NODE)))
51444f0d 740
5c3247a9 741/* Nonzero if we want the new ISO rules for pushing a new scope for `for'
88b5b080 742 initialization variables. */
5e6015b1 743#define NEW_FOR_SCOPE_P(NODE) (TREE_LANG_FLAG_0 (NODE))
51444f0d 744
efbe600e 745/* Nonzero if we want to create an ASM_INPUT instead of an
746 ASM_OPERAND with no operands. */
747#define ASM_INPUT_P(NODE) (TREE_LANG_FLAG_0 (NODE))
748
51444f0d 749#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
750
751enum c_tree_code {
752 C_DUMMY_TREE_CODE = LAST_AND_UNUSED_TREE_CODE,
753#include "c-common.def"
754 LAST_C_TREE_CODE
755};
756
757#undef DEFTREECODE
758
5c3247a9 759extern void genrtl_do_pushlevel PARAMS ((void));
5c3247a9 760extern void genrtl_goto_stmt PARAMS ((tree));
761extern void genrtl_expr_stmt PARAMS ((tree));
4e3da239 762extern void genrtl_expr_stmt_value PARAMS ((tree, int, int));
5c3247a9 763extern void genrtl_decl_stmt PARAMS ((tree));
764extern void genrtl_if_stmt PARAMS ((tree));
765extern void genrtl_while_stmt PARAMS ((tree));
766extern void genrtl_do_stmt PARAMS ((tree));
767extern void genrtl_return_stmt PARAMS ((tree));
768extern void genrtl_for_stmt PARAMS ((tree));
769extern void genrtl_break_stmt PARAMS ((void));
770extern void genrtl_continue_stmt PARAMS ((void));
771extern void genrtl_scope_stmt PARAMS ((tree));
772extern void genrtl_switch_stmt PARAMS ((tree));
225ec6aa 773extern void genrtl_case_label PARAMS ((tree));
752e275b 774extern void genrtl_compound_stmt PARAMS ((tree));
5c3247a9 775extern void genrtl_asm_stmt PARAMS ((tree, tree,
776 tree, tree,
efbe600e 777 tree, int));
a9bc793b 778extern void genrtl_decl_cleanup PARAMS ((tree));
5c3247a9 779extern int stmts_are_full_exprs_p PARAMS ((void));
5c3247a9 780extern int anon_aggr_type_p PARAMS ((tree));
781
782/* For a VAR_DECL that is an anonymous union, these are the various
783 sub-variables that make up the anonymous union. */
784#define DECL_ANON_UNION_ELEMS(NODE) DECL_ARGUMENTS ((NODE))
785
c25509f2 786/* In a FIELD_DECL, nonzero if the decl was originally a bitfield. */
787#define DECL_C_BIT_FIELD(NODE) \
788 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) == 1)
789#define SET_DECL_C_BIT_FIELD(NODE) \
790 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 1)
791#define CLEAR_DECL_C_BIT_FIELD(NODE) \
792 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 0)
793
ace65efd 794/* In a VAR_DECL, nonzero if the decl is a register variable with
795 an explicit asm specification. */
796#define DECL_C_HARD_REGISTER(DECL) DECL_LANG_FLAG_4 (VAR_DECL_CHECK (DECL))
797
5c3247a9 798extern void emit_local_var PARAMS ((tree));
799extern void make_rtl_for_local_static PARAMS ((tree));
800extern tree expand_cond PARAMS ((tree));
7cad36f4 801extern tree c_expand_return PARAMS ((tree));
802extern tree do_case PARAMS ((tree, tree));
389acd0a 803extern tree build_stmt PARAMS ((enum tree_code, ...));
225ec6aa 804extern tree build_case_label PARAMS ((tree, tree, tree));
389acd0a 805extern tree build_continue_stmt PARAMS ((void));
806extern tree build_break_stmt PARAMS ((void));
807extern tree build_return_stmt PARAMS ((tree));
5c3247a9 808
809#define COMPOUND_STMT_NO_SCOPE(NODE) TREE_LANG_FLAG_0 (NODE)
810
52616263 811/* Used by the C++ frontend to mark the block around the member
812 initializers and cleanups. */
813#define COMPOUND_STMT_BODY_BLOCK(NODE) TREE_LANG_FLAG_3 (NODE)
814
5c3247a9 815extern void c_expand_asm_operands PARAMS ((tree, tree, tree, tree, int, const char *, int));
29d00ba7 816
817/* These functions must be defined by each front-end which implements
818 a variant of the C language. They are used in c-common.c. */
819
820extern tree build_unary_op PARAMS ((enum tree_code,
821 tree, int));
822extern tree build_binary_op PARAMS ((enum tree_code,
823 tree, tree, int));
824extern int lvalue_p PARAMS ((tree));
825extern tree default_conversion PARAMS ((tree));
826
827/* Given two integer or real types, return the type for their sum.
828 Given two compatible ANSI C types, returns the merged type. */
829
830extern tree common_type PARAMS ((tree, tree));
351c3a61 831
832extern tree expand_tree_builtin PARAMS ((tree, tree, tree));
518796ad 833
225ec6aa 834extern tree decl_constant_value PARAMS ((tree));
835
4f9a1c9b 836/* Handle increment and decrement of boolean types. */
837extern tree boolean_increment PARAMS ((enum tree_code,
838 tree));
839
518796ad 840/* Hook currently used only by the C++ front end to reset internal state
841 after entering or leaving a header file. */
842extern void extract_interface_info PARAMS ((void));
843
e41f0d80 844extern void mark_c_language_function PARAMS ((struct language_function *));
845
5e6015b1 846extern int case_compare PARAMS ((splay_tree_key,
e41f0d80 847 splay_tree_key));
848
849extern tree c_add_case_label PARAMS ((splay_tree,
850 tree, tree,
851 tree));
852
edbbe5ca 853extern tree build_function_call PARAMS ((tree, tree));
854
d0a47c8d 855extern tree finish_label_address_expr PARAMS ((tree));
856
857/* Same function prototype, but the C and C++ front ends have
858 different implementations. Used in c-common.c. */
859extern tree lookup_label PARAMS ((tree));
860
b467ecc1 861extern rtx c_expand_expr PARAMS ((tree, rtx,
862 enum machine_mode,
863 int));
e41f0d80 864
865extern int c_safe_from_p PARAMS ((rtx, tree));
e41f0d80 866
ec11e38e 867extern int c_staticp PARAMS ((tree));
868
ee23fd7b 869extern int c_common_unsafe_for_reeval PARAMS ((tree));
c63e27d8 870
518796ad 871/* Information recorded about each file examined during compilation. */
872
873struct c_fileinfo
874{
875 int time; /* Time spent in the file. */
876 short interface_only; /* Flags - used only by C++ */
877 short interface_unknown;
878};
879
880struct c_fileinfo *get_fileinfo PARAMS ((const char *));
881extern void dump_time_statistics PARAMS ((void));
882
2a281353 883#endif /* ! GCC_C_COMMON_H */
Mirror of https://gcc.gnu.org/git/gcc.git