c-tree.h revision 107604 
169408Sache/* Definitions for C parsing and type checking.
269408Sache   Copyright (C) 1987, 1993, 1994, 1995, 1997, 1998,
369408Sache   1999, 2000, 2001, 2002 Free Software Foundation, Inc.
469408Sache
569408SacheThis file is part of GCC.
669408Sache
769408SacheGCC is free software; you can redistribute it and/or modify it under
869408Sachethe terms of the GNU General Public License as published by the Free
969408SacheSoftware Foundation; either version 2, or (at your option) any later
1069408Sacheversion.
1169408Sache
1269408SacheGCC is distributed in the hope that it will be useful, but WITHOUT ANY
1369408SacheWARRANTY; without even the implied warranty of MERCHANTABILITY or
1469408SacheFITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
1569408Sachefor more details.
1669408Sache
1769408SacheYou should have received a copy of the GNU General Public License
1869408Sachealong with GCC; see the file COPYING.  If not, write to the Free
1969408SacheSoftware Foundation, 59 Temple Place - Suite 330, Boston, MA
2069408Sache02111-1307, USA.  */
2169408Sache
2269408Sache#ifndef GCC_C_TREE_H
2369408Sache#define GCC_C_TREE_H
2469408Sache
2569408Sache#include "c-common.h"
2669408Sache
2769408Sache/* Language-dependent contents of an identifier.  */
2869408Sache
2969408Sache/* The limbo_value is used for block level extern declarations, which need
3069408Sache   to be type checked against subsequent extern declarations.  They can't
3169408Sache   be referenced after they fall out of scope, so they can't be global.
3269408Sache
3369408Sache   The rid_code field is used for keywords.  It is in all
3469408Sache   lang_identifier nodes, because some keywords are only special in a
3569408Sache   particular context.  */
3669408Sache
3769408Sachestruct lang_identifier
3869408Sache{
3969408Sache  struct c_common_identifier ignore;
4069408Sache  tree global_value, local_value, label_value, implicit_decl;
4169408Sache  tree error_locus, limbo_value;
4269408Sache};
4369408Sache
4469408Sache/* Language-specific declaration information.  */
4569408Sache
4669408Sachestruct lang_decl
47167465Smp{
4869408Sache  struct c_lang_decl base;
4969408Sache  /* The return types and parameter types may have variable size.
5069408Sache     This is a list of any SAVE_EXPRs that need to be evaluated to
5169408Sache     compute those sizes.  */
5269408Sache  tree pending_sizes;
5369408Sache};
5469408Sache
5569408Sache/* Macros for access to language-specific slots in an identifier.  */
5669408Sache/* Each of these slots contains a DECL node or null.  */
5769408Sache
5869408Sache/* This represents the value which the identifier has in the
5969408Sache   file-scope namespace.  */
6069408Sache#define IDENTIFIER_GLOBAL_VALUE(NODE)	\
6169408Sache  (((struct lang_identifier *) (NODE))->global_value)
6269408Sache/* This represents the value which the identifier has in the current
6369408Sache   scope.  */
6469408Sache#define IDENTIFIER_LOCAL_VALUE(NODE)	\
6569408Sache  (((struct lang_identifier *) (NODE))->local_value)
6669408Sache/* This represents the value which the identifier has as a label in
6769408Sache   the current label scope.  */
6869408Sache#define IDENTIFIER_LABEL_VALUE(NODE)	\
6969408Sache  (((struct lang_identifier *) (NODE))->label_value)
7069408Sache/* This records the extern decl of this identifier, if it has had one
7169408Sache   at any point in this compilation.  */
7269408Sache#define IDENTIFIER_LIMBO_VALUE(NODE)	\
7369408Sache  (((struct lang_identifier *) (NODE))->limbo_value)
7469408Sache/* This records the implicit function decl of this identifier, if it
7569408Sache   has had one at any point in this compilation.  */
7669408Sache#define IDENTIFIER_IMPLICIT_DECL(NODE)	\
7769408Sache  (((struct lang_identifier *) (NODE))->implicit_decl)
7869408Sache/* This is the last function in which we printed an "undefined variable"
7969408Sache   message for this identifier.  Value is a FUNCTION_DECL or null.  */
8069408Sache#define IDENTIFIER_ERROR_LOCUS(NODE)	\
8169408Sache  (((struct lang_identifier *) (NODE))->error_locus)
8269408Sache
8383098Smp/* In identifiers, C uses the following fields in a special way:
8469408Sache   TREE_PUBLIC        to record that there was a previous local extern decl.
8569408Sache   TREE_USED          to record that such a decl was used.
8669408Sache   TREE_ADDRESSABLE   to record that the address of such a decl was used.  */
8769408Sache
8869408Sache/* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is read-only.  */
8969408Sache#define C_TYPE_FIELDS_READONLY(TYPE) TREE_LANG_FLAG_1 (TYPE)
90100616Smp
9169408Sache/* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is volatile.  */
9269408Sache#define C_TYPE_FIELDS_VOLATILE(TYPE) TREE_LANG_FLAG_2 (TYPE)
9369408Sache
9469408Sache/* In a RECORD_TYPE or UNION_TYPE or ENUMERAL_TYPE
9569408Sache   nonzero if the definition of the type has already started.  */
9669408Sache#define C_TYPE_BEING_DEFINED(TYPE) TYPE_LANG_FLAG_0 (TYPE)
9769408Sache
9869408Sache/* In an IDENTIFIER_NODE, nonzero if this identifier is actually a
9969408Sache   keyword.  C_RID_CODE (node) is then the RID_* value of the keyword,
10069408Sache   and C_RID_YYCODE is the token number wanted by Yacc.  */
10169408Sache#define C_IS_RESERVED_WORD(ID) TREE_LANG_FLAG_0 (ID)
10269408Sache
10369408Sache/* This function was declared inline.  This flag controls the linkage
104   semantics of 'inline'; whether or not the function is inlined is
105   controlled by DECL_INLINE.  */
106#define DECL_DECLARED_INLINE_P(NODE) \
107  (DECL_LANG_SPECIFIC (NODE)->base.declared_inline)
108
109/* In a RECORD_TYPE, a sorted array of the fields of the type.  */
110struct lang_type
111{
112  int len;
113  tree elts[1];
114};
115
116/* Record whether a type or decl was written with nonconstant size.
117   Note that TYPE_SIZE may have simplified to a constant.  */
118#define C_TYPE_VARIABLE_SIZE(TYPE) TYPE_LANG_FLAG_1 (TYPE)
119#define C_DECL_VARIABLE_SIZE(TYPE) DECL_LANG_FLAG_0 (TYPE)
120
121#if 0 /* Not used.  */
122/* Record whether a decl for a function or function pointer has
123   already been mentioned (in a warning) because it was called
124   but didn't have a prototype.  */
125#define C_MISSING_PROTOTYPE_WARNED(DECL) DECL_LANG_FLAG_2 (DECL)
126#endif
127
128/* Store a value in that field.  */
129#define C_SET_EXP_ORIGINAL_CODE(EXP, CODE) \
130  (TREE_COMPLEXITY (EXP) = (int) (CODE))
131
132/* Record whether a typedef for type `int' was actually `signed int'.  */
133#define C_TYPEDEF_EXPLICITLY_SIGNED(EXP) DECL_LANG_FLAG_1 (EXP)
134
135/* For a FUNCTION_DECL, nonzero if it was defined without an explicit
136   return type.  */
137#define C_FUNCTION_IMPLICIT_INT(EXP) DECL_LANG_FLAG_1 (EXP)
138
139/* Nonzero for a declaration of a built in function if there has been no
140   occasion that would declare the function in ordinary C.
141   Using the function draws a pedantic warning in this case.  */
142#define C_DECL_ANTICIPATED(EXP) DECL_LANG_FLAG_3 (EXP)
143
144/* For FUNCTION_TYPE, a hidden list of types of arguments.  The same as
145   TYPE_ARG_TYPES for functions with prototypes, but created for functions
146   without prototypes.  */
147#define TYPE_ACTUAL_ARG_TYPES(NODE) TYPE_BINFO (NODE)
148
149
150/* in c-lang.c and objc-act.c */
151extern tree lookup_interface			PARAMS ((tree));
152extern tree is_class_name			PARAMS ((tree));
153extern void maybe_objc_check_decl		PARAMS ((tree));
154extern void finish_file				PARAMS ((void));
155extern int maybe_objc_comptypes                 PARAMS ((tree, tree, int));
156extern tree maybe_building_objc_message_expr    PARAMS ((void));
157extern int recognize_objc_keyword		PARAMS ((void));
158extern tree lookup_objc_ivar			PARAMS ((tree));
159
160
161/* in c-parse.in */
162extern void c_parse_init			PARAMS ((void));
163extern void c_set_yydebug			PARAMS ((int));
164extern int yyparse_1				PARAMS ((void));
165
166/* in c-aux-info.c */
167extern void gen_aux_info_record                 PARAMS ((tree, int, int, int));
168
169/* in c-decl.c */
170extern void c_init_decl_processing		PARAMS ((void));
171extern void c_print_identifier			PARAMS ((FILE *, tree, int));
172extern tree build_array_declarator              PARAMS ((tree, tree, int, int));
173extern tree build_enumerator                    PARAMS ((tree, tree));
174extern int  c_decode_option                     PARAMS ((int, char **));
175extern void c_mark_varargs                      PARAMS ((void));
176extern void check_for_loop_decls                PARAMS ((void));
177extern void clear_parm_order                    PARAMS ((void));
178extern int  complete_array_type                 PARAMS ((tree, tree, int));
179extern void declare_parm_level                  PARAMS ((int));
180extern tree define_label                        PARAMS ((const char *, int,
181							 tree));
182extern void finish_decl                         PARAMS ((tree, tree, tree));
183extern tree finish_enum                         PARAMS ((tree, tree, tree));
184extern void finish_function                     PARAMS ((int, int));
185extern tree finish_struct                       PARAMS ((tree, tree, tree));
186extern tree get_parm_info                       PARAMS ((int));
187extern tree grokfield                           PARAMS ((const char *, int, tree, tree, tree));
188extern tree groktypename                        PARAMS ((tree));
189extern tree groktypename_in_parm_context        PARAMS ((tree));
190extern tree implicitly_declare                  PARAMS ((tree));
191extern void implicit_decl_warning               PARAMS ((tree));
192extern int  in_parm_level_p                     PARAMS ((void));
193extern void keep_next_level                     PARAMS ((void));
194extern int  kept_level_p                        PARAMS ((void));
195extern tree lookup_name                         PARAMS ((tree));
196extern tree lookup_name_current_level		PARAMS ((tree));
197extern void parmlist_tags_warning               PARAMS ((void));
198extern void pending_xref_error                  PARAMS ((void));
199extern void mark_c_function_context             PARAMS ((struct function *));
200extern void push_c_function_context             PARAMS ((struct function *));
201extern void pop_c_function_context              PARAMS ((struct function *));
202extern void pop_label_level                     PARAMS ((void));
203extern void push_label_level                    PARAMS ((void));
204extern void push_parm_decl                      PARAMS ((tree));
205extern tree pushdecl_top_level                  PARAMS ((tree));
206extern void pushtag                             PARAMS ((tree, tree));
207extern tree set_array_declarator_type           PARAMS ((tree, tree, int));
208extern tree shadow_label                        PARAMS ((tree));
209extern void shadow_tag                          PARAMS ((tree));
210extern void shadow_tag_warned                   PARAMS ((tree, int));
211extern tree start_enum                          PARAMS ((tree));
212extern int  start_function                      PARAMS ((tree, tree, tree));
213extern tree start_decl                          PARAMS ((tree, tree, int,
214							 tree));
215extern tree start_struct                        PARAMS ((enum tree_code, tree));
216extern void store_parm_decls                    PARAMS ((void));
217extern tree xref_tag                            PARAMS ((enum tree_code, tree));
218extern tree c_begin_compound_stmt               PARAMS ((void));
219extern void c_expand_deferred_function          PARAMS ((tree));
220extern void c_expand_decl_stmt                  PARAMS ((tree));
221
222
223/* in c-objc-common.c */
224extern int c_disregard_inline_limits		PARAMS ((tree));
225extern int c_cannot_inline_tree_fn		PARAMS ((tree *));
226extern const char *c_objc_common_init		PARAMS ((const char *));
227extern int c_missing_noreturn_ok_p		PARAMS ((tree));
228extern void c_objc_common_finish_file		PARAMS ((void));
229extern int defer_fn				PARAMS ((tree));
230
231#define c_build_type_variant(TYPE, CONST_P, VOLATILE_P)		  \
232  c_build_qualified_type ((TYPE),				  \
233			  ((CONST_P) ? TYPE_QUAL_CONST : 0) |	  \
234			  ((VOLATILE_P) ? TYPE_QUAL_VOLATILE : 0))
235
236/* in c-typeck.c */
237extern tree require_complete_type		PARAMS ((tree));
238extern int comptypes				PARAMS ((tree, tree));
239extern tree c_sizeof_nowarn			PARAMS ((tree));
240extern tree c_size_in_bytes                     PARAMS ((tree));
241extern tree build_component_ref                 PARAMS ((tree, tree));
242extern tree build_indirect_ref                  PARAMS ((tree, const char *));
243extern tree build_array_ref                     PARAMS ((tree, tree));
244extern tree build_external_ref			PARAMS ((tree, int));
245extern tree parser_build_binary_op              PARAMS ((enum tree_code,
246							 tree, tree));
247extern void readonly_warning			PARAMS ((tree, const char *));
248extern tree build_conditional_expr              PARAMS ((tree, tree, tree));
249extern tree build_compound_expr                 PARAMS ((tree));
250extern tree c_cast_expr				PARAMS ((tree, tree));
251extern tree build_c_cast	                PARAMS ((tree, tree));
252extern tree build_modify_expr                   PARAMS ((tree, enum tree_code,
253							 tree));
254extern void store_init_value                    PARAMS ((tree, tree));
255extern void error_init				PARAMS ((const char *));
256extern void pedwarn_init			PARAMS ((const char *));
257extern void start_init				PARAMS ((tree, tree, int));
258extern void finish_init				PARAMS ((void));
259extern void really_start_incremental_init	PARAMS ((tree));
260extern void push_init_level			PARAMS ((int));
261extern tree pop_init_level			PARAMS ((int));
262extern void set_init_index			PARAMS ((tree, tree));
263extern void set_init_label			PARAMS ((tree));
264extern void process_init_element		PARAMS ((tree));
265extern tree build_compound_literal		PARAMS ((tree, tree));
266extern void pedwarn_c99				PARAMS ((const char *, ...))
267							ATTRIBUTE_PRINTF_1;
268extern tree c_start_case                        PARAMS ((tree));
269extern void c_finish_case                       PARAMS ((void));
270extern tree simple_asm_stmt			PARAMS ((tree));
271extern tree build_asm_stmt			PARAMS ((tree, tree, tree,
272							 tree, tree));
273extern tree c_convert_parm_for_inlining		PARAMS ((tree, tree, tree));
274
275/* Set to 0 at beginning of a function definition, set to 1 if
276   a return statement that specifies a return value is seen.  */
277
278extern int current_function_returns_value;
279
280/* Set to 0 at beginning of a function definition, set to 1 if
281   a return statement with no argument is seen.  */
282
283extern int current_function_returns_null;
284
285/* Set to 0 at beginning of a function definition, set to 1 if
286   a call to a noreturn function is seen.  */
287
288extern int current_function_returns_abnormally;
289
290/* Nonzero means `$' can be in an identifier.  */
291
292extern int dollars_in_ident;
293
294/* Nonzero means allow type mismatches in conditional expressions;
295   just make their values `void'.  */
296
297extern int flag_cond_mismatch;
298
299/* Nonzero means don't recognize the keyword `asm'.  */
300
301extern int flag_no_asm;
302
303/* Nonzero means warn about implicit declarations.  */
304
305extern int warn_implicit;
306
307/* Nonzero means warn for all old-style non-prototype function decls.  */
308
309extern int warn_strict_prototypes;
310
311/* Nonzero means warn about multiple (redundant) decls for the same single
312   variable or function.  */
313
314extern int warn_redundant_decls;
315
316/* Nonzero means warn about extern declarations of objects not at
317   file-scope level and about *all* declarations of functions (whether
318   extern or static) not at file-scope level.  Note that we exclude
319   implicit function declarations.  To get warnings about those, use
320   -Wimplicit.  */
321
322extern int warn_nested_externs;
323
324/* Nonzero means warn about pointer casts that can drop a type qualifier
325   from the pointer target type.  */
326
327extern int warn_cast_qual;
328
329/* Nonzero means warn when casting a function call to a type that does
330   not match the return type (e.g. (float)sqrt() or (anything*)malloc()
331   when there is no previous declaration of sqrt or malloc.  */
332
333extern int warn_bad_function_cast;
334
335/* Warn about traditional constructs whose meanings changed in ANSI C.  */
336
337extern int warn_traditional;
338
339/* Warn about a subscript that has type char.  */
340
341extern int warn_char_subscripts;
342
343/* Warn if main is suspicious.  */
344
345extern int warn_main;
346
347/* Nonzero means to allow single precision math even if we're generally
348   being traditional.  */
349extern int flag_allow_single_precision;
350
351/* Warn if initializer is not completely bracketed.  */
352
353extern int warn_missing_braces;
354
355/* Warn about comparison of signed and unsigned values.  */
356
357extern int warn_sign_compare;
358
359/* Warn about testing equality of floating point numbers.  */
360
361extern int warn_float_equal;
362
363/* Warn about multicharacter constants.  */
364
365extern int warn_multichar;
366
367/* Nonzero means we are reading code that came from a system header file.  */
368
369extern int system_header_p;
370
371/* Warn about implicit declarations.  1 = warning, 2 = error.  */
372extern int mesg_implicit_function_declaration;
373
374/* In c-decl.c */
375extern void finish_incomplete_decl PARAMS ((tree));
376
377extern tree static_ctors;
378extern tree static_dtors;
379
380#endif /* ! GCC_C_TREE_H */
381