1 /* Language-dependent hooks for C++.
2 Copyright 2001, 2002 Free Software Foundation, Inc.
3 Contributed by Alexandre Oliva <aoliva@redhat.com>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
24 #include "coretypes.h"
30 #include "langhooks.h"
31 #include "langhooks-def.h"
32 #include "diagnostic.h"
33 #include "cxx-pretty-print.h"
35 enum c_language_kind c_language = clk_cxx;
37 static HOST_WIDE_INT cxx_get_alias_set (tree);
38 static bool ok_to_generate_alias_set_for_type (tree);
39 static bool cxx_warn_unused_global_decl (tree);
40 static tree cp_expr_size (tree);
41 static size_t cp_tree_size (enum tree_code);
42 static bool cp_var_mod_type_p (tree);
43 static void cxx_initialize_diagnostics (diagnostic_context *);
45 #undef LANG_HOOKS_NAME
46 #define LANG_HOOKS_NAME "GNU C++"
47 #undef LANG_HOOKS_TREE_SIZE
48 #define LANG_HOOKS_TREE_SIZE cp_tree_size
49 #undef LANG_HOOKS_INIT
50 #define LANG_HOOKS_INIT cxx_init
51 #undef LANG_HOOKS_FINISH
52 #define LANG_HOOKS_FINISH cxx_finish
53 #undef LANG_HOOKS_CLEAR_BINDING_STACK
54 #define LANG_HOOKS_CLEAR_BINDING_STACK pop_everything
55 #undef LANG_HOOKS_INIT_OPTIONS
56 #define LANG_HOOKS_INIT_OPTIONS c_common_init_options
57 #undef LANG_HOOKS_INITIALIZE_DIAGNOSTICS
58 #define LANG_HOOKS_INITIALIZE_DIAGNOSTICS cxx_initialize_diagnostics
59 #undef LANG_HOOKS_HANDLE_OPTION
60 #define LANG_HOOKS_HANDLE_OPTION c_common_handle_option
61 #undef LANG_HOOKS_HANDLE_FILENAME
62 #define LANG_HOOKS_HANDLE_FILENAME c_common_handle_filename
63 #undef LANG_HOOKS_MISSING_ARGUMENT
64 #define LANG_HOOKS_MISSING_ARGUMENT c_common_missing_argument
65 #undef LANG_HOOKS_POST_OPTIONS
66 #define LANG_HOOKS_POST_OPTIONS c_common_post_options
67 #undef LANG_HOOKS_GET_ALIAS_SET
68 #define LANG_HOOKS_GET_ALIAS_SET cxx_get_alias_set
69 #undef LANG_HOOKS_EXPAND_CONSTANT
70 #define LANG_HOOKS_EXPAND_CONSTANT cplus_expand_constant
71 #undef LANG_HOOKS_EXPAND_EXPR
72 #define LANG_HOOKS_EXPAND_EXPR cxx_expand_expr
73 #undef LANG_HOOKS_SAFE_FROM_P
74 #define LANG_HOOKS_SAFE_FROM_P c_safe_from_p
75 #undef LANG_HOOKS_PARSE_FILE
76 #define LANG_HOOKS_PARSE_FILE c_common_parse_file
77 #undef LANG_HOOKS_DUP_LANG_SPECIFIC_DECL
78 #define LANG_HOOKS_DUP_LANG_SPECIFIC_DECL cxx_dup_lang_specific_decl
79 #undef LANG_HOOKS_UNSAVE_EXPR_NOW
80 #define LANG_HOOKS_UNSAVE_EXPR_NOW cxx_unsave_expr_now
81 #undef LANG_HOOKS_MAYBE_BUILD_CLEANUP
82 #define LANG_HOOKS_MAYBE_BUILD_CLEANUP cxx_maybe_build_cleanup
83 #undef LANG_HOOKS_TRUTHVALUE_CONVERSION
84 #define LANG_HOOKS_TRUTHVALUE_CONVERSION c_common_truthvalue_conversion
85 #undef LANG_HOOKS_UNSAFE_FOR_REEVAL
86 #define LANG_HOOKS_UNSAFE_FOR_REEVAL c_common_unsafe_for_reeval
87 #undef LANG_HOOKS_SET_DECL_ASSEMBLER_NAME
88 #define LANG_HOOKS_SET_DECL_ASSEMBLER_NAME mangle_decl
89 #undef LANG_HOOKS_MARK_ADDRESSABLE
90 #define LANG_HOOKS_MARK_ADDRESSABLE cxx_mark_addressable
91 #undef LANG_HOOKS_PRINT_STATISTICS
92 #define LANG_HOOKS_PRINT_STATISTICS cxx_print_statistics
93 #undef LANG_HOOKS_PRINT_XNODE
94 #define LANG_HOOKS_PRINT_XNODE cxx_print_xnode
95 #undef LANG_HOOKS_PRINT_DECL
96 #define LANG_HOOKS_PRINT_DECL cxx_print_decl
97 #undef LANG_HOOKS_PRINT_TYPE
98 #define LANG_HOOKS_PRINT_TYPE cxx_print_type
99 #undef LANG_HOOKS_PRINT_IDENTIFIER
100 #define LANG_HOOKS_PRINT_IDENTIFIER cxx_print_identifier
101 #undef LANG_HOOKS_DECL_PRINTABLE_NAME
102 #define LANG_HOOKS_DECL_PRINTABLE_NAME cxx_printable_name
103 #undef LANG_HOOKS_PRINT_ERROR_FUNCTION
104 #define LANG_HOOKS_PRINT_ERROR_FUNCTION cxx_print_error_function
105 #undef LANG_HOOKS_PUSHLEVEL
106 #define LANG_HOOKS_PUSHLEVEL lhd_do_nothing_i
107 #undef LANG_HOOKS_POPLEVEL
108 #define LANG_HOOKS_POPLEVEL lhd_do_nothing_iii_return_null_tree
109 #undef LANG_HOOKS_WARN_UNUSED_GLOBAL_DECL
110 #define LANG_HOOKS_WARN_UNUSED_GLOBAL_DECL cxx_warn_unused_global_decl
111 #undef LANG_HOOKS_WRITE_GLOBALS
112 #define LANG_HOOKS_WRITE_GLOBALS lhd_do_nothing
113 #undef LANG_HOOKS_DECL_UNINIT
114 #define LANG_HOOKS_DECL_UNINIT c_decl_uninit
117 #undef LANG_HOOKS_FUNCTION_INIT
118 #define LANG_HOOKS_FUNCTION_INIT cxx_push_function_context
119 #undef LANG_HOOKS_FUNCTION_FINAL
120 #define LANG_HOOKS_FUNCTION_FINAL cxx_pop_function_context
122 #undef LANG_HOOKS_RTL_EXPAND_START
123 #define LANG_HOOKS_RTL_EXPAND_START cxx_expand_function_start
124 #undef LANG_HOOKS_RTL_EXPAND_STMT
125 #define LANG_HOOKS_RTL_EXPAND_STMT expand_stmt
127 /* Attribute hooks. */
128 #undef LANG_HOOKS_COMMON_ATTRIBUTE_TABLE
129 #define LANG_HOOKS_COMMON_ATTRIBUTE_TABLE c_common_attribute_table
130 #undef LANG_HOOKS_FORMAT_ATTRIBUTE_TABLE
131 #define LANG_HOOKS_FORMAT_ATTRIBUTE_TABLE c_common_format_attribute_table
132 #undef LANG_HOOKS_ATTRIBUTE_TABLE
133 #define LANG_HOOKS_ATTRIBUTE_TABLE cxx_attribute_table
135 #undef LANG_HOOKS_TREE_INLINING_WALK_SUBTREES
136 #define LANG_HOOKS_TREE_INLINING_WALK_SUBTREES \
138 #undef LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN
139 #define LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN \
140 cp_cannot_inline_tree_fn
141 #undef LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS
142 #define LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS \
143 cp_add_pending_fn_decls
144 #undef LANG_HOOKS_TREE_INLINING_TREE_CHAIN_MATTERS_P
145 #define LANG_HOOKS_TREE_INLINING_TREE_CHAIN_MATTERS_P \
147 #undef LANG_HOOKS_TREE_INLINING_AUTO_VAR_IN_FN_P
148 #define LANG_HOOKS_TREE_INLINING_AUTO_VAR_IN_FN_P \
150 #undef LANG_HOOKS_TREE_INLINING_COPY_RES_DECL_FOR_INLINING
151 #define LANG_HOOKS_TREE_INLINING_COPY_RES_DECL_FOR_INLINING \
152 cp_copy_res_decl_for_inlining
153 #undef LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P
154 #define LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P anon_aggr_type_p
155 #undef LANG_HOOKS_TREE_INLINING_VAR_MOD_TYPE_P
156 #define LANG_HOOKS_TREE_INLINING_VAR_MOD_TYPE_P cp_var_mod_type_p
157 #undef LANG_HOOKS_TREE_INLINING_START_INLINING
158 #define LANG_HOOKS_TREE_INLINING_START_INLINING cp_start_inlining
159 #undef LANG_HOOKS_TREE_INLINING_END_INLINING
160 #define LANG_HOOKS_TREE_INLINING_END_INLINING cp_end_inlining
161 #undef LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS
162 #define LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS c_estimate_num_insns
163 #undef LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN
164 #define LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN cp_dump_tree
165 #undef LANG_HOOKS_TREE_DUMP_TYPE_QUALS_FN
166 #define LANG_HOOKS_TREE_DUMP_TYPE_QUALS_FN cp_type_quals
167 #undef LANG_HOOKS_EXPR_SIZE
168 #define LANG_HOOKS_EXPR_SIZE cp_expr_size
170 #undef LANG_HOOKS_CALLGRAPH_ANALYZE_EXPR
171 #define LANG_HOOKS_CALLGRAPH_ANALYZE_EXPR cxx_callgraph_analyze_expr
172 #undef LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION
173 #define LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION expand_body
175 #undef LANG_HOOKS_MAKE_TYPE
176 #define LANG_HOOKS_MAKE_TYPE cxx_make_type
177 #undef LANG_HOOKS_TYPE_FOR_MODE
178 #define LANG_HOOKS_TYPE_FOR_MODE c_common_type_for_mode
179 #undef LANG_HOOKS_TYPE_FOR_SIZE
180 #define LANG_HOOKS_TYPE_FOR_SIZE c_common_type_for_size
181 #undef LANG_HOOKS_SIGNED_TYPE
182 #define LANG_HOOKS_SIGNED_TYPE c_common_signed_type
183 #undef LANG_HOOKS_UNSIGNED_TYPE
184 #define LANG_HOOKS_UNSIGNED_TYPE c_common_unsigned_type
185 #undef LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE
186 #define LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE c_common_signed_or_unsigned_type
187 #undef LANG_HOOKS_INCOMPLETE_TYPE_ERROR
188 #define LANG_HOOKS_INCOMPLETE_TYPE_ERROR cxx_incomplete_type_error
189 #undef LANG_HOOKS_TYPE_PROMOTES_TO
190 #define LANG_HOOKS_TYPE_PROMOTES_TO cxx_type_promotes_to
191 #undef LANG_HOOKS_REGISTER_BUILTIN_TYPE
192 #define LANG_HOOKS_REGISTER_BUILTIN_TYPE c_register_builtin_type
194 /* Each front end provides its own hooks, for toplev.c. */
195 const struct lang_hooks lang_hooks = LANG_HOOKS_INITIALIZER;
197 /* Tree code classes. */
199 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE,
201 const char tree_code_type[] = {
204 #include "c-common.def"
206 #include "cp-tree.def"
210 /* Table indexed by tree code giving number of expression
211 operands beyond the fixed part of the node structure.
212 Not used for types or decls. */
214 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) LENGTH,
216 const unsigned char tree_code_length[] = {
219 #include "c-common.def"
221 #include "cp-tree.def"
225 /* Names of tree components.
226 Used for printing out the tree and error messages. */
227 #define DEFTREECODE(SYM, NAME, TYPE, LEN) NAME,
229 const char *const tree_code_name[] = {
232 #include "c-common.def"
234 #include "cp-tree.def"
238 /* Check if a C++ type is safe for aliasing.
239 Return TRUE if T safe for aliasing FALSE otherwise. */
242 ok_to_generate_alias_set_for_type (tree t)
244 if (TYPE_PTRMEMFUNC_P (t))
246 if (AGGREGATE_TYPE_P (t))
248 if ((TREE_CODE (t) == RECORD_TYPE) || (TREE_CODE (t) == UNION_TYPE))
251 /* Backend-created structs are safe. */
252 if (! CLASS_TYPE_P (t))
255 if (! CLASSTYPE_NON_POD_P(t))
257 /* Classes with virtual baseclasses are not. */
258 if (TYPE_USES_VIRTUAL_BASECLASSES (t))
260 /* Recursively check the base classes. */
261 if (TYPE_BINFO (t) != NULL && TYPE_BINFO_BASETYPES (t) != NULL)
264 for (i = 0; i < TREE_VEC_LENGTH (TYPE_BINFO_BASETYPES (t)); i++)
266 tree binfo = TREE_VEC_ELT (TYPE_BINFO_BASETYPES (t), i);
267 if (!ok_to_generate_alias_set_for_type (BINFO_TYPE (binfo)))
271 /* Check all the fields. */
272 for (fields = TYPE_FIELDS (t); fields; fields = TREE_CHAIN (fields))
274 if (TREE_CODE (fields) != FIELD_DECL)
276 if (! ok_to_generate_alias_set_for_type (TREE_TYPE (fields)))
281 else if (TREE_CODE (t) == ARRAY_TYPE)
282 return ok_to_generate_alias_set_for_type (TREE_TYPE (t));
284 /* This should never happen, we dealt with all the aggregate
285 types that can appear in C++ above. */
292 /* Special routine to get the alias set for C++. */
295 cxx_get_alias_set (tree t)
298 if (/* It's not yet safe to use alias sets for some classes in C++. */
299 !ok_to_generate_alias_set_for_type (t)
300 /* Nor is it safe to use alias sets for pointers-to-member
301 functions, due to the fact that there may be more than one
302 RECORD_TYPE type corresponding to the same pointer-to-member
304 || TYPE_PTRMEMFUNC_P (t))
307 return c_common_get_alias_set (t);
310 /* Called from check_global_declarations. */
313 cxx_warn_unused_global_decl (tree decl)
315 if (TREE_CODE (decl) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (decl))
317 if (DECL_IN_SYSTEM_HEADER (decl))
320 /* Const variables take the place of #defines in C++. */
321 if (TREE_CODE (decl) == VAR_DECL && TREE_READONLY (decl))
327 /* Langhook for expr_size: Tell the backend that the value of an expression
328 of non-POD class type does not include any tail padding; a derived class
329 might have allocated something there. */
332 cp_expr_size (tree exp)
334 if (CLASS_TYPE_P (TREE_TYPE (exp)))
336 /* The backend should not be interested in the size of an expression
337 of a type with both of these set; all copies of such types must go
338 through a constructor or assignment op. */
339 if (TYPE_HAS_COMPLEX_INIT_REF (TREE_TYPE (exp))
340 && TYPE_HAS_COMPLEX_ASSIGN_REF (TREE_TYPE (exp))
341 /* But storing a CONSTRUCTOR isn't a copy. */
342 && TREE_CODE (exp) != CONSTRUCTOR)
344 /* This would be wrong for a type with virtual bases, but they are
345 caught by the abort above. */
346 return CLASSTYPE_SIZE_UNIT (TREE_TYPE (exp));
349 /* Use the default code. */
350 return lhd_expr_size (exp);
353 /* Langhook for tree_size: determine size of our 'x' and 'c' nodes. */
355 cp_tree_size (enum tree_code code)
359 case PTRMEM_CST: return sizeof (struct ptrmem_cst);
360 case BASELINK: return sizeof (struct tree_baselink);
361 case TEMPLATE_PARM_INDEX: return sizeof (template_parm_index);
362 case DEFAULT_ARG: return sizeof (struct tree_default_arg);
363 case OVERLOAD: return sizeof (struct tree_overload);
364 case WRAPPER: return sizeof (struct tree_wrapper);
371 /* Returns true if T is a variably modified type, in the sense of C99.
372 This routine needs only check cases that cannot be handled by the
373 language-independent logic in tree-inline.c. */
376 cp_var_mod_type_p (tree type)
378 /* If TYPE is a pointer-to-member, it is variably modified if either
379 the class or the member are variably modified. */
380 if (TYPE_PTR_TO_MEMBER_P (type))
381 return (variably_modified_type_p (TYPE_PTRMEM_CLASS_TYPE (type))
382 || variably_modified_type_p (TYPE_PTRMEM_POINTED_TO_TYPE (type)));
384 /* All other types are not variably modified. */
388 /* Stub routine to tell people that this doesn't work yet. */
392 sorry ("inter-module optimisations not implemented yet");
395 /* Construct a C++-aware pretty-printer for CONTEXT. It is assumed
396 that CONTEXT->printer is an already constructed basic pretty_printer. */
398 cxx_initialize_diagnostics (diagnostic_context *context)
400 pretty_printer *base = context->printer;
401 cxx_pretty_printer *pp = xmalloc (sizeof (cxx_pretty_printer));
402 memcpy (pp_base (pp), base, sizeof (pretty_printer));
403 pp_cxx_pretty_printer_init (pp);
404 context->printer = (pretty_printer *) pp;
406 /* It is safe to free this object because it was previously malloc()'d. */