the Free Software Foundation, 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA. */
+#ifndef GCC_C_COMMON_H
+#define GCC_C_COMMON_H
+
+#include "splay-tree.h"
+
/* Usage of TREE_LANG_FLAG_?:
0: COMPOUND_STMT_NO_SCOPE (in COMPOUND_STMT).
TREE_NEGATED_INT (in INTEGER_CST).
4: SCOPE_PARTIAL_P (in SCOPE_STMT)
*/
-/* Reserved identifiers. */
+/* Reserved identifiers. This is the union of all the keywords for C,
+ C++, and Objective C. All the type modifiers have to be in one
+ block at the beginning, because they are used as mask bits. There
+ are 27 type modifiers; if we add many more we will have to redesign
+ the mask mechanism. */
enum rid
{
- RID_UNUSED,
- RID_INT,
- RID_CHAR,
- RID_FLOAT,
- RID_DOUBLE,
- RID_VOID,
- RID_UNUSED1,
-
- /* The first seven are in the order of most frequently used,
- as emiprically determined. */
- RID_FIRST_MODIFIER,
- RID_EXTERN = RID_FIRST_MODIFIER,
- RID_CONST,
- RID_LONG,
- RID_TYPEDEF,
- RID_UNSIGNED,
- RID_SHORT,
- RID_INLINE,
- RID_AUTO,
- RID_STATIC,
- RID_REGISTER,
- RID_SIGNED,
- RID_RESTRICT,
- RID_VOLATILE,
- RID_BOUNDED,
- RID_UNBOUNDED,
- RID_NOALIAS,
- RID_COMPLEX,
-
- RID_IN,
- RID_OUT,
- RID_INOUT,
- RID_BYCOPY,
- RID_BYREF,
- RID_ONEWAY,
- RID_ID,
-
- RID_MAX
+ /* Modifiers: */
+ /* C, in empirical order of frequency. */
+ RID_STATIC = 0,
+ RID_UNSIGNED, RID_LONG, RID_CONST, RID_EXTERN,
+ RID_REGISTER, RID_TYPEDEF, RID_SHORT, RID_INLINE,
+ RID_VOLATILE, RID_SIGNED, RID_AUTO, RID_RESTRICT,
+
+ /* C extensions */
+ RID_BOUNDED, RID_UNBOUNDED, RID_COMPLEX,
+
+ /* C++ */
+ RID_FRIEND, RID_VIRTUAL, RID_EXPLICIT, RID_EXPORT, RID_MUTABLE,
+
+ /* ObjC */
+ RID_IN, RID_OUT, RID_INOUT, RID_BYCOPY, RID_BYREF, RID_ONEWAY,
+
+ /* C */
+ RID_INT, RID_CHAR, RID_FLOAT, RID_DOUBLE, RID_VOID,
+ RID_ENUM, RID_STRUCT, RID_UNION, RID_IF, RID_ELSE,
+ RID_WHILE, RID_DO, RID_FOR, RID_SWITCH, RID_CASE,
+ RID_DEFAULT, RID_BREAK, RID_CONTINUE, RID_RETURN, RID_GOTO,
+ RID_SIZEOF,
+
+ /* C extensions */
+ RID_ASM, RID_TYPEOF, RID_ALIGNOF, RID_ATTRIBUTE, RID_VA_ARG,
+ RID_EXTENSION, RID_IMAGPART, RID_REALPART, RID_LABEL, RID_PTRBASE,
+ RID_PTREXTENT, RID_PTRVALUE,
+
+ /* C++ */
+ RID_BOOL, RID_WCHAR, RID_CLASS,
+ RID_PUBLIC, RID_PRIVATE, RID_PROTECTED,
+ RID_TEMPLATE, RID_NULL, RID_CATCH,
+ RID_DELETE, RID_FALSE, RID_NAMESPACE,
+ RID_NEW, RID_OPERATOR, RID_THIS,
+ RID_THROW, RID_TRUE, RID_TRY,
+ RID_TYPENAME, RID_TYPEID, RID_USING,
+
+ /* casts */
+ RID_CONSTCAST, RID_DYNCAST, RID_REINTCAST, RID_STATCAST,
+
+ /* alternate spellings */
+ RID_AND, RID_AND_EQ, RID_NOT, RID_NOT_EQ,
+ RID_OR, RID_OR_EQ, RID_XOR, RID_XOR_EQ,
+ RID_BITAND, RID_BITOR, RID_COMPL,
+
+ /* Objective C */
+ RID_ID, RID_AT_ENCODE, RID_AT_END,
+ RID_AT_CLASS, RID_AT_ALIAS, RID_AT_DEFS,
+ RID_AT_PRIVATE, RID_AT_PROTECTED, RID_AT_PUBLIC,
+ RID_AT_PROTOCOL, RID_AT_SELECTOR, RID_AT_INTERFACE,
+ RID_AT_IMPLEMENTATION,
+
+ RID_MAX,
+
+ RID_FIRST_MODIFIER = RID_STATIC,
+ RID_LAST_MODIFIER = RID_ONEWAY
};
-#define NORID RID_UNUSED
-
/* The elements of `ridpointers' are identifier nodes for the reserved
type names and storage classes. It is indexed by a RID_... value. */
extern tree *ridpointers;
CTI_PRETTY_FUNCTION_ID,
CTI_FUNC_ID,
+ CTI_VOID_ZERO,
+
CTI_MAX
};
#define pretty_function_id_node c_global_trees[CTI_PRETTY_FUNCTION_ID]
#define func_id_node c_global_trees[CTI_FUNC_ID]
+/* A node for `((void) 0)'. */
+#define void_zero_node c_global_trees[CTI_VOID_ZERO]
+
extern tree c_global_trees[CTI_MAX];
+/* Mark which labels are explicitly declared.
+ These may be shadowed, and may be referenced from nested functions. */
+#define C_DECLARED_LABEL_FLAG(label) TREE_LANG_FLAG_1 (label)
+
typedef enum c_language_kind
{
clk_c, /* A dialect of C: K&R C, ANSI/ISO C89, C2000,
}
c_language_kind;
+/* Information about a statement tree. */
+
+struct stmt_tree_s {
+ /* The last statement added to the tree. */
+ tree x_last_stmt;
+ /* The type of the last expression statement. (This information is
+ needed to implement the statement-expression extension.) */
+ tree x_last_expr_type;
+ /* In C++, Non-zero if we should treat statements as full
+ expressions. In particular, this variable is no-zero if at the
+ end of a statement we should destroy any temporaries created
+ during that statement. Similarly, if, at the end of a block, we
+ should destroy any local variables in this block. Normally, this
+ variable is non-zero, since those are the normal semantics of
+ C++.
+
+ However, in order to represent aggregate initialization code as
+ tree structure, we use statement-expressions. The statements
+ within the statement expression should not result in cleanups
+ being run until the entire enclosing statement is complete.
+
+ This flag has no effect in C. */
+ int stmts_are_full_exprs_p;
+};
+
+typedef struct stmt_tree_s *stmt_tree;
+
+/* Global state pertinent to the current function. Some C dialects
+ extend this structure with additional fields. */
+
+struct language_function {
+ /* While we are parsing the function, this contains information
+ about the statement-tree that we are building. */
+ struct stmt_tree_s x_stmt_tree;
+ /* The stack of SCOPE_STMTs for the current function. */
+ tree x_scope_stmt_stack;
+ /* Nonzero if __FUNCTION__ and its ilk have been declared in this
+ function. */
+ int x_function_name_declared_p;
+};
+
+/* When building a statement-tree, this is the last statement added to
+ the tree. */
+
+#define last_tree (current_stmt_tree ()->x_last_stmt)
+
+/* The type of the last expression-statement we have seen. */
+
+#define last_expr_type (current_stmt_tree ()->x_last_expr_type)
+
+/* LAST_TREE contains the last statement parsed. These are chained
+ together through the TREE_CHAIN field, but often need to be
+ re-organized since the parse is performed bottom-up. This macro
+ makes LAST_TREE the indicated SUBSTMT of STMT. */
+
+#define RECHAIN_STMTS(stmt, substmt) \
+ do { \
+ substmt = TREE_CHAIN (stmt); \
+ TREE_CHAIN (stmt) = NULL_TREE; \
+ last_tree = stmt; \
+ } while (0)
+
+/* Language-specific hooks. */
+
+extern int (*lang_statement_code_p) PARAMS ((enum tree_code));
+extern void (*lang_expand_stmt) PARAMS ((tree));
+extern void (*lang_expand_decl_stmt) PARAMS ((tree));
+extern void (*lang_expand_function_end) PARAMS ((void));
+
+/* The type of a function that walks over tree structure. */
+
+typedef tree (*walk_tree_fn) PARAMS ((tree *,
+ int *,
+ void *));
+
+extern stmt_tree current_stmt_tree PARAMS ((void));
+extern tree *current_scope_stmt_stack PARAMS ((void));
+extern void begin_stmt_tree PARAMS ((tree *));
+extern tree add_stmt PARAMS ((tree));
+extern void add_decl_stmt PARAMS ((tree));
+extern tree add_scope_stmt PARAMS ((int, int));
+extern void finish_stmt_tree PARAMS ((tree *));
+
+extern int statement_code_p PARAMS ((enum tree_code));
+extern tree walk_stmt_tree PARAMS ((tree *,
+ walk_tree_fn,
+ void *));
+extern void prep_stmt PARAMS ((tree));
+extern void expand_stmt PARAMS ((tree));
+extern void mark_stmt_tree PARAMS ((void *));
+
+/* Extra information associated with a DECL. Other C dialects extend
+ this structure in various ways. The C front-end only uses this
+ structure for FUNCTION_DECLs; all other DECLs have a NULL
+ DECL_LANG_SPECIFIC field. */
+
+struct c_lang_decl {
+ /* In a FUNCTION_DECL, this is DECL_SAVED_TREE. */
+ tree saved_tree;
+};
+
+/* In a FUNCTION_DECL, the saved representation of the body of the
+ entire function. Usually a COMPOUND_STMT, but in C++ this may also
+ be a RETURN_INIT, CTOR_INITIALIZER, or TRY_BLOCK. */
+#define DECL_SAVED_TREE(NODE) \
+ (((struct c_lang_decl *) DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (NODE))) \
+ ->saved_tree)
+
+extern void c_mark_lang_decl PARAMS ((struct c_lang_decl *));
+
/* The variant of the C language being processed. Each C language
front-end defines this variable. */
extern void declare_function_name PARAMS ((void));
extern void decl_attributes PARAMS ((tree, tree, tree));
extern void init_function_format_info PARAMS ((void));
-extern void check_function_format PARAMS ((tree, tree, tree));
+extern void check_function_format PARAMS ((int *, tree, tree, tree));
extern void c_apply_type_quals_to_decl PARAMS ((int, tree));
/* Print an error message for invalid operands to arith operation CODE.
NOP_EXPR is used as a special case (see truthvalue_conversion). */
extern void binary_op_error PARAMS ((enum tree_code));
extern void c_expand_expr_stmt PARAMS ((tree));
-extern void c_expand_start_cond PARAMS ((tree, int, int));
+extern void c_expand_start_cond PARAMS ((tree, int));
+extern void c_finish_then PARAMS ((void));
extern void c_expand_start_else PARAMS ((void));
+extern void c_finish_else PARAMS ((void));
extern void c_expand_end_cond PARAMS ((void));
/* Validate the expression after `case' and apply default promotions. */
extern tree check_case_value PARAMS ((tree));
extern int self_promoting_args_p PARAMS ((tree));
extern tree simple_type_promotes_to PARAMS ((tree));
-/* These macros provide convenient access to the various _STMT nodes
- created when parsing template declarations. */
+/* These macros provide convenient access to the various _STMT nodes. */
+
+/* Nonzero if this statement should be considered a full-expression,
+ i.e., if temporaries created during this statement should have
+ their destructors run at the end of this statement. (In C, this
+ will always be false, since there are no destructors.) */
+#define STMT_IS_FULL_EXPR_P(NODE) TREE_LANG_FLAG_1 ((NODE))
/* IF_STMT accessors. These give access to the condtion of the if
statement, the then block of the if statement, and the else block
of a case label, respectively. */
#define CASE_LOW(NODE) TREE_OPERAND (CASE_LABEL_CHECK (NODE), 0)
#define CASE_HIGH(NODE) TREE_OPERAND (CASE_LABEL_CHECK (NODE), 1)
+#define CASE_LABEL_DECL(NODE) TREE_OPERAND (CASE_LABEL_CHECK (NODE), 2)
/* GOTO_STMT accessor. This gives access to the label associated with
a goto statement. */
extern void add_c_tree_codes PARAMS ((void));
extern void genrtl_do_pushlevel PARAMS ((void));
-extern void genrtl_clear_out_block PARAMS ((void));
extern void genrtl_goto_stmt PARAMS ((tree));
extern void genrtl_expr_stmt PARAMS ((tree));
extern void genrtl_decl_stmt PARAMS ((tree));
extern void genrtl_continue_stmt PARAMS ((void));
extern void genrtl_scope_stmt PARAMS ((tree));
extern void genrtl_switch_stmt PARAMS ((tree));
-extern void genrtl_case_label PARAMS ((tree, tree));
+extern void genrtl_case_label PARAMS ((tree));
extern void genrtl_compound_stmt PARAMS ((tree));
extern void genrtl_asm_stmt PARAMS ((tree, tree,
tree, tree,
tree));
extern void genrtl_decl_cleanup PARAMS ((tree, tree));
extern int stmts_are_full_exprs_p PARAMS ((void));
-typedef void (*expand_expr_stmt_fn) PARAMS ((tree));
-extern expand_expr_stmt_fn lang_expand_expr_stmt;
extern int anon_aggr_type_p PARAMS ((tree));
/* For a VAR_DECL that is an anonymous union, these are the various
extern void emit_local_var PARAMS ((tree));
extern void make_rtl_for_local_static PARAMS ((tree));
extern tree expand_cond PARAMS ((tree));
-extern tree expand_stmt PARAMS ((tree));
-extern tree lang_expand_stmt PARAMS ((tree));
extern void c_expand_return PARAMS ((tree));
-extern tree c_expand_start_case PARAMS ((tree));
extern void do_case PARAMS ((tree, tree));
extern tree build_stmt PARAMS ((enum tree_code, ...));
-extern tree build_case_label PARAMS ((tree, tree));
+extern tree build_case_label PARAMS ((tree, tree, tree));
extern tree build_continue_stmt PARAMS ((void));
extern tree build_break_stmt PARAMS ((void));
extern tree build_return_stmt PARAMS ((tree));
#define COMPOUND_STMT_NO_SCOPE(NODE) TREE_LANG_FLAG_0 (NODE)
extern void c_expand_asm_operands PARAMS ((tree, tree, tree, tree, int, const char *, int));
-extern int current_function_name_declared PARAMS ((void));
-extern void set_current_function_name_declared PARAMS ((int));
/* These functions must be defined by each front-end which implements
a variant of the C language. They are used in c-common.c. */
extern tree common_type PARAMS ((tree, tree));
extern tree expand_tree_builtin PARAMS ((tree, tree, tree));
+
+extern tree decl_constant_value PARAMS ((tree));
+
+/* Hook currently used only by the C++ front end to reset internal state
+ after entering or leaving a header file. */
+extern void extract_interface_info PARAMS ((void));
+
+extern void mark_c_language_function PARAMS ((struct language_function *));
+
+extern int case_compare PARAMS ((splay_tree_key,
+ splay_tree_key));
+
+extern tree c_add_case_label PARAMS ((splay_tree,
+ tree, tree,
+ tree));
+
+extern tree build_function_call PARAMS ((tree, tree));
+
+#ifdef RTX_CODE
+
+extern struct rtx_def *c_expand_expr PARAMS ((tree, rtx,
+ enum machine_mode,
+ enum expand_modifier));
+
+extern int c_safe_from_p PARAMS ((rtx, tree));
+
+#endif
+
+/* Information recorded about each file examined during compilation. */
+
+struct c_fileinfo
+{
+ int time; /* Time spent in the file. */
+ short interface_only; /* Flags - used only by C++ */
+ short interface_unknown;
+};
+
+struct c_fileinfo *get_fileinfo PARAMS ((const char *));
+extern void dump_time_statistics PARAMS ((void));
+
+#endif