![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to c-tree.h CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Apple XNU] / GNUtools / cc|
Return to c-tree.h CVS log | Up to [Apple XNU] / GNUtools / cc |
1.1 root 1: /* Definitions for C parsing and type checking.
2: Copyright (C) 1987, 1993 Free Software Foundation, Inc.
3:
4: This file is part of GNU CC.
5:
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.
10:
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.
15:
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, 675 Mass Ave, Cambridge, MA 02139, USA. */
19:
20: #ifndef _C_TREE_H
21: #define _C_TREE_H
22:
23: #ifndef STDIO_PROTO
24: #ifdef BUFSIZ
25: #define STDIO_PROTO(ARGS) PROTO(ARGS)
26: #else
27: #define STDIO_PROTO(ARGS) ()
28: #endif
29: #endif
30:
31: /* Language-dependent contents of an identifier. */
32:
33: /* The limbo_value is used for block level extern declarations, which need
34: to be type checked against subsequent extern declarations. They can't
35: be referenced after they fall out of scope, so they can't be global. */
36:
37: struct lang_identifier
38: {
39: struct tree_identifier ignore;
40: tree global_value, local_value, label_value, implicit_decl;
41: tree error_locus, limbo_value;
42: };
43:
44: /* Macros for access to language-specific slots in an identifier. */
45: /* Each of these slots contains a DECL node or null. */
46:
47: /* This represents the value which the identifier has in the
48: file-scope namespace. */
49: #define IDENTIFIER_GLOBAL_VALUE(NODE) \
50: (((struct lang_identifier *)(NODE))->global_value)
51: /* This represents the value which the identifier has in the current
52: scope. */
53: #define IDENTIFIER_LOCAL_VALUE(NODE) \
54: (((struct lang_identifier *)(NODE))->local_value)
55: /* This represents the value which the identifier has as a label in
56: the current label scope. */
57: #define IDENTIFIER_LABEL_VALUE(NODE) \
58: (((struct lang_identifier *)(NODE))->label_value)
59: /* This records the extern decl of this identifier, if it has had one
60: at any point in this compilation. */
61: #define IDENTIFIER_LIMBO_VALUE(NODE) \
62: (((struct lang_identifier *)(NODE))->limbo_value)
63: /* This records the implicit function decl of this identifier, if it
64: has had one at any point in this compilation. */
65: #define IDENTIFIER_IMPLICIT_DECL(NODE) \
66: (((struct lang_identifier *)(NODE))->implicit_decl)
67: /* This is the last function in which we printed an "undefined variable"
68: message for this identifier. Value is a FUNCTION_DECL or null. */
69: #define IDENTIFIER_ERROR_LOCUS(NODE) \
70: (((struct lang_identifier *)(NODE))->error_locus)
71:
72: /* In identifiers, C uses the following fields in a special way:
73: TREE_PUBLIC to record that there was a previous local extern decl.
74: TREE_USED to record that such a decl was used.
75: TREE_ADDRESSABLE to record that the address of such a decl was used. */
76:
77: /* Nonzero means reject anything that ANSI standard C forbids. */
78: extern int pedantic;
79:
80: /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is read-only. */
81: #define C_TYPE_FIELDS_READONLY(type) TREE_LANG_FLAG_1 (type)
82:
83: /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is volatile. */
84: #define C_TYPE_FIELDS_VOLATILE(type) TREE_LANG_FLAG_2 (type)
85:
86: /* In a RECORD_TYPE or UNION_TYPE or ENUMERAL_TYPE
87: nonzero if the definition of the type has already started. */
88: #define C_TYPE_BEING_DEFINED(type) TYPE_LANG_FLAG_0 (type)
89:
90: /* In a RECORD_TYPE, a sorted array of the fields of the type. */
91: struct lang_type
92: {
93: int len;
94: tree elts[1];
95: };
96:
97: /* Mark which labels are explicitly declared.
98: These may be shadowed, and may be referenced from nested functions. */
99: #define C_DECLARED_LABEL_FLAG(label) TREE_LANG_FLAG_1 (label)
100:
101: /* Record whether a type or decl was written with nonconstant size.
102: Note that TYPE_SIZE may have simplified to a constant. */
103: #define C_TYPE_VARIABLE_SIZE(type) TYPE_LANG_FLAG_1 (type)
104: #define C_DECL_VARIABLE_SIZE(type) DECL_LANG_FLAG_0 (type)
105:
106: /* Record in each node resulting from a binary operator
107: what operator was specified for it. */
108: #define C_EXP_ORIGINAL_CODE(exp) ((enum tree_code) TREE_COMPLEXITY (exp))
109:
110: #if 0 /* Not used. */
111: /* Record whether a decl for a function or function pointer has
112: already been mentioned (in a warning) because it was called
113: but didn't have a prototype. */
114: #define C_MISSING_PROTOTYPE_WARNED(decl) DECL_LANG_FLAG_2(decl)
115: #endif
116:
117: /* Store a value in that field. */
118: #define C_SET_EXP_ORIGINAL_CODE(exp, code) \
119: (TREE_COMPLEXITY (exp) = (int)(code))
120:
121: /* Record whether a typedef for type `int' was actually `signed int'. */
122: #define C_TYPEDEF_EXPLICITLY_SIGNED(exp) DECL_LANG_FLAG_1 ((exp))
123:
124: /* Nonzero for a declaration of a built in function if there has been no
125: occasion that would declare the function in ordinary C.
126: Using the function draws a pedantic warning in this case. */
127: #define C_DECL_ANTICIPATED(exp) DECL_LANG_FLAG_3 ((exp))
128:
129: /* For FUNCTION_TYPE, a hidden list of types of arguments. The same as
130: TYPE_ARG_TYPES for functions with prototypes, but created for functions
131: without prototypes. */
132: #define TYPE_ACTUAL_ARG_TYPES(NODE) TYPE_NONCOPIED_PARTS (NODE)
133:
134: /* Nonzero if the type T promotes to itself.
135: ANSI C states explicitly the list of types that promote;
136: in particular, short promotes to int even if they have the same width. */
137: #define C_PROMOTING_INTEGER_TYPE_P(t) \
138: (TREE_CODE ((t)) == INTEGER_TYPE \
139: && (TYPE_MAIN_VARIANT (t) == char_type_node \
140: || TYPE_MAIN_VARIANT (t) == signed_char_type_node \
141: || TYPE_MAIN_VARIANT (t) == unsigned_char_type_node \
142: || TYPE_MAIN_VARIANT (t) == short_integer_type_node \
143: || TYPE_MAIN_VARIANT (t) == short_unsigned_type_node))
144:
145: /* In a VAR_DECL, means the variable is really an iterator. */
146: #define ITERATOR_P(D) (DECL_LANG_FLAG_4(D))
147:
148: /* In a VAR_DECL for an iterator, means we are within
149: an explicit loop over that iterator. */
150: #define ITERATOR_BOUND_P(NODE) ((NODE)->common.readonly_flag)
151:
152: /* in c-lang.c and objc-act.c */
153: extern tree lookup_interface PROTO((tree));
154: extern tree is_class_name PROTO((tree));
155: extern void maybe_objc_check_decl PROTO((tree));
156: extern int maybe_objc_comptypes PROTO((tree, tree, int));
157: extern tree maybe_building_objc_message_expr PROTO((void));
158: extern tree maybe_objc_method_name PROTO((tree));
159: extern int recognize_objc_keyword PROTO((void));
160: extern tree build_objc_string PROTO((int, char *));
161:
162: /* in c-aux-info.c */
163: extern void gen_aux_info_record PROTO((tree, int, int, int));
164:
165: /* in c-common.c */
166: extern void declare_function_name PROTO((void));
167: extern void decl_attributes PROTO((tree, tree));
168: extern void init_function_format_info PROTO((void));
169: extern void record_function_format PROTO((tree, tree, int, int, int));
170: extern void check_function_format PROTO((tree, tree, tree));
171: /* Print an error message for invalid operands to arith operation CODE.
172: NOP_EXPR is used as a special case (see truthvalue_conversion). */
173: extern void binary_op_error PROTO((enum tree_code));
174: extern void c_expand_expr_stmt PROTO((tree));
175: /* Validate the expression after `case' and apply default promotions. */
176: extern tree check_case_value PROTO((tree));
177: /* Concatenate a list of STRING_CST nodes into one STRING_CST. */
178: extern tree combine_strings PROTO((tree));
179: extern void constant_expression_warning PROTO((tree));
180: extern tree convert_and_check PROTO((tree, tree));
181: extern void overflow_warning PROTO((tree));
182: extern void unsigned_conversion_warning PROTO((tree, tree));
183: /* Read the rest of the current #-directive line. */
184: extern char *get_directive_line STDIO_PROTO((FILE *));
185: /* Subroutine of build_binary_op, used for comparison operations.
186: See if the operands have both been converted from subword integer types
187: and, if so, perhaps change them both back to their original type. */
188: extern tree shorten_compare PROTO((tree *, tree *, tree *, enum tree_code *));
189: /* Prepare expr to be an argument of a TRUTH_NOT_EXPR,
190: or validate its data type for an `if' or `while' statement or ?..: exp. */
191: extern tree truthvalue_conversion PROTO((tree));
192: extern tree type_for_mode PROTO((enum machine_mode, int));
193: extern tree type_for_size PROTO((unsigned, int));
194:
195: /* in c-convert.c */
196: extern tree convert PROTO((tree, tree));
197:
198: /* in c-decl.c */
199: /* Standard named or nameless data types of the C compiler. */
200: extern tree char_array_type_node;
201: extern tree char_type_node;
202: extern tree const_ptr_type_node;
203: extern tree const_string_type_node;
204: extern tree default_function_type;
205: extern tree double_ftype_double;
206: extern tree double_ftype_double_double;
207: extern tree double_type_node;
208: extern tree float_type_node;
209: extern tree intDI_type_node;
210: extern tree intHI_type_node;
211: extern tree intQI_type_node;
212: extern tree intSI_type_node;
213: extern tree int_array_type_node;
214: extern tree int_ftype_cptr_cptr_sizet;
215: extern tree int_ftype_int;
216: extern tree int_ftype_ptr_ptr_int;
217: extern tree int_ftype_string_string;
218: extern tree integer_type_node;
219: extern tree long_double_type_node;
220: extern tree long_ftype_long;
221: extern tree long_integer_type_node;
222: extern tree long_long_integer_type_node;
223: extern tree long_long_unsigned_type_node;
224: extern tree long_unsigned_type_node;
225: extern tree complex_integer_type_node;
226: extern tree complex_float_type_node;
227: extern tree complex_double_type_node;
228: extern tree complex_long_double_type_node;
229: extern tree ptr_type_node;
230: extern tree ptrdiff_type_node;
231: extern tree short_integer_type_node;
232: extern tree short_unsigned_type_node;
233: extern tree signed_char_type_node;
234: extern tree signed_wchar_type_node;
235: extern tree string_ftype_ptr_ptr;
236: extern tree string_type_node;
237: extern tree unsigned_char_type_node;
238: extern tree unsigned_intDI_type_node;
239: extern tree unsigned_intHI_type_node;
240: extern tree unsigned_intQI_type_node;
241: extern tree unsigned_intSI_type_node;
242: extern tree unsigned_type_node;
243: extern tree unsigned_wchar_type_node;
244: extern tree void_ftype_ptr_int_int;
245: extern tree void_ftype_ptr_ptr_int;
246: extern tree void_type_node;
247: extern tree wchar_array_type_node;
248: extern tree wchar_type_node;
249:
250: extern tree build_enumerator PROTO((tree, tree));
251: /* Declare a predefined function. Return the declaration. */
252: extern tree builtin_function PROTO((char *, tree, enum built_in_function function_, char *));
253: /* Add qualifiers to a type, in the fashion for C. */
254: extern tree c_build_type_variant PROTO((tree, int, int));
255: extern int c_decode_option PROTO((char *));
256: extern void c_mark_varargs PROTO((void));
257: extern tree check_identifier PROTO((tree, tree));
258: extern void clear_parm_order PROTO((void));
259: extern tree combine_parm_decls PROTO((tree, tree, int));
260: extern int complete_array_type PROTO((tree, tree, int));
261: extern void declare_parm_level PROTO((int));
262: extern tree define_label PROTO((char *, int, tree));
263: extern void delete_block PROTO((tree));
264: extern void finish_decl PROTO((tree, tree, tree));
265: extern tree finish_enum PROTO((tree, tree));
266: extern void finish_function PROTO((int));
267: extern tree finish_struct PROTO((tree, tree));
268: extern tree get_parm_info PROTO((int));
269: extern tree getdecls PROTO((void));
270: extern tree gettags PROTO((void));
271: extern int global_bindings_p PROTO((void));
272: extern tree grokfield PROTO((char *, int, tree, tree, tree));
273: extern tree groktypename PROTO((tree));
274: extern tree groktypename_in_parm_context PROTO((tree));
275: extern tree implicitly_declare PROTO((tree));
276: extern int in_parm_level_p PROTO((void));
277: extern void init_decl_processing PROTO((void));
278: extern void insert_block PROTO((tree));
279: extern void keep_next_level PROTO((void));
280: extern int kept_level_p PROTO((void));
281: extern tree lookup_label PROTO((tree));
282: extern tree lookup_name PROTO((tree));
283: extern tree lookup_name_current_level PROTO((tree));
284: extern tree maybe_build_cleanup PROTO((tree));
285: extern void parmlist_tags_warning PROTO((void));
286: extern void pending_xref_error PROTO((void));
287: extern void pop_c_function_context PROTO((void));
288: extern void pop_label_level PROTO((void));
289: extern tree poplevel PROTO((int, int, int));
290: extern void print_lang_decl STDIO_PROTO((FILE *, tree,
291: int));
292: extern void print_lang_identifier STDIO_PROTO((FILE *, tree,
293: int));
294: extern void print_lang_type STDIO_PROTO((FILE *, tree,
295: int));
296: extern void push_c_function_context PROTO((void));
297: extern void push_label_level PROTO((void));
298: extern void push_parm_decl PROTO((tree));
299: extern tree pushdecl PROTO((tree));
300: extern tree pushdecl_top_level PROTO((tree));
301: extern void pushlevel PROTO((int));
302: extern void pushtag PROTO((tree, tree));
303: extern void set_block PROTO((tree));
304: extern tree shadow_label PROTO((tree));
305: extern void shadow_record_fields PROTO((tree));
306: extern void shadow_tag PROTO((tree));
307: extern void shadow_tag_warned PROTO((tree, int));
308: extern tree start_enum PROTO((tree));
309: extern int start_function PROTO((tree, tree, int));
310: extern tree start_decl PROTO((tree, tree, int));
311: extern tree start_struct PROTO((enum tree_code, tree));
312: extern void store_parm_decls PROTO((void));
313: extern tree xref_tag PROTO((enum tree_code, tree));
314:
315: /* in c-typeck.c */
316: extern tree build_array_ref PROTO((tree, tree));
317: extern tree build_binary_op PROTO((enum tree_code, tree, tree, int));
318: extern tree build_c_cast PROTO((tree, tree));
319: extern tree build_component_ref PROTO((tree, tree));
320: extern tree build_compound_expr PROTO((tree));
321: extern tree build_conditional_expr PROTO((tree, tree, tree));
322: extern tree build_function_call PROTO((tree, tree));
323: extern tree build_indirect_ref PROTO((tree, char *));
324: extern tree build_modify_expr PROTO((tree, enum tree_code, tree));
325: extern tree build_unary_op PROTO((enum tree_code, tree, int));
326: extern tree c_alignof PROTO((tree));
327: extern tree c_alignof_expr PROTO((tree));
328: extern tree c_sizeof PROTO((tree));
329: extern tree c_expand_start_case PROTO((tree));
330: /* Given two integer or real types, return the type for their sum.
331: Given two compatible ANSI C types, returns the merged type. */
332: extern tree common_type PROTO((tree, tree));
333: extern tree default_conversion PROTO((tree));
334: extern tree parser_build_binary_op PROTO((enum tree_code, tree, tree));
335: extern tree require_complete_type PROTO((tree));
336: extern void store_init_value PROTO((tree, tree));
337: extern void start_init PROTO((tree, tree, int));
338: extern void finish_init PROTO((void));
339: extern void really_start_incremental_init PROTO((tree));
340: extern void push_init_level PROTO((int));
341: extern tree pop_init_level PROTO((int));
342: extern void set_init_index PROTO((tree, tree));
343: extern void set_init_label PROTO((tree));
344: extern void process_init_element PROTO((tree));
345:
346: /* in c-iterate.c */
347: extern void iterator_expand PROTO((tree));
348: extern void iterator_for_loop_start PROTO((tree));
349: extern void iterator_for_loop_end PROTO((tree));
350: extern void iterator_for_loop_record PROTO((tree));
351: extern void push_iterator_stack PROTO((void));
352: extern void pop_iterator_stack PROTO((void));
353:
354: /* Set to 0 at beginning of a function definition, set to 1 if
355: a return statement that specifies a return value is seen. */
356:
357: extern int current_function_returns_value;
358:
359: /* Set to 0 at beginning of a function definition, set to 1 if
360: a return statement with no argument is seen. */
361:
362: extern int current_function_returns_null;
363:
364: /* Nonzero means `$' can be in an identifier. */
365:
366: extern int dollars_in_ident;
367:
368: /* Nonzero means allow type mismatches in conditional expressions;
369: just make their values `void'. */
370:
371: extern int flag_cond_mismatch;
372:
373: /* Nonzero means don't recognize the keyword `asm'. */
374:
375: extern int flag_no_asm;
376:
377: /* Nonzero means ignore `#ident' directives. */
378:
379: extern int flag_no_ident;
380:
381: /* Nonzero means warn about implicit declarations. */
382:
383: extern int warn_implicit;
384:
385: /* Nonzero means give string constants the type `const char *'
386: to get extra warnings from them. These warnings will be too numerous
387: to be useful, except in thoroughly ANSIfied programs. */
388:
389: extern int warn_write_strings;
390:
391: /* Nonzero means warn about sizeof (function) or addition/subtraction
392: of function pointers. */
393:
394: extern int warn_pointer_arith;
395:
396: /* Nonzero means warn for all old-style non-prototype function decls. */
397:
398: extern int warn_strict_prototypes;
399:
400: /* Nonzero means warn about multiple (redundant) decls for the same single
401: variable or function. */
402:
403: extern int warn_redundant_decls;
404:
405: /* Nonzero means warn about extern declarations of objects not at
406: file-scope level and about *all* declarations of functions (whether
407: extern or static) not at file-scope level. Note that we exclude
408: implicit function declarations. To get warnings about those, use
409: -Wimplicit. */
410:
411: extern int warn_nested_externs;
412:
413: /* Nonzero means warn about pointer casts that can drop a type qualifier
414: from the pointer target type. */
415:
416: extern int warn_cast_qual;
417:
418: /* Warn about traditional constructs whose meanings changed in ANSI C. */
419:
420: extern int warn_traditional;
421:
422: /* Warn about *printf or *scanf format/argument anomalies. */
423:
424: extern int warn_format;
425:
426: /* Warn about a subscript that has type char. */
427:
428: extern int warn_char_subscripts;
429:
430: /* Warn if a type conversion is done that might have confusing results. */
431:
432: extern int warn_conversion;
433:
434: /* Nonzero means do some things the same way PCC does. */
435:
436: extern int flag_traditional;
437:
438: /* Nonzero means to allow single precision math even if we're generally
439: being traditional. */
440: extern int flag_allow_single_precision;
441:
442: /* Nonzero means warn about suggesting putting in ()'s. */
443:
444: extern int warn_parentheses;
445:
446: /* Warn if initializer is not completely bracketed. */
447:
448: extern int warn_missing_braces;
449:
450: /* Nonzero means this is a function to call to perform comptypes
451: on two record types. */
452:
453: extern int (*comptypes_record_hook) ();
454:
455: /* Nonzero means we are reading code that came from a system header file. */
456:
457: extern int system_header_p;
458:
459: /* Nonzero enables objc features. */
460:
461: extern int doing_objc_thang;
462:
463: #endif /* not _C_TREE_H */
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.