You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING. If not, write to the Free
-Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-02111-1307, USA. */
+Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
+02110-1301, USA. */
#ifndef GCC_C_TREE_H
#define GCC_C_TREE_H
#include "c-common.h"
+#include "toplev.h"
#include "diagnostic.h"
/* struct lang_identifier is private to c-decl.c, but langhooks.c needs to
#define C_SIZEOF_STRUCT_LANG_IDENTIFIER \
(sizeof (struct c_common_identifier) + 3 * sizeof (void *))
-/* For gc purposes, return the most likely link for the longest chain. */
-#define C_LANG_TREE_NODE_CHAIN_NEXT(T) \
- ((union lang_tree_node *) \
- (TREE_CODE (T) == INTEGER_TYPE ? TYPE_NEXT_VARIANT (T) \
- : TREE_CODE (T) == COMPOUND_EXPR ? TREE_OPERAND (T, 1) \
- : TREE_CHAIN (T)))
-
/* Language-specific declaration information. */
struct lang_decl GTY(())
/* For FUNCTION_DECLs, evaluates true if the decl is built-in but has
been declared. */
-#define C_DECL_DECLARED_BUILTIN(EXP) DECL_LANG_FLAG_3 (EXP)
+#define C_DECL_DECLARED_BUILTIN(EXP) \
+ DECL_LANG_FLAG_3 (FUNCTION_DECL_CHECK (EXP))
+
+/* For FUNCTION_DECLs, evaluates true if the decl is built-in, has a
+ built-in prototype and does not have a non-built-in prototype. */
+#define C_DECL_BUILTIN_PROTOTYPE(EXP) \
+ DECL_LANG_FLAG_6 (FUNCTION_DECL_CHECK (EXP))
/* Record whether a decl was declared register. This is strictly a
front-end flag, whereas DECL_REGISTER is used for code generation;
unevaluated operand of sizeof / typeof / alignof. This is only
used for functions declared static but not defined, though outside
sizeof and typeof it is set for other function decls as well. */
-#define C_DECL_USED(EXP) DECL_LANG_FLAG_5 (EXP)
+#define C_DECL_USED(EXP) DECL_LANG_FLAG_5 (FUNCTION_DECL_CHECK (EXP))
+
+/* Record whether a label was defined in a statement expression which
+ has finished and so can no longer be jumped to. */
+#define C_DECL_UNJUMPABLE_STMT_EXPR(EXP) \
+ DECL_LANG_FLAG_6 (LABEL_DECL_CHECK (EXP))
+
+/* Record whether a label was the subject of a goto from outside the
+ current level of statement expression nesting and so cannot be
+ defined right now. */
+#define C_DECL_UNDEFINABLE_STMT_EXPR(EXP) \
+ DECL_LANG_FLAG_7 (LABEL_DECL_CHECK (EXP))
+
+/* Record whether a label was defined in the scope of an identifier
+ with variably modified type which has finished and so can no longer
+ be jumped to. */
+#define C_DECL_UNJUMPABLE_VM(EXP) \
+ DECL_LANG_FLAG_3 (LABEL_DECL_CHECK (EXP))
+
+/* Record whether a label was the subject of a goto from outside the
+ current level of scopes of identifiers with variably modified type
+ and so cannot be defined right now. */
+#define C_DECL_UNDEFINABLE_VM(EXP) \
+ DECL_LANG_FLAG_5 (LABEL_DECL_CHECK (EXP))
/* Nonzero for a decl which either doesn't exist or isn't a prototype.
N.B. Could be simplified if all built-in decls had complete prototypes
int extern_inline;
};
+/* Save lists of labels used or defined in particular contexts.
+ Allocated on the parser obstack. */
+
+struct c_label_list
+{
+ /* The label at the head of the list. */
+ tree label;
+ /* The rest of the list. */
+ struct c_label_list *next;
+};
+
+/* Statement expression context. */
+
+struct c_label_context_se
+{
+ /* The labels defined at this level of nesting. */
+ struct c_label_list *labels_def;
+ /* The labels used at this level of nesting. */
+ struct c_label_list *labels_used;
+ /* The next outermost context. */
+ struct c_label_context_se *next;
+};
+
+/* Context of variably modified declarations. */
+
+struct c_label_context_vm
+{
+ /* The labels defined at this level of nesting. */
+ struct c_label_list *labels_def;
+ /* The labels used at this level of nesting. */
+ struct c_label_list *labels_used;
+ /* The scope of this context. Multiple contexts may be at the same
+ numbered scope, since each variably modified declaration starts a
+ new context. */
+ unsigned scope;
+ /* The next outermost context. */
+ struct c_label_context_vm *next;
+};
+
\f
/* in c-parser.c */
extern void c_parse_init (void);
extern tree build_enumerator (tree, tree);
extern void check_for_loop_decls (void);
extern void mark_forward_parm_decls (void);
-extern int complete_array_type (tree, tree, int);
extern void declare_parm_level (void);
extern void undeclared_variable (tree, location_t);
extern tree declare_label (tree);
extern int in_typeof;
extern struct c_switch *c_switch_stack;
+extern struct c_label_context_se *label_context_stack_se;
+extern struct c_label_context_vm *label_context_stack_vm;
extern tree require_complete_type (tree);
extern int same_translation_unit_p (tree, tree);
extern bool c_mark_addressable (tree);
extern void c_incomplete_type_error (tree, tree);
extern tree c_type_promotes_to (tree);
+extern tree default_conversion (tree);
+extern struct c_expr default_function_array_conversion (struct c_expr);
extern tree composite_type (tree, tree);
extern tree build_component_ref (tree, tree);
extern tree build_indirect_ref (tree, const char *);
extern void pop_maybe_used (bool);
extern struct c_expr c_expr_sizeof_expr (struct c_expr);
extern struct c_expr c_expr_sizeof_type (struct c_type_name *);
+extern struct c_expr parser_build_unary_op (enum tree_code, struct c_expr);
extern struct c_expr parser_build_binary_op (enum tree_code, struct c_expr,
struct c_expr);
extern tree build_conditional_expr (tree, tree, tree);
extern tree c_finish_bc_stmt (tree *, bool);
extern tree c_finish_goto_label (tree);
extern tree c_finish_goto_ptr (tree);
+extern void c_begin_vm_scope (unsigned int);
+extern void c_end_vm_scope (unsigned int);
+extern tree c_expr_to_decl (tree, bool *, bool *, bool *);
/* Set to 0 at beginning of a function definition, set to 1 if
a return statement that specifies a return value is seen. */
/* In order for the format checking to accept the C frontend
diagnostic framework extensions, you must include this file before
toplev.h, not after. */
-#define GCC_DIAG_STYLE __gcc_cdiag__
-#if GCC_VERSION >= 3005
+#if GCC_VERSION >= 4001
#define ATTRIBUTE_GCC_CDIAG(m, n) __attribute__ ((__format__ (GCC_DIAG_STYLE, m ,n))) ATTRIBUTE_NONNULL(m)
#else
#define ATTRIBUTE_GCC_CDIAG(m, n) ATTRIBUTE_NONNULL(m)