1/* Definitions for C parsing and type checking. 2 Copyright (C) 1987, 1993, 1994, 1995, 1997, 1998, 3 1999, 2000, 2001, 2002 Free Software Foundation, Inc. 4 5This file is part of GCC. 6 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. 11 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. 16 17You should have received a copy of the GNU General Public License 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. */ 21 22#ifndef GCC_C_TREE_H 23#define GCC_C_TREE_H 24 25#include "c-common.h" 26 27/* Language-dependent contents of an identifier. */ 28 29/* The limbo_value is used for block level extern declarations, which need 30 to be type checked against subsequent extern declarations. They can't 31 be referenced after they fall out of scope, so they can't be global. 32 33 The rid_code field is used for keywords. It is in all 34 lang_identifier nodes, because some keywords are only special in a 35 particular context. */ 36 37struct lang_identifier GTY(()) 38{ 39 struct c_common_identifier common_id; 40 tree global_value; 41 tree local_value; 42 tree label_value; 43 tree implicit_decl; 44 tree error_locus; 45 tree limbo_value; 46}; 47 48/* The resulting tree type. */ 49 50union lang_tree_node 51 GTY((desc ("TREE_CODE (&%h.generic) == IDENTIFIER_NODE"), 52 chain_next ("(union lang_tree_node *)TREE_CHAIN (&%h.generic)"))) 53{ 54 union tree_node GTY ((tag ("0"), 55 desc ("tree_node_structure (&%h)"))) 56 generic; 57 struct lang_identifier GTY ((tag ("1"))) identifier; 58}; 59 60/* Language-specific declaration information. */ 61 62struct lang_decl GTY(()) 63{ 64 struct c_lang_decl base; 65 /* The return types and parameter types may have variable size. 66 This is a list of any SAVE_EXPRs that need to be evaluated to 67 compute those sizes. */ 68 tree pending_sizes; 69}; 70 71/* Macros for access to language-specific slots in an identifier. */ 72/* Each of these slots contains a DECL node or null. */ 73 74/* This represents the value which the identifier has in the 75 file-scope namespace. */ 76#define IDENTIFIER_GLOBAL_VALUE(NODE) \ 77 (((struct lang_identifier *) (NODE))->global_value) 78/* This represents the value which the identifier has in the current 79 scope. */ 80#define IDENTIFIER_LOCAL_VALUE(NODE) \ 81 (((struct lang_identifier *) (NODE))->local_value) 82/* This represents the value which the identifier has as a label in 83 the current label scope. */ 84#define IDENTIFIER_LABEL_VALUE(NODE) \ 85 (((struct lang_identifier *) (NODE))->label_value) 86/* This records the extern decl of this identifier, if it has had one 87 at any point in this compilation. */ 88#define IDENTIFIER_LIMBO_VALUE(NODE) \ 89 (((struct lang_identifier *) (NODE))->limbo_value) 90/* This records the implicit function decl of this identifier, if it 91 has had one at any point in this compilation. */ 92#define IDENTIFIER_IMPLICIT_DECL(NODE) \ 93 (((struct lang_identifier *) (NODE))->implicit_decl) 94/* This is the last function in which we printed an "undefined variable" 95 message for this identifier. Value is a FUNCTION_DECL or null. */ 96#define IDENTIFIER_ERROR_LOCUS(NODE) \ 97 (((struct lang_identifier *) (NODE))->error_locus) 98 99/* In identifiers, C uses the following fields in a special way: 100 TREE_PUBLIC to record that there was a previous local extern decl. 101 TREE_USED to record that such a decl was used. 102 TREE_ADDRESSABLE to record that the address of such a decl was used. */ 103 104/* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is read-only. */ 105#define C_TYPE_FIELDS_READONLY(TYPE) TREE_LANG_FLAG_1 (TYPE) 106 107/* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is volatile. */ 108#define C_TYPE_FIELDS_VOLATILE(TYPE) TREE_LANG_FLAG_2 (TYPE) 109 110/* In a RECORD_TYPE or UNION_TYPE or ENUMERAL_TYPE 111 nonzero if the definition of the type has already started. */ 112#define C_TYPE_BEING_DEFINED(TYPE) TYPE_LANG_FLAG_0 (TYPE) 113 114/* In an IDENTIFIER_NODE, nonzero if this identifier is actually a 115 keyword. C_RID_CODE (node) is then the RID_* value of the keyword, 116 and C_RID_YYCODE is the token number wanted by Yacc. */ 117#define C_IS_RESERVED_WORD(ID) TREE_LANG_FLAG_0 (ID) 118 119/* This function was declared inline. This flag controls the linkage 120 semantics of 'inline'; whether or not the function is inlined is 121 controlled by DECL_INLINE. */ 122#define DECL_DECLARED_INLINE_P(NODE) \ 123 (DECL_LANG_SPECIFIC (NODE)->base.declared_inline) 124 125/* In a RECORD_TYPE, a sorted array of the fields of the type. */ 126struct lang_type GTY(()) 127{ 128 int len; 129 tree GTY((length ("%h.len"))) elts[1]; 130}; 131 132/* Record whether a type or decl was written with nonconstant size. 133 Note that TYPE_SIZE may have simplified to a constant. */ 134#define C_TYPE_VARIABLE_SIZE(TYPE) TYPE_LANG_FLAG_1 (TYPE) 135#define C_DECL_VARIABLE_SIZE(TYPE) DECL_LANG_FLAG_0 (TYPE) 136 137#if 0 /* Not used. */ 138/* Record whether a decl for a function or function pointer has 139 already been mentioned (in a warning) because it was called 140 but didn't have a prototype. */ 141#define C_MISSING_PROTOTYPE_WARNED(DECL) DECL_LANG_FLAG_2 (DECL) 142#endif 143 144/* Store a value in that field. */ 145#define C_SET_EXP_ORIGINAL_CODE(EXP, CODE) \ 146 (TREE_COMPLEXITY (EXP) = (int) (CODE)) 147 148/* Record whether a typedef for type `int' was actually `signed int'. */ 149#define C_TYPEDEF_EXPLICITLY_SIGNED(EXP) DECL_LANG_FLAG_1 (EXP) 150 151/* For a FUNCTION_DECL, nonzero if it was defined without an explicit 152 return type. */ 153#define C_FUNCTION_IMPLICIT_INT(EXP) DECL_LANG_FLAG_1 (EXP) 154 155/* Nonzero for a declaration of a built in function if there has been no 156 occasion that would declare the function in ordinary C. 157 Using the function draws a pedantic warning in this case. */ 158#define C_DECL_ANTICIPATED(EXP) DECL_LANG_FLAG_3 (EXP) 159 160/* For FUNCTION_TYPE, a hidden list of types of arguments. The same as 161 TYPE_ARG_TYPES for functions with prototypes, but created for functions 162 without prototypes. */ 163#define TYPE_ACTUAL_ARG_TYPES(NODE) TYPE_BINFO (NODE) 164 165 166/* in c-lang.c and objc-act.c */ 167extern tree lookup_interface PARAMS ((tree)); 168extern tree is_class_name PARAMS ((tree)); 169extern tree objc_is_id PARAMS ((tree)); 170extern void objc_check_decl PARAMS ((tree)); 171extern void finish_file PARAMS ((void)); 172extern int objc_comptypes PARAMS ((tree, tree, int)); 173extern tree objc_message_selector PARAMS ((void)); 174extern tree lookup_objc_ivar PARAMS ((tree)); 175 176 177/* in c-parse.in */ 178extern void c_parse_init PARAMS ((void)); 179 180/* in c-aux-info.c */ 181extern void gen_aux_info_record PARAMS ((tree, int, int, int)); 182 183/* in c-decl.c */ 184extern int global_bindings_p PARAMS ((void)); 185extern int kept_level_p PARAMS ((void)); 186extern tree getdecls PARAMS ((void)); 187extern void pushlevel PARAMS ((int)); 188extern tree poplevel PARAMS ((int,int, int)); 189extern void insert_block PARAMS ((tree)); 190extern void set_block PARAMS ((tree)); 191extern tree pushdecl PARAMS ((tree)); 192 193extern void c_insert_default_attributes PARAMS ((tree)); 194extern void c_init_decl_processing PARAMS ((void)); 195extern void c_dup_lang_specific_decl PARAMS ((tree)); 196extern void c_print_identifier PARAMS ((FILE *, tree, int)); 197extern tree build_array_declarator PARAMS ((tree, tree, int, int)); 198extern tree build_enumerator PARAMS ((tree, tree)); 199extern void check_for_loop_decls PARAMS ((void)); 200extern void clear_parm_order PARAMS ((void)); 201extern int complete_array_type PARAMS ((tree, tree, int)); 202extern void declare_parm_level PARAMS ((int)); 203extern tree define_label PARAMS ((const char *, int, 204 tree)); 205extern void finish_decl PARAMS ((tree, tree, tree)); 206extern tree finish_enum PARAMS ((tree, tree, tree)); 207extern void finish_function PARAMS ((int, int)); 208extern tree finish_struct PARAMS ((tree, tree, tree)); 209extern tree get_parm_info PARAMS ((int)); 210extern tree grokfield PARAMS ((const char *, int, tree, tree, tree)); 211extern tree groktypename PARAMS ((tree)); 212extern tree groktypename_in_parm_context PARAMS ((tree)); 213extern tree implicitly_declare PARAMS ((tree)); 214extern void implicit_decl_warning PARAMS ((tree)); 215extern int in_parm_level_p PARAMS ((void)); 216extern void keep_next_level PARAMS ((void)); 217extern tree lookup_name PARAMS ((tree)); 218extern tree lookup_name_current_level PARAMS ((tree)); 219extern void parmlist_tags_warning PARAMS ((void)); 220extern void pending_xref_error PARAMS ((void)); 221extern void c_push_function_context PARAMS ((struct function *)); 222extern void c_pop_function_context PARAMS ((struct function *)); 223extern void pop_label_level PARAMS ((void)); 224extern void push_label_level PARAMS ((void)); 225extern void push_parm_decl PARAMS ((tree)); 226extern tree pushdecl_top_level PARAMS ((tree)); 227extern void pushtag PARAMS ((tree, tree)); 228extern tree set_array_declarator_type PARAMS ((tree, tree, int)); 229extern tree shadow_label PARAMS ((tree)); 230extern void shadow_tag PARAMS ((tree)); 231extern void shadow_tag_warned PARAMS ((tree, int)); 232extern tree start_enum PARAMS ((tree)); 233extern int start_function PARAMS ((tree, tree, tree)); 234extern tree start_decl PARAMS ((tree, tree, int, 235 tree)); 236extern tree start_struct PARAMS ((enum tree_code, tree)); 237extern void store_parm_decls PARAMS ((void)); 238extern tree xref_tag PARAMS ((enum tree_code, tree)); 239extern tree c_begin_compound_stmt PARAMS ((void)); 240extern void c_expand_deferred_function PARAMS ((tree)); 241extern void c_expand_decl_stmt PARAMS ((tree)); 242extern tree make_pointer_declarator PARAMS ((tree, tree)); 243 244/* in c-objc-common.c */ 245extern int c_disregard_inline_limits PARAMS ((tree)); 246extern int c_cannot_inline_tree_fn PARAMS ((tree *)); 247extern const char *c_objc_common_init PARAMS ((const char *)); 248extern int c_missing_noreturn_ok_p PARAMS ((tree)); 249extern void c_objc_common_finish_file PARAMS ((void)); 250extern int defer_fn PARAMS ((tree)); 251extern bool c_warn_unused_global_decl PARAMS ((tree)); 252 253#define c_build_type_variant(TYPE, CONST_P, VOLATILE_P) \ 254 c_build_qualified_type ((TYPE), \ 255 ((CONST_P) ? TYPE_QUAL_CONST : 0) | \ 256 ((VOLATILE_P) ? TYPE_QUAL_VOLATILE : 0)) 257 258#define c_sizeof_nowarn(T) c_sizeof_or_alignof_type (T, SIZEOF_EXPR, 0) 259/* in c-typeck.c */ 260extern tree require_complete_type PARAMS ((tree)); 261extern int comptypes PARAMS ((tree, tree)); 262extern tree c_size_in_bytes PARAMS ((tree)); 263extern bool c_mark_addressable PARAMS ((tree)); 264extern void c_incomplete_type_error PARAMS ((tree, tree)); 265extern tree c_type_promotes_to PARAMS ((tree)); 266extern tree build_component_ref PARAMS ((tree, tree)); 267extern tree build_indirect_ref PARAMS ((tree, const char *)); 268extern tree build_array_ref PARAMS ((tree, tree)); 269extern tree build_external_ref PARAMS ((tree, int)); 270extern tree parser_build_binary_op PARAMS ((enum tree_code, 271 tree, tree)); 272extern int c_tree_expr_nonnegative_p PARAMS ((tree)); 273extern void readonly_error PARAMS ((tree, const char *)); 274extern tree build_conditional_expr PARAMS ((tree, tree, tree)); 275extern tree build_compound_expr PARAMS ((tree)); 276extern tree c_cast_expr PARAMS ((tree, tree)); 277extern tree build_c_cast PARAMS ((tree, tree)); 278extern tree build_modify_expr PARAMS ((tree, enum tree_code, 279 tree)); 280extern void store_init_value PARAMS ((tree, tree)); 281extern void error_init PARAMS ((const char *)); 282extern void pedwarn_init PARAMS ((const char *)); 283extern void start_init PARAMS ((tree, tree, int)); 284extern void finish_init PARAMS ((void)); 285extern void really_start_incremental_init PARAMS ((tree)); 286extern void push_init_level PARAMS ((int)); 287extern tree pop_init_level PARAMS ((int)); 288extern void set_init_index PARAMS ((tree, tree)); 289extern void set_init_label PARAMS ((tree)); 290extern void process_init_element PARAMS ((tree)); 291extern tree build_compound_literal PARAMS ((tree, tree)); 292extern void pedwarn_c99 PARAMS ((const char *, ...)) 293 ATTRIBUTE_PRINTF_1; 294extern tree c_start_case PARAMS ((tree)); 295extern void c_finish_case PARAMS ((void)); 296extern tree simple_asm_stmt PARAMS ((tree)); 297extern tree build_asm_stmt PARAMS ((tree, tree, tree, 298 tree, tree)); 299extern tree c_convert_parm_for_inlining PARAMS ((tree, tree, tree)); 300 301/* Set to 0 at beginning of a function definition, set to 1 if 302 a return statement that specifies a return value is seen. */ 303 304extern int current_function_returns_value; 305 306/* Set to 0 at beginning of a function definition, set to 1 if 307 a return statement with no argument is seen. */ 308 309extern int current_function_returns_null; 310 311/* Set to 0 at beginning of a function definition, set to 1 if 312 a call to a noreturn function is seen. */ 313 314extern int current_function_returns_abnormally; 315 316/* Nonzero means we are reading code that came from a system header file. */ 317 318extern int system_header_p; 319 320/* In c-decl.c */ 321extern void c_finish_incomplete_decl PARAMS ((tree)); 322 323extern GTY(()) tree static_ctors; 324extern GTY(()) tree static_dtors; 325 326#endif /* ! GCC_C_TREE_H */ 327