mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-23 11:18:54 +00:00
971 lines
32 KiB
C
971 lines
32 KiB
C
/* Definitions for c-common.c.
|
||
Copyright (C) 1987, 1993, 1994, 1995, 1997, 1998,
|
||
1999, 2000, 2001, 2002, 2003, 2004, 2005 Free Software Foundation, Inc.
|
||
|
||
This file is part of GCC.
|
||
|
||
GCC is free software; you can redistribute it and/or modify it under
|
||
the terms of the GNU General Public License as published by the Free
|
||
Software Foundation; either version 2, or (at your option) any later
|
||
version.
|
||
|
||
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
||
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||
for more details.
|
||
|
||
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, 51 Franklin Street, Fifth Floor, Boston, MA
|
||
02110-1301, USA. */
|
||
|
||
#ifndef GCC_C_COMMON_H
|
||
#define GCC_C_COMMON_H
|
||
|
||
#include "splay-tree.h"
|
||
#include "cpplib.h"
|
||
#include "ggc.h"
|
||
|
||
/* Usage of TREE_LANG_FLAG_?:
|
||
0: TREE_NEGATED_INT (in INTEGER_CST).
|
||
IDENTIFIER_MARKED (used by search routines).
|
||
DECL_PRETTY_FUNCTION_P (in VAR_DECL)
|
||
1: C_DECLARED_LABEL_FLAG (in LABEL_DECL)
|
||
STATEMENT_LIST_STMT_EXPR (in STATEMENT_LIST)
|
||
2: unused
|
||
3: STATEMENT_LIST_HAS_LABEL (in STATEMENT_LIST)
|
||
4: unused
|
||
*/
|
||
|
||
/* 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
|
||
{
|
||
/* 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_COMPLEX, RID_THREAD,
|
||
|
||
/* 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_CHOOSE_EXPR,
|
||
RID_TYPES_COMPATIBLE_P,
|
||
RID_DFLOAT32, RID_DFLOAT64, RID_DFLOAT128,
|
||
|
||
/* Too many ways of getting the name of a function as a string */
|
||
RID_FUNCTION_NAME, RID_PRETTY_FUNCTION_NAME, RID_C99_FUNCTION_NAME,
|
||
|
||
/* 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_OFFSETOF, 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,
|
||
|
||
/* Objective-C */
|
||
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_THROW, RID_AT_TRY, RID_AT_CATCH,
|
||
RID_AT_FINALLY, RID_AT_SYNCHRONIZED,
|
||
RID_AT_INTERFACE,
|
||
RID_AT_IMPLEMENTATION,
|
||
|
||
RID_MAX,
|
||
|
||
RID_FIRST_MODIFIER = RID_STATIC,
|
||
RID_LAST_MODIFIER = RID_ONEWAY,
|
||
|
||
RID_FIRST_AT = RID_AT_ENCODE,
|
||
RID_LAST_AT = RID_AT_IMPLEMENTATION,
|
||
RID_FIRST_PQ = RID_IN,
|
||
RID_LAST_PQ = RID_ONEWAY
|
||
};
|
||
|
||
#define OBJC_IS_AT_KEYWORD(rid) \
|
||
((unsigned int) (rid) >= (unsigned int) RID_FIRST_AT && \
|
||
(unsigned int) (rid) <= (unsigned int) RID_LAST_AT)
|
||
|
||
#define OBJC_IS_PQ_KEYWORD(rid) \
|
||
((unsigned int) (rid) >= (unsigned int) RID_FIRST_PQ && \
|
||
(unsigned int) (rid) <= (unsigned int) RID_LAST_PQ)
|
||
|
||
/* The elements of `ridpointers' are identifier nodes for the reserved
|
||
type names and storage classes. It is indexed by a RID_... value. */
|
||
extern GTY ((length ("(int) RID_MAX"))) tree *ridpointers;
|
||
|
||
/* Standard named or nameless data types of the C compiler. */
|
||
|
||
enum c_tree_index
|
||
{
|
||
CTI_WCHAR_TYPE,
|
||
CTI_SIGNED_WCHAR_TYPE,
|
||
CTI_UNSIGNED_WCHAR_TYPE,
|
||
CTI_WINT_TYPE,
|
||
CTI_SIGNED_SIZE_TYPE, /* For format checking only. */
|
||
CTI_UNSIGNED_PTRDIFF_TYPE, /* For format checking only. */
|
||
CTI_INTMAX_TYPE,
|
||
CTI_UINTMAX_TYPE,
|
||
CTI_WIDEST_INT_LIT_TYPE,
|
||
CTI_WIDEST_UINT_LIT_TYPE,
|
||
|
||
CTI_CHAR_ARRAY_TYPE,
|
||
CTI_WCHAR_ARRAY_TYPE,
|
||
CTI_INT_ARRAY_TYPE,
|
||
CTI_STRING_TYPE,
|
||
CTI_CONST_STRING_TYPE,
|
||
|
||
/* Type for boolean expressions (bool in C++, int in C). */
|
||
CTI_TRUTHVALUE_TYPE,
|
||
CTI_TRUTHVALUE_TRUE,
|
||
CTI_TRUTHVALUE_FALSE,
|
||
|
||
CTI_DEFAULT_FUNCTION_TYPE,
|
||
|
||
/* These are not types, but we have to look them up all the time. */
|
||
CTI_FUNCTION_NAME_DECL,
|
||
CTI_PRETTY_FUNCTION_NAME_DECL,
|
||
CTI_C99_FUNCTION_NAME_DECL,
|
||
CTI_SAVED_FUNCTION_NAME_DECLS,
|
||
|
||
CTI_VOID_ZERO,
|
||
|
||
CTI_NULL,
|
||
|
||
CTI_MAX
|
||
};
|
||
|
||
#define C_RID_CODE(id) (((struct c_common_identifier *) (id))->node.rid_code)
|
||
|
||
/* Identifier part common to the C front ends. Inherits from
|
||
tree_identifier, despite appearances. */
|
||
struct c_common_identifier GTY(())
|
||
{
|
||
struct tree_common common;
|
||
struct cpp_hashnode node;
|
||
};
|
||
|
||
#define wchar_type_node c_global_trees[CTI_WCHAR_TYPE]
|
||
#define signed_wchar_type_node c_global_trees[CTI_SIGNED_WCHAR_TYPE]
|
||
#define unsigned_wchar_type_node c_global_trees[CTI_UNSIGNED_WCHAR_TYPE]
|
||
#define wint_type_node c_global_trees[CTI_WINT_TYPE]
|
||
#define signed_size_type_node c_global_trees[CTI_SIGNED_SIZE_TYPE]
|
||
#define unsigned_ptrdiff_type_node c_global_trees[CTI_UNSIGNED_PTRDIFF_TYPE]
|
||
#define intmax_type_node c_global_trees[CTI_INTMAX_TYPE]
|
||
#define uintmax_type_node c_global_trees[CTI_UINTMAX_TYPE]
|
||
#define widest_integer_literal_type_node c_global_trees[CTI_WIDEST_INT_LIT_TYPE]
|
||
#define widest_unsigned_literal_type_node c_global_trees[CTI_WIDEST_UINT_LIT_TYPE]
|
||
|
||
#define truthvalue_type_node c_global_trees[CTI_TRUTHVALUE_TYPE]
|
||
#define truthvalue_true_node c_global_trees[CTI_TRUTHVALUE_TRUE]
|
||
#define truthvalue_false_node c_global_trees[CTI_TRUTHVALUE_FALSE]
|
||
|
||
#define char_array_type_node c_global_trees[CTI_CHAR_ARRAY_TYPE]
|
||
#define wchar_array_type_node c_global_trees[CTI_WCHAR_ARRAY_TYPE]
|
||
#define int_array_type_node c_global_trees[CTI_INT_ARRAY_TYPE]
|
||
#define string_type_node c_global_trees[CTI_STRING_TYPE]
|
||
#define const_string_type_node c_global_trees[CTI_CONST_STRING_TYPE]
|
||
|
||
#define default_function_type c_global_trees[CTI_DEFAULT_FUNCTION_TYPE]
|
||
|
||
#define function_name_decl_node c_global_trees[CTI_FUNCTION_NAME_DECL]
|
||
#define pretty_function_name_decl_node c_global_trees[CTI_PRETTY_FUNCTION_NAME_DECL]
|
||
#define c99_function_name_decl_node c_global_trees[CTI_C99_FUNCTION_NAME_DECL]
|
||
#define saved_function_name_decls c_global_trees[CTI_SAVED_FUNCTION_NAME_DECLS]
|
||
|
||
/* A node for `((void) 0)'. */
|
||
#define void_zero_node c_global_trees[CTI_VOID_ZERO]
|
||
|
||
/* The node for C++ `__null'. */
|
||
#define null_node c_global_trees[CTI_NULL]
|
||
|
||
extern GTY(()) tree c_global_trees[CTI_MAX];
|
||
|
||
/* In a RECORD_TYPE, a sorted array of the fields of the type, not a
|
||
tree for size reasons. */
|
||
struct sorted_fields_type GTY(())
|
||
{
|
||
int len;
|
||
tree GTY((length ("%h.len"))) elts[1];
|
||
};
|
||
|
||
/* 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 = 0, /* C90, C94 or C99 */
|
||
clk_objc = 1, /* clk_c with ObjC features. */
|
||
clk_cxx = 2, /* ANSI/ISO C++ */
|
||
clk_objcxx = 3 /* clk_cxx with ObjC features. */
|
||
}
|
||
c_language_kind;
|
||
|
||
/* To test for a specific language use c_language, defined by each
|
||
front end. For "ObjC features" or "not C++" use the macros. */
|
||
extern c_language_kind c_language;
|
||
|
||
#define c_dialect_cxx() (c_language & clk_cxx)
|
||
#define c_dialect_objc() (c_language & clk_objc)
|
||
|
||
/* Information about a statement tree. */
|
||
|
||
struct stmt_tree_s GTY(()) {
|
||
/* The current statement list being collected. */
|
||
tree x_cur_stmt_list;
|
||
|
||
/* In C++, Nonzero 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 nonzero, 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 c_language_function GTY(()) {
|
||
/* While we are parsing the function, this contains information
|
||
about the statement-tree that we are building. */
|
||
struct stmt_tree_s x_stmt_tree;
|
||
};
|
||
|
||
/* When building a statement-tree, this is the current statement list
|
||
being collected. It's TREE_CHAIN is a back-pointer to the previous
|
||
statement list. */
|
||
|
||
#define cur_stmt_list (current_stmt_tree ()->x_cur_stmt_list)
|
||
|
||
/* Language-specific hooks. */
|
||
|
||
/* Callback that determines if it's ok for a function to have no
|
||
noreturn attribute. */
|
||
extern int (*lang_missing_noreturn_ok_p) (tree);
|
||
|
||
/* If non-NULL, this function is called after a precompile header file
|
||
is loaded. */
|
||
extern void (*lang_post_pch_load) (void);
|
||
|
||
extern void push_file_scope (void);
|
||
extern void pop_file_scope (void);
|
||
extern stmt_tree current_stmt_tree (void);
|
||
extern tree push_stmt_list (void);
|
||
extern tree pop_stmt_list (tree);
|
||
extern tree add_stmt (tree);
|
||
extern void push_cleanup (tree, tree, bool);
|
||
extern tree pushdecl_top_level (tree);
|
||
extern tree pushdecl (tree);
|
||
extern tree build_modify_expr (tree, enum tree_code, tree);
|
||
extern tree build_indirect_ref (tree, const char *);
|
||
|
||
extern int c_expand_decl (tree);
|
||
|
||
extern int field_decl_cmp (const void *, const void *);
|
||
extern void resort_sorted_fields (void *, void *, gt_pointer_operator,
|
||
void *);
|
||
extern bool has_c_linkage (tree decl);
|
||
|
||
/* Switches common to the C front ends. */
|
||
|
||
/* Nonzero if prepreprocessing only. */
|
||
|
||
extern int flag_preprocess_only;
|
||
|
||
/* Zero means that faster, ...NonNil variants of objc_msgSend...
|
||
calls will be used in ObjC; passing nil receivers to such calls
|
||
will most likely result in crashes. */
|
||
extern int flag_nil_receivers;
|
||
|
||
/* Nonzero means that we will allow new ObjC exception syntax (@throw,
|
||
@try, etc.) in source code. */
|
||
extern int flag_objc_exceptions;
|
||
|
||
/* Nonzero means that we generate NeXT setjmp based exceptions. */
|
||
extern int flag_objc_sjlj_exceptions;
|
||
|
||
/* Nonzero means that code generation will be altered to support
|
||
"zero-link" execution. This currently affects ObjC only, but may
|
||
affect other languages in the future. */
|
||
extern int flag_zero_link;
|
||
|
||
/* Nonzero means emit an '__OBJC, __image_info' for the current translation
|
||
unit. It will inform the ObjC runtime that class definition(s) herein
|
||
contained are to replace one(s) previously loaded. */
|
||
extern int flag_replace_objc_classes;
|
||
|
||
/* Nonzero means don't output line number information. */
|
||
|
||
extern char flag_no_line_commands;
|
||
|
||
/* Nonzero causes -E output not to be done, but directives such as
|
||
#define that have side effects are still obeyed. */
|
||
|
||
extern char flag_no_output;
|
||
|
||
/* Nonzero means dump macros in some fashion; contains the 'D', 'M' or
|
||
'N' of the command line switch. */
|
||
|
||
extern char flag_dump_macros;
|
||
|
||
/* Nonzero means pass #include lines through to the output. */
|
||
|
||
extern char flag_dump_includes;
|
||
|
||
/* Nonzero means process PCH files while preprocessing. */
|
||
|
||
extern bool flag_pch_preprocess;
|
||
|
||
/* The file name to which we should write a precompiled header, or
|
||
NULL if no header will be written in this compile. */
|
||
|
||
extern const char *pch_file;
|
||
|
||
/* Nonzero if an ISO standard was selected. It rejects macros in the
|
||
user's namespace. */
|
||
|
||
extern int flag_iso;
|
||
|
||
/* Nonzero if -undef was given. It suppresses target built-in macros
|
||
and assertions. */
|
||
|
||
extern int flag_undef;
|
||
|
||
/* Nonzero means don't recognize the non-ANSI builtin functions. */
|
||
|
||
extern int flag_no_builtin;
|
||
|
||
/* Nonzero means don't recognize the non-ANSI builtin functions.
|
||
-ansi sets this. */
|
||
|
||
extern int flag_no_nonansi_builtin;
|
||
|
||
/* Nonzero means give `double' the same size as `float'. */
|
||
|
||
extern int flag_short_double;
|
||
|
||
/* Nonzero means give `wchar_t' the same size as `short'. */
|
||
|
||
extern int flag_short_wchar;
|
||
|
||
/* Nonzero means allow Microsoft extensions without warnings or errors. */
|
||
extern int flag_ms_extensions;
|
||
|
||
/* Nonzero means don't recognize the keyword `asm'. */
|
||
|
||
extern int flag_no_asm;
|
||
|
||
/* Nonzero means give string constants the type `const char *', as mandated
|
||
by the standard. */
|
||
|
||
extern int flag_const_strings;
|
||
|
||
/* Nonzero means to treat bitfields as signed unless they say `unsigned'. */
|
||
|
||
extern int flag_signed_bitfields;
|
||
|
||
/* Warn about #pragma directives that are not recognized. */
|
||
|
||
extern int warn_unknown_pragmas; /* Tri state variable. */
|
||
|
||
/* Warn about format/argument anomalies in calls to formatted I/O functions
|
||
(*printf, *scanf, strftime, strfmon, etc.). */
|
||
|
||
extern int warn_format;
|
||
|
||
|
||
/* C/ObjC language option variables. */
|
||
|
||
|
||
/* Nonzero means allow type mismatches in conditional expressions;
|
||
just make their values `void'. */
|
||
|
||
extern int flag_cond_mismatch;
|
||
|
||
/* Nonzero means enable C89 Amendment 1 features. */
|
||
|
||
extern int flag_isoc94;
|
||
|
||
/* Nonzero means use the ISO C99 dialect of C. */
|
||
|
||
extern int flag_isoc99;
|
||
|
||
/* Nonzero means that we have builtin functions, and main is an int. */
|
||
|
||
extern int flag_hosted;
|
||
|
||
/* Warn if main is suspicious. */
|
||
|
||
extern int warn_main;
|
||
|
||
|
||
/* ObjC language option variables. */
|
||
|
||
|
||
/* Open and close the file for outputting class declarations, if
|
||
requested (ObjC). */
|
||
|
||
extern int flag_gen_declaration;
|
||
|
||
/* Tells the compiler that this is a special run. Do not perform any
|
||
compiling, instead we are to test some platform dependent features
|
||
and output a C header file with appropriate definitions. */
|
||
|
||
extern int print_struct_values;
|
||
|
||
/* ???. Undocumented. */
|
||
|
||
extern const char *constant_string_class_name;
|
||
|
||
|
||
/* C++ language option variables. */
|
||
|
||
|
||
/* Nonzero means don't recognize any extension keywords. */
|
||
|
||
extern int flag_no_gnu_keywords;
|
||
|
||
/* Nonzero means do emit exported implementations of functions even if
|
||
they can be inlined. */
|
||
|
||
extern int flag_implement_inlines;
|
||
|
||
/* Nonzero means that implicit instantiations will be emitted if needed. */
|
||
|
||
extern int flag_implicit_templates;
|
||
|
||
/* Nonzero means that implicit instantiations of inline templates will be
|
||
emitted if needed, even if instantiations of non-inline templates
|
||
aren't. */
|
||
|
||
extern int flag_implicit_inline_templates;
|
||
|
||
/* Nonzero means generate separate instantiation control files and
|
||
juggle them at link time. */
|
||
|
||
extern int flag_use_repository;
|
||
|
||
/* Nonzero if we want to issue diagnostics that the standard says are not
|
||
required. */
|
||
|
||
extern int flag_optional_diags;
|
||
|
||
/* Nonzero means we should attempt to elide constructors when possible. */
|
||
|
||
extern int flag_elide_constructors;
|
||
|
||
/* Nonzero means that member functions defined in class scope are
|
||
inline by default. */
|
||
|
||
extern int flag_default_inline;
|
||
|
||
/* Controls whether compiler generates 'type descriptor' that give
|
||
run-time type information. */
|
||
|
||
extern int flag_rtti;
|
||
|
||
/* Nonzero if we want to conserve space in the .o files. We do this
|
||
by putting uninitialized data and runtime initialized data into
|
||
.common instead of .data at the expense of not flagging multiple
|
||
definitions. */
|
||
|
||
extern int flag_conserve_space;
|
||
|
||
/* Nonzero if we want to obey access control semantics. */
|
||
|
||
extern int flag_access_control;
|
||
|
||
/* Nonzero if we want to check the return value of new and avoid calling
|
||
constructors if it is a null pointer. */
|
||
|
||
extern int flag_check_new;
|
||
|
||
/* Nonzero if we want the new ISO rules for pushing a new scope for `for'
|
||
initialization variables.
|
||
0: Old rules, set by -fno-for-scope.
|
||
2: New ISO rules, set by -ffor-scope.
|
||
1: Try to implement new ISO rules, but with backup compatibility
|
||
(and warnings). This is the default, for now. */
|
||
|
||
extern int flag_new_for_scope;
|
||
|
||
/* Nonzero if we want to emit defined symbols with common-like linkage as
|
||
weak symbols where possible, in order to conform to C++ semantics.
|
||
Otherwise, emit them as local symbols. */
|
||
|
||
extern int flag_weak;
|
||
|
||
/* 0 means we want the preprocessor to not emit line directives for
|
||
the current working directory. 1 means we want it to do it. -1
|
||
means we should decide depending on whether debugging information
|
||
is being emitted or not. */
|
||
|
||
extern int flag_working_directory;
|
||
|
||
/* Nonzero to use __cxa_atexit, rather than atexit, to register
|
||
destructors for local statics and global objects. */
|
||
|
||
extern int flag_use_cxa_atexit;
|
||
|
||
/* Nonzero to use __cxa_get_exception_ptr in the C++ exception-handling
|
||
logic. */
|
||
|
||
extern int flag_use_cxa_get_exception_ptr;
|
||
|
||
/* Nonzero means make the default pedwarns warnings instead of errors.
|
||
The value of this flag is ignored if -pedantic is specified. */
|
||
|
||
extern int flag_permissive;
|
||
|
||
/* Nonzero means to implement standard semantics for exception
|
||
specifications, calling unexpected if an exception is thrown that
|
||
doesn't match the specification. Zero means to treat them as
|
||
assertions and optimize accordingly, but not check them. */
|
||
|
||
extern int flag_enforce_eh_specs;
|
||
|
||
/* Nonzero (the default) means to generate thread-safe code for
|
||
initializing local statics. */
|
||
|
||
extern int flag_threadsafe_statics;
|
||
|
||
/* Nonzero means warn about implicit declarations. */
|
||
|
||
extern int warn_implicit;
|
||
|
||
/* Warn about using __null (as NULL in C++) as sentinel. For code compiled
|
||
with GCC this doesn't matter as __null is guaranteed to have the right
|
||
size. */
|
||
|
||
extern int warn_strict_null_sentinel;
|
||
|
||
/* Maximum template instantiation depth. This limit is rather
|
||
arbitrary, but it exists to limit the time it takes to notice
|
||
infinite template instantiations. */
|
||
|
||
extern int max_tinst_depth;
|
||
|
||
/* Nonzero means the expression being parsed will never be evaluated.
|
||
This is a count, since unevaluated expressions can nest. */
|
||
|
||
extern int skip_evaluation;
|
||
|
||
/* C types are partitioned into three subsets: object, function, and
|
||
incomplete types. */
|
||
#define C_TYPE_OBJECT_P(type) \
|
||
(TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type))
|
||
|
||
#define C_TYPE_INCOMPLETE_P(type) \
|
||
(TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type) == 0)
|
||
|
||
#define C_TYPE_FUNCTION_P(type) \
|
||
(TREE_CODE (type) == FUNCTION_TYPE)
|
||
|
||
/* For convenience we define a single macro to identify the class of
|
||
object or incomplete types. */
|
||
#define C_TYPE_OBJECT_OR_INCOMPLETE_P(type) \
|
||
(!C_TYPE_FUNCTION_P (type))
|
||
|
||
/* Attribute table common to the C front ends. */
|
||
extern const struct attribute_spec c_common_attribute_table[];
|
||
extern const struct attribute_spec c_common_format_attribute_table[];
|
||
|
||
/* Pointer to function to lazily generate the VAR_DECL for __FUNCTION__ etc.
|
||
ID is the identifier to use, NAME is the string.
|
||
TYPE_DEP indicates whether it depends on type of the function or not
|
||
(i.e. __PRETTY_FUNCTION__). */
|
||
|
||
extern tree (*make_fname_decl) (tree, int);
|
||
|
||
extern tree identifier_global_value (tree);
|
||
extern void record_builtin_type (enum rid, const char *, tree);
|
||
extern tree build_void_list_node (void);
|
||
extern void start_fname_decls (void);
|
||
extern void finish_fname_decls (void);
|
||
extern const char *fname_as_string (int);
|
||
extern tree fname_decl (unsigned, tree);
|
||
|
||
extern void check_function_arguments (tree, tree, tree);
|
||
extern void check_function_arguments_recurse (void (*)
|
||
(void *, tree,
|
||
unsigned HOST_WIDE_INT),
|
||
void *, tree,
|
||
unsigned HOST_WIDE_INT);
|
||
extern void check_function_format (tree, tree);
|
||
extern void set_Wformat (int);
|
||
extern tree handle_format_attribute (tree *, tree, tree, int, bool *);
|
||
extern tree handle_format_arg_attribute (tree *, tree, tree, int, bool *);
|
||
extern int c_common_handle_option (size_t code, const char *arg, int value);
|
||
extern bool c_common_missing_argument (const char *opt, size_t code);
|
||
extern tree c_common_type_for_mode (enum machine_mode, int);
|
||
extern tree c_common_type_for_size (unsigned int, int);
|
||
extern tree c_common_unsigned_type (tree);
|
||
extern tree c_common_signed_type (tree);
|
||
extern tree c_common_signed_or_unsigned_type (int, tree);
|
||
extern tree c_build_bitfield_integer_type (unsigned HOST_WIDE_INT, int);
|
||
extern tree c_common_truthvalue_conversion (tree);
|
||
extern void c_apply_type_quals_to_decl (int, tree);
|
||
extern tree c_sizeof_or_alignof_type (tree, bool, int);
|
||
extern tree c_alignof_expr (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 (enum tree_code);
|
||
extern tree fix_string_type (tree);
|
||
struct varray_head_tag;
|
||
extern void constant_expression_warning (tree);
|
||
extern void strict_aliasing_warning(tree, tree, tree);
|
||
extern void empty_body_warning (tree, tree);
|
||
extern tree convert_and_check (tree, tree);
|
||
extern void overflow_warning (tree);
|
||
extern bool c_determine_visibility (tree);
|
||
extern bool same_scalar_type_ignoring_signedness (tree, tree);
|
||
|
||
#define c_sizeof(T) c_sizeof_or_alignof_type (T, true, 1)
|
||
#define c_alignof(T) c_sizeof_or_alignof_type (T, false, 1)
|
||
|
||
/* Subroutine of build_binary_op, used for comparison operations.
|
||
See if the operands have both been converted from subword integer types
|
||
and, if so, perhaps change them both back to their original type. */
|
||
extern tree shorten_compare (tree *, tree *, tree *, enum tree_code *);
|
||
|
||
extern tree pointer_int_sum (enum tree_code, tree, tree);
|
||
extern unsigned int min_precision (tree, int);
|
||
|
||
/* Add qualifiers to a type, in the fashion for C. */
|
||
extern tree c_build_qualified_type (tree, int);
|
||
|
||
/* Build tree nodes and builtin functions common to both C and C++ language
|
||
frontends. */
|
||
extern void c_common_nodes_and_builtins (void);
|
||
|
||
extern void set_builtin_user_assembler_name (tree decl, const char *asmspec);
|
||
|
||
extern void disable_builtin_function (const char *);
|
||
|
||
extern void set_compound_literal_name (tree decl);
|
||
|
||
extern tree build_va_arg (tree, tree);
|
||
|
||
extern unsigned int c_common_init_options (unsigned int, const char **);
|
||
extern bool c_common_post_options (const char **);
|
||
extern bool c_common_init (void);
|
||
extern void c_common_finish (void);
|
||
extern void c_common_parse_file (int);
|
||
extern HOST_WIDE_INT c_common_get_alias_set (tree);
|
||
extern void c_register_builtin_type (tree, const char*);
|
||
extern bool c_promoting_integer_type_p (tree);
|
||
extern int self_promoting_args_p (tree);
|
||
extern tree strip_array_types (tree);
|
||
extern tree strip_pointer_operator (tree);
|
||
extern HOST_WIDE_INT c_common_to_target_charset (HOST_WIDE_INT);
|
||
|
||
/* This is the basic parsing function. */
|
||
extern void c_parse_file (void);
|
||
/* This is misnamed, it actually performs end-of-compilation processing. */
|
||
extern void finish_file (void);
|
||
|
||
|
||
/* These macros provide convenient access to the various _STMT nodes. */
|
||
|
||
/* Nonzero if a given STATEMENT_LIST represents the outermost binding
|
||
if a statement expression. */
|
||
#define STATEMENT_LIST_STMT_EXPR(NODE) \
|
||
TREE_LANG_FLAG_1 (STATEMENT_LIST_CHECK (NODE))
|
||
|
||
/* Nonzero if a label has been added to the statement list. */
|
||
#define STATEMENT_LIST_HAS_LABEL(NODE) \
|
||
TREE_LANG_FLAG_3 (STATEMENT_LIST_CHECK (NODE))
|
||
|
||
/* COMPOUND_LITERAL_EXPR accessors. */
|
||
#define COMPOUND_LITERAL_EXPR_DECL_STMT(NODE) \
|
||
TREE_OPERAND (COMPOUND_LITERAL_EXPR_CHECK (NODE), 0)
|
||
#define COMPOUND_LITERAL_EXPR_DECL(NODE) \
|
||
DECL_EXPR_DECL (COMPOUND_LITERAL_EXPR_DECL_STMT (NODE))
|
||
|
||
#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
|
||
|
||
enum c_tree_code {
|
||
C_DUMMY_TREE_CODE = LAST_AND_UNUSED_TREE_CODE,
|
||
#include "c-common.def"
|
||
LAST_C_TREE_CODE
|
||
};
|
||
|
||
#undef DEFTREECODE
|
||
|
||
extern int anon_aggr_type_p (tree);
|
||
|
||
/* For a VAR_DECL that is an anonymous union, these are the various
|
||
sub-variables that make up the anonymous union. */
|
||
#define DECL_ANON_UNION_ELEMS(NODE) DECL_ARGUMENTS ((NODE))
|
||
|
||
/* In a FIELD_DECL, nonzero if the decl was originally a bitfield. */
|
||
#define DECL_C_BIT_FIELD(NODE) \
|
||
(DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) == 1)
|
||
#define SET_DECL_C_BIT_FIELD(NODE) \
|
||
(DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 1)
|
||
#define CLEAR_DECL_C_BIT_FIELD(NODE) \
|
||
(DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 0)
|
||
|
||
extern void emit_local_var (tree);
|
||
extern tree do_case (tree, tree);
|
||
extern tree build_stmt (enum tree_code, ...);
|
||
extern tree build_case_label (tree, tree, tree);
|
||
|
||
/* 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 build_unary_op (enum tree_code, tree, int);
|
||
extern tree build_binary_op (enum tree_code, tree, tree, int);
|
||
extern tree perform_integral_promotions (tree);
|
||
|
||
/* These functions must be defined by each front-end which implements
|
||
a variant of the C language. They are used by port files. */
|
||
|
||
extern tree default_conversion (tree);
|
||
|
||
/* Given two integer or real types, return the type for their sum.
|
||
Given two compatible ANSI C types, returns the merged type. */
|
||
|
||
extern tree common_type (tree, tree);
|
||
|
||
extern tree decl_constant_value (tree);
|
||
|
||
/* Handle increment and decrement of boolean types. */
|
||
extern tree boolean_increment (enum tree_code, tree);
|
||
|
||
extern int case_compare (splay_tree_key, splay_tree_key);
|
||
|
||
extern tree c_add_case_label (splay_tree, tree, tree, tree, tree);
|
||
|
||
extern void c_do_switch_warnings (splay_tree, location_t, tree, tree);
|
||
|
||
extern tree build_function_call (tree, tree);
|
||
|
||
extern tree resolve_overloaded_builtin (tree, tree);
|
||
|
||
extern tree finish_label_address_expr (tree);
|
||
|
||
/* Same function prototype, but the C and C++ front ends have
|
||
different implementations. Used in c-common.c. */
|
||
extern tree lookup_label (tree);
|
||
extern tree lookup_name (tree);
|
||
|
||
extern int vector_types_convertible_p (tree t1, tree t2);
|
||
|
||
extern rtx c_expand_expr (tree, rtx, enum machine_mode, int, rtx *);
|
||
|
||
extern tree c_staticp (tree);
|
||
|
||
extern void init_c_lex (void);
|
||
|
||
extern void c_cpp_builtins (cpp_reader *);
|
||
|
||
/* Positive if an implicit `extern "C"' scope has just been entered;
|
||
negative if such a scope has just been exited. */
|
||
extern GTY(()) int pending_lang_change;
|
||
|
||
/* Information recorded about each file examined during compilation. */
|
||
|
||
struct c_fileinfo
|
||
{
|
||
int time; /* Time spent in the file. */
|
||
|
||
/* Flags used only by C++.
|
||
INTERFACE_ONLY nonzero means that we are in an "interface" section
|
||
of the compiler. INTERFACE_UNKNOWN nonzero means we cannot trust
|
||
the value of INTERFACE_ONLY. If INTERFACE_UNKNOWN is zero and
|
||
INTERFACE_ONLY is zero, it means that we are responsible for
|
||
exporting definitions that others might need. */
|
||
short interface_only;
|
||
short interface_unknown;
|
||
};
|
||
|
||
struct c_fileinfo *get_fileinfo (const char *);
|
||
extern void dump_time_statistics (void);
|
||
|
||
extern bool c_dump_tree (void *, tree);
|
||
|
||
extern void c_warn_unused_result (tree *);
|
||
|
||
extern void verify_sequence_points (tree);
|
||
|
||
extern tree fold_offsetof (tree, tree);
|
||
|
||
/* Places where an lvalue, or modifiable lvalue, may be required.
|
||
Used to select diagnostic messages in lvalue_error and
|
||
readonly_error. */
|
||
enum lvalue_use {
|
||
lv_assign,
|
||
lv_increment,
|
||
lv_decrement,
|
||
lv_addressof,
|
||
lv_asm
|
||
};
|
||
|
||
extern void lvalue_error (enum lvalue_use);
|
||
|
||
extern int complete_array_type (tree *, tree, bool);
|
||
|
||
extern tree builtin_type_for_size (int, bool);
|
||
|
||
extern void warn_array_subscript_with_type_char (tree);
|
||
|
||
/* In c-gimplify.c */
|
||
extern void c_genericize (tree);
|
||
extern int c_gimplify_expr (tree *, tree *, tree *);
|
||
extern tree c_build_bind_expr (tree, tree);
|
||
|
||
/* In c-pch.c */
|
||
extern void pch_init (void);
|
||
extern int c_common_valid_pch (cpp_reader *pfile, const char *name, int fd);
|
||
extern void c_common_read_pch (cpp_reader *pfile, const char *name, int fd,
|
||
const char *orig);
|
||
extern void c_common_write_pch (void);
|
||
extern void c_common_no_more_pch (void);
|
||
extern void c_common_pch_pragma (cpp_reader *pfile, const char *);
|
||
extern void c_common_print_pch_checksum (FILE *f);
|
||
|
||
/* In *-checksum.c */
|
||
extern const unsigned char executable_checksum[16];
|
||
|
||
extern void builtin_define_with_value (const char *, const char *, int);
|
||
extern void c_stddef_cpp_builtins (void);
|
||
extern void fe_file_change (const struct line_map *);
|
||
extern void c_parse_error (const char *, enum cpp_ttype, tree);
|
||
|
||
/* Objective-C / Objective-C++ entry points. */
|
||
|
||
/* The following ObjC/ObjC++ functions are called by the C and/or C++
|
||
front-ends; they all must have corresponding stubs in stub-objc.c. */
|
||
extern tree objc_is_class_name (tree);
|
||
extern tree objc_is_object_ptr (tree);
|
||
extern void objc_check_decl (tree);
|
||
extern int objc_is_reserved_word (tree);
|
||
extern bool objc_compare_types (tree, tree, int, tree);
|
||
extern void objc_volatilize_decl (tree);
|
||
extern bool objc_type_quals_match (tree, tree);
|
||
extern tree objc_rewrite_function_call (tree, tree);
|
||
extern tree objc_message_selector (void);
|
||
extern tree objc_lookup_ivar (tree, tree);
|
||
extern void objc_clear_super_receiver (void);
|
||
extern int objc_is_public (tree, tree);
|
||
extern tree objc_is_id (tree);
|
||
extern void objc_declare_alias (tree, tree);
|
||
extern void objc_declare_class (tree);
|
||
extern void objc_declare_protocols (tree);
|
||
extern tree objc_build_message_expr (tree);
|
||
extern tree objc_finish_message_expr (tree, tree, tree);
|
||
extern tree objc_build_selector_expr (tree);
|
||
extern tree objc_build_protocol_expr (tree);
|
||
extern tree objc_build_encode_expr (tree);
|
||
extern tree objc_build_string_object (tree);
|
||
extern tree objc_get_protocol_qualified_type (tree, tree);
|
||
extern tree objc_get_class_reference (tree);
|
||
extern tree objc_get_class_ivars (tree);
|
||
extern void objc_start_class_interface (tree, tree, tree);
|
||
extern void objc_start_category_interface (tree, tree, tree);
|
||
extern void objc_start_protocol (tree, tree);
|
||
extern void objc_continue_interface (void);
|
||
extern void objc_finish_interface (void);
|
||
extern void objc_start_class_implementation (tree, tree);
|
||
extern void objc_start_category_implementation (tree, tree);
|
||
extern void objc_continue_implementation (void);
|
||
extern void objc_finish_implementation (void);
|
||
extern void objc_set_visibility (int);
|
||
extern void objc_set_method_type (enum tree_code);
|
||
extern tree objc_build_method_signature (tree, tree, tree, bool);
|
||
extern void objc_add_method_declaration (tree);
|
||
extern void objc_start_method_definition (tree);
|
||
extern void objc_finish_method_definition (tree);
|
||
extern void objc_add_instance_variable (tree);
|
||
extern tree objc_build_keyword_decl (tree, tree, tree);
|
||
extern tree objc_build_throw_stmt (tree);
|
||
extern void objc_begin_try_stmt (location_t, tree);
|
||
extern tree objc_finish_try_stmt (void);
|
||
extern void objc_begin_catch_clause (tree);
|
||
extern void objc_finish_catch_clause (void);
|
||
extern void objc_build_finally_clause (location_t, tree);
|
||
extern tree objc_build_synchronized (location_t, tree, tree);
|
||
extern int objc_static_init_needed_p (void);
|
||
extern tree objc_generate_static_init_call (tree);
|
||
extern tree objc_generate_write_barrier (tree, enum tree_code, tree);
|
||
|
||
/* The following are provided by the C and C++ front-ends, and called by
|
||
ObjC/ObjC++. */
|
||
extern void *objc_get_current_scope (void);
|
||
extern void objc_mark_locals_volatile (void *);
|
||
|
||
/* In c-ppoutput.c */
|
||
extern void init_pp_output (FILE *);
|
||
extern void preprocess_file (cpp_reader *);
|
||
extern void pp_file_change (const struct line_map *);
|
||
extern void pp_dir_change (cpp_reader *, const char *);
|
||
extern bool check_missing_format_attribute (tree, tree);
|
||
|
||
/* In c-omp.c */
|
||
extern tree c_finish_omp_master (tree);
|
||
extern tree c_finish_omp_critical (tree, tree);
|
||
extern tree c_finish_omp_ordered (tree);
|
||
extern void c_finish_omp_barrier (void);
|
||
extern tree c_finish_omp_atomic (enum tree_code, tree, tree);
|
||
extern void c_finish_omp_flush (void);
|
||
extern tree c_finish_omp_for (location_t, tree, tree, tree, tree, tree, tree);
|
||
extern void c_split_parallel_clauses (tree, tree *, tree *);
|
||
extern enum omp_clause_default_kind c_omp_predetermined_sharing (tree);
|
||
|
||
/* Not in c-omp.c; provided by the front end. */
|
||
extern bool c_omp_sharing_predetermined (tree);
|
||
extern tree c_omp_remap_decl (tree, bool);
|
||
|
||
/* In order for the format checking to accept the C frontend
|
||
diagnostic framework extensions, you must include this file before
|
||
toplev.h, not after. The C front end formats are a subset of those
|
||
for C++, so they are the appropriate set to use in common code;
|
||
cp-tree.h overrides this for C++. */
|
||
#ifndef GCC_DIAG_STYLE
|
||
#define GCC_DIAG_STYLE __gcc_cdiag__
|
||
#endif
|
||
|
||
#endif /* ! GCC_C_COMMON_H */
|