| blob | cbbf691db862a1f9fee294763b0a3580b8aecd30 |
1 /* Definitions for C parsing and type checking.
2 Copyright (C) 1987, 1993, 1994, 1995, 1997 Free Software Foundation, Inc.
4 This file is part of GNU CC.
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
21 #ifndef _C_TREE_H
22 #define _C_TREE_H
24 /* Language-dependent contents of an identifier. */
26 /* The limbo_value is used for block level extern declarations, which need
27 to be type checked against subsequent extern declarations. They can't
28 be referenced after they fall out of scope, so they can't be global. */
30 struct lang_identifier
31 {
35 };
37 /* Macros for access to language-specific slots in an identifier. */
38 /* Each of these slots contains a DECL node or null. */
40 /* This represents the value which the identifier has in the
41 file-scope namespace. */
42 #define IDENTIFIER_GLOBAL_VALUE(NODE) \
43 (((struct lang_identifier *) (NODE))->global_value)
44 /* This represents the value which the identifier has in the current
45 scope. */
46 #define IDENTIFIER_LOCAL_VALUE(NODE) \
47 (((struct lang_identifier *) (NODE))->local_value)
48 /* This represents the value which the identifier has as a label in
49 the current label scope. */
50 #define IDENTIFIER_LABEL_VALUE(NODE) \
51 (((struct lang_identifier *) (NODE))->label_value)
52 /* This records the extern decl of this identifier, if it has had one
53 at any point in this compilation. */
54 #define IDENTIFIER_LIMBO_VALUE(NODE) \
55 (((struct lang_identifier *) (NODE))->limbo_value)
56 /* This records the implicit function decl of this identifier, if it
57 has had one at any point in this compilation. */
58 #define IDENTIFIER_IMPLICIT_DECL(NODE) \
59 (((struct lang_identifier *) (NODE))->implicit_decl)
60 /* This is the last function in which we printed an "undefined variable"
61 message for this identifier. Value is a FUNCTION_DECL or null. */
62 #define IDENTIFIER_ERROR_LOCUS(NODE) \
63 (((struct lang_identifier *) (NODE))->error_locus)
65 /* In identifiers, C uses the following fields in a special way:
66 TREE_PUBLIC to record that there was a previous local extern decl.
67 TREE_USED to record that such a decl was used.
68 TREE_ADDRESSABLE to record that the address of such a decl was used. */
70 /* Nonzero means reject anything that ANSI standard C forbids. */
73 /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is read-only. */
74 #define C_TYPE_FIELDS_READONLY(type) TREE_LANG_FLAG_1 (type)
76 /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is volatile. */
77 #define C_TYPE_FIELDS_VOLATILE(type) TREE_LANG_FLAG_2 (type)
79 /* In a RECORD_TYPE or UNION_TYPE or ENUMERAL_TYPE
80 nonzero if the definition of the type has already started. */
81 #define C_TYPE_BEING_DEFINED(type) TYPE_LANG_FLAG_0 (type)
83 /* In a RECORD_TYPE, a sorted array of the fields of the type. */
84 struct lang_type
85 {
88 };
90 /* Mark which labels are explicitly declared.
91 These may be shadowed, and may be referenced from nested functions. */
92 #define C_DECLARED_LABEL_FLAG(label) TREE_LANG_FLAG_1 (label)
94 /* Record whether a type or decl was written with nonconstant size.
95 Note that TYPE_SIZE may have simplified to a constant. */
96 #define C_TYPE_VARIABLE_SIZE(type) TYPE_LANG_FLAG_1 (type)
97 #define C_DECL_VARIABLE_SIZE(type) DECL_LANG_FLAG_0 (type)
99 /* Record in each node resulting from a binary operator
100 what operator was specified for it. */
101 #define C_EXP_ORIGINAL_CODE(exp) ((enum tree_code) TREE_COMPLEXITY (exp))
104 /* Record whether a decl for a function or function pointer has
105 already been mentioned (in a warning) because it was called
106 but didn't have a prototype. */
107 #define C_MISSING_PROTOTYPE_WARNED(decl) DECL_LANG_FLAG_2(decl)
108 #endif
110 /* Store a value in that field. */
111 #define C_SET_EXP_ORIGINAL_CODE(exp, code) \
112 (TREE_COMPLEXITY (exp) = (int) (code))
114 /* Record whether a typedef for type `int' was actually `signed int'. */
115 #define C_TYPEDEF_EXPLICITLY_SIGNED(exp) DECL_LANG_FLAG_1 ((exp))
117 /* Nonzero for a declaration of a built in function if there has been no
118 occasion that would declare the function in ordinary C.
119 Using the function draws a pedantic warning in this case. */
120 #define C_DECL_ANTICIPATED(exp) DECL_LANG_FLAG_3 ((exp))
122 /* For FUNCTION_TYPE, a hidden list of types of arguments. The same as
123 TYPE_ARG_TYPES for functions with prototypes, but created for functions
124 without prototypes. */
125 #define TYPE_ACTUAL_ARG_TYPES(NODE) TYPE_NONCOPIED_PARTS (NODE)
127 /* In a FIELD_DECL, nonzero if the decl was originally a bitfield. */
128 #define DECL_C_BIT_FIELD(NODE) DECL_LANG_FLAG_4 (NODE)
130 /* Nonzero if the type T promotes to itself.
131 ANSI C states explicitly the list of types that promote;
132 in particular, short promotes to int even if they have the same width. */
133 #define C_PROMOTING_INTEGER_TYPE_P(t) \
134 (TREE_CODE ((t)) == INTEGER_TYPE \
135 && (TYPE_MAIN_VARIANT (t) == char_type_node \
136 || TYPE_MAIN_VARIANT (t) == signed_char_type_node \
137 || TYPE_MAIN_VARIANT (t) == unsigned_char_type_node \
138 || TYPE_MAIN_VARIANT (t) == short_integer_type_node \
139 || TYPE_MAIN_VARIANT (t) == short_unsigned_type_node))
141 /* In a VAR_DECL, means the variable is really an iterator. */
142 #define ITERATOR_P(D) (DECL_LANG_FLAG_4(D))
144 /* In a VAR_DECL for an iterator, means we are within
145 an explicit loop over that iterator. */
146 #define ITERATOR_BOUND_P(NODE) ((NODE)->common.readonly_flag)
147 \f
148 /* in c-lang.c and objc-act.c */
157 \f
158 /* in c-aux-info.c */
161 /* in c-common.c */
167 /* Print an error message for invalid operands to arith operation CODE.
168 NOP_EXPR is used as a special case (see truthvalue_conversion). */
171 /* Validate the expression after `case' and apply default promotions. */
173 /* Concatenate a list of STRING_CST nodes into one STRING_CST. */
179 /* Read the rest of the current #-directive line. */
181 /* Subroutine of build_binary_op, used for comparison operations.
182 See if the operands have both been converted from subword integer types
183 and, if so, perhaps change them both back to their original type. */
185 /* Prepare expr to be an argument of a TRUTH_NOT_EXPR,
186 or validate its data type for an `if' or `while' statement or ?..: exp. */
191 /* in c-convert.c */
194 /* in c-decl.c */
195 /* Standard named or nameless data types of the C compiler. */
250 /* Declare a predefined function. Return the declaration. */
252 /* Add qualifiers to a type, in the fashion for C. */
318 /* in c-typeck.c */
321 /* Given two integer or real types, return the type for their sum.
322 Given two compatible ANSI C types, returns the merged type. */
350 tree));
370 /* in c-iterate.c */
378 /* Set to 0 at beginning of a function definition, set to 1 if
379 a return statement that specifies a return value is seen. */
383 /* Set to 0 at beginning of a function definition, set to 1 if
384 a return statement with no argument is seen. */
388 /* Nonzero means the expression being parsed will never be evaluated.
389 This is a count, since unevaluated expressions can nest. */
393 /* Nonzero means `$' can be in an identifier. */
397 /* Nonzero means allow type mismatches in conditional expressions;
398 just make their values `void'. */
402 /* Nonzero means don't recognize the keyword `asm'. */
406 /* Nonzero means environment is hosted (i.e., not freestanding) */
410 /* Nonzero means ignore `#ident' directives. */
414 /* Nonzero means warn about implicit declarations. */
418 /* Nonzero means give string constants the type `const char *'
419 to get extra warnings from them. These warnings will be too numerous
420 to be useful, except in thoroughly ANSIfied programs. */
424 /* Nonzero means warn about sizeof (function) or addition/subtraction
425 of function pointers. */
429 /* Nonzero means warn for all old-style non-prototype function decls. */
433 /* Nonzero means warn about multiple (redundant) decls for the same single
434 variable or function. */
438 /* Nonzero means warn about extern declarations of objects not at
439 file-scope level and about *all* declarations of functions (whether
440 extern or static) not at file-scope level. Note that we exclude
441 implicit function declarations. To get warnings about those, use
442 -Wimplicit. */
446 /* Nonzero means warn about pointer casts that can drop a type qualifier
447 from the pointer target type. */
451 /* Nonzero means warn when casting a function call to a type that does
452 not match the return type (e.g. (float)sqrt() or (anything*)malloc()
453 when there is no previous declaration of sqrt or malloc. */
457 /* Warn about traditional constructs whose meanings changed in ANSI C. */
461 /* Warn about *printf or *scanf format/argument anomalies. */
465 /* Warn about a subscript that has type char. */
469 /* Warn if a type conversion is done that might have confusing results. */
473 /* Warn if main is suspicious. */
477 /* Nonzero means do some things the same way PCC does. */
481 /* Nonzero means to allow single precision math even if we're generally
482 being traditional. */
485 /* Nonzero means warn about suggesting putting in ()'s. */
489 /* Warn if initializer is not completely bracketed. */
493 /* Warn about comparison of signed and unsigned values. */
497 /* Nonzero means this is a function to call to perform comptypes
498 on two record types. */
502 /* Nonzero means we are reading code that came from a system header file. */
506 /* Nonzero enables objc features. */