1 /* Some code common to C++ and ObjC++ front ends.
2 Copyright (C) 2004-2014 Free Software Foundation, Inc.
3 Contributed by Ziemowit Laski <zlaski@apple.com>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
23 #include "coretypes.h"
27 #include "c-family/c-common.h"
28 #include "langhooks.h"
29 #include "langhooks-def.h"
30 #include "diagnostic.h"
32 #include "cxx-pretty-print.h"
33 #include "cp-objcp-common.h"
35 /* Special routine to get the alias set for C++. */
38 cxx_get_alias_set (tree t
)
40 if (IS_FAKE_BASE_TYPE (t
))
41 /* The base variant of a type must be in the same alias set as the
43 return get_alias_set (TYPE_CONTEXT (t
));
45 /* Punt on PMFs until we canonicalize functions properly. */
46 if (TYPE_PTRMEMFUNC_P (t
)
47 || (POINTER_TYPE_P (t
)
48 && TYPE_PTRMEMFUNC_P (TREE_TYPE (t
))))
51 return c_common_get_alias_set (t
);
54 /* Called from check_global_declarations. */
57 cxx_warn_unused_global_decl (const_tree decl
)
59 if (TREE_CODE (decl
) == FUNCTION_DECL
&& DECL_DECLARED_INLINE_P (decl
))
61 if (DECL_IN_SYSTEM_HEADER (decl
))
64 /* Const variables take the place of #defines in C++. */
65 if (VAR_P (decl
) && TREE_READONLY (decl
))
71 /* Langhook for tree_size: determine size of our 'x' and 'c' nodes. */
73 cp_tree_size (enum tree_code code
)
77 case PTRMEM_CST
: return sizeof (struct ptrmem_cst
);
78 case BASELINK
: return sizeof (struct tree_baselink
);
79 case TEMPLATE_PARM_INDEX
: return sizeof (template_parm_index
);
80 case DEFAULT_ARG
: return sizeof (struct tree_default_arg
);
81 case DEFERRED_NOEXCEPT
: return sizeof (struct tree_deferred_noexcept
);
82 case OVERLOAD
: return sizeof (struct tree_overload
);
83 case STATIC_ASSERT
: return sizeof (struct tree_static_assert
);
84 case TYPE_ARGUMENT_PACK
:
85 case TYPE_PACK_EXPANSION
:
86 return sizeof (struct tree_common
);
88 case NONTYPE_ARGUMENT_PACK
:
89 case EXPR_PACK_EXPANSION
:
90 return sizeof (struct tree_exp
);
92 case ARGUMENT_PACK_SELECT
:
93 return sizeof (struct tree_argument_pack_select
);
96 return sizeof (struct tree_trait_expr
);
98 case LAMBDA_EXPR
: return sizeof (struct tree_lambda_expr
);
100 case TEMPLATE_INFO
: return sizeof (struct tree_template_info
);
102 case USERDEF_LITERAL
: return sizeof (struct tree_userdef_literal
);
104 case TEMPLATE_DECL
: return sizeof (struct tree_template_decl
);
107 if (TREE_CODE_CLASS (code
) == tcc_declaration
)
108 return sizeof (struct tree_decl_non_common
);
114 /* Returns true if T is a variably modified type, in the sense of C99.
115 FN is as passed to variably_modified_p.
116 This routine needs only check cases that cannot be handled by the
117 language-independent logic in tree.c. */
120 cp_var_mod_type_p (tree type
, tree fn
)
122 /* If TYPE is a pointer-to-member, it is variably modified if either
123 the class or the member are variably modified. */
124 if (TYPE_PTRMEM_P (type
))
125 return (variably_modified_type_p (TYPE_PTRMEM_CLASS_TYPE (type
), fn
)
126 || variably_modified_type_p (TYPE_PTRMEM_POINTED_TO_TYPE (type
),
129 /* All other types are not variably modified. */
133 /* This compares two types for equivalence ("compatible" in C-based languages).
134 This routine should only return 1 if it is sure. It should not be used
135 in contexts where erroneously returning 0 causes problems. */
138 cxx_types_compatible_p (tree x
, tree y
)
140 return same_type_ignoring_top_level_qualifiers_p (x
, y
);
143 /* Return true if DECL is explicit member function. */
146 cp_function_decl_explicit_p (tree decl
)
149 && DECL_LANG_SPECIFIC (STRIP_TEMPLATE (decl
))
150 && DECL_NONCONVERTING_P (decl
));
153 /* Return true if DECL is deleted special member function. */
156 cp_function_decl_deleted_p (tree decl
)
159 && DECL_LANG_SPECIFIC (STRIP_TEMPLATE (decl
))
160 && DECL_DELETED_FN (decl
));
163 /* Stubs to keep c-opts.c happy. */
165 push_file_scope (void)
170 pop_file_scope (void)
174 /* c-pragma.c needs to query whether a decl has extern "C" linkage. */
176 has_c_linkage (const_tree decl
)
178 return DECL_EXTERN_C_P (decl
);
182 hash_table
<tree_decl_map_cache_hasher
> *shadowed_var_for_decl
;
184 /* Lookup a shadowed var for FROM, and return it if we find one. */
187 decl_shadowed_for_var_lookup (tree from
)
189 struct tree_decl_map
*h
, in
;
192 h
= shadowed_var_for_decl
->find_with_hash (&in
, DECL_UID (from
));
198 /* Insert a mapping FROM->TO in the shadowed var hashtable. */
201 decl_shadowed_for_var_insert (tree from
, tree to
)
203 struct tree_decl_map
*h
;
205 h
= ggc_alloc
<tree_decl_map
> ();
208 *shadowed_var_for_decl
->find_slot_with_hash (h
, DECL_UID (from
), INSERT
) = h
;
212 init_shadowed_var_for_decl (void)
214 shadowed_var_for_decl
215 = hash_table
<tree_decl_map_cache_hasher
>::create_ggc (512);
218 /* Return true if stmt can fall through. Used by block_may_fallthru
222 cxx_block_may_fallthru (const_tree stmt
)
224 switch (TREE_CODE (stmt
))
227 return block_may_fallthru (EXPR_STMT_EXPR (stmt
));
238 cp_common_init_ts (void)
240 MARK_TS_DECL_NON_COMMON (USING_DECL
);
241 MARK_TS_DECL_COMMON (TEMPLATE_DECL
);
243 MARK_TS_COMMON (TEMPLATE_TEMPLATE_PARM
);
244 MARK_TS_COMMON (TEMPLATE_TYPE_PARM
);
245 MARK_TS_COMMON (TEMPLATE_PARM_INDEX
);
246 MARK_TS_COMMON (OVERLOAD
);
247 MARK_TS_COMMON (TEMPLATE_INFO
);
248 MARK_TS_COMMON (TYPENAME_TYPE
);
249 MARK_TS_COMMON (TYPEOF_TYPE
);
250 MARK_TS_COMMON (UNDERLYING_TYPE
);
251 MARK_TS_COMMON (BASELINK
);
252 MARK_TS_COMMON (TYPE_PACK_EXPANSION
);
253 MARK_TS_COMMON (TYPE_ARGUMENT_PACK
);
254 MARK_TS_COMMON (DECLTYPE_TYPE
);
255 MARK_TS_COMMON (BOUND_TEMPLATE_TEMPLATE_PARM
);
256 MARK_TS_COMMON (UNBOUND_CLASS_TEMPLATE
);
258 MARK_TS_TYPED (EXPR_PACK_EXPANSION
);
259 MARK_TS_TYPED (SWITCH_STMT
);
260 MARK_TS_TYPED (IF_STMT
);
261 MARK_TS_TYPED (FOR_STMT
);
262 MARK_TS_TYPED (RANGE_FOR_STMT
);
263 MARK_TS_TYPED (AGGR_INIT_EXPR
);
264 MARK_TS_TYPED (EXPR_STMT
);
265 MARK_TS_TYPED (EH_SPEC_BLOCK
);
266 MARK_TS_TYPED (CLEANUP_STMT
);
267 MARK_TS_TYPED (SCOPE_REF
);
268 MARK_TS_TYPED (CAST_EXPR
);
269 MARK_TS_TYPED (NON_DEPENDENT_EXPR
);
270 MARK_TS_TYPED (MODOP_EXPR
);
271 MARK_TS_TYPED (TRY_BLOCK
);
272 MARK_TS_TYPED (THROW_EXPR
);
273 MARK_TS_TYPED (HANDLER
);
274 MARK_TS_TYPED (REINTERPRET_CAST_EXPR
);
275 MARK_TS_TYPED (CONST_CAST_EXPR
);
276 MARK_TS_TYPED (STATIC_CAST_EXPR
);
277 MARK_TS_TYPED (DYNAMIC_CAST_EXPR
);
278 MARK_TS_TYPED (IMPLICIT_CONV_EXPR
);
279 MARK_TS_TYPED (TEMPLATE_ID_EXPR
);
280 MARK_TS_TYPED (ARROW_EXPR
);
281 MARK_TS_TYPED (SIZEOF_EXPR
);
282 MARK_TS_TYPED (ALIGNOF_EXPR
);
283 MARK_TS_TYPED (AT_ENCODE_EXPR
);
284 MARK_TS_TYPED (UNARY_PLUS_EXPR
);
285 MARK_TS_TYPED (TRAIT_EXPR
);
286 MARK_TS_TYPED (TYPE_ARGUMENT_PACK
);
287 MARK_TS_TYPED (NOEXCEPT_EXPR
);
288 MARK_TS_TYPED (NONTYPE_ARGUMENT_PACK
);
289 MARK_TS_TYPED (WHILE_STMT
);
290 MARK_TS_TYPED (NEW_EXPR
);
291 MARK_TS_TYPED (VEC_NEW_EXPR
);
292 MARK_TS_TYPED (BREAK_STMT
);
293 MARK_TS_TYPED (MEMBER_REF
);
294 MARK_TS_TYPED (DOTSTAR_EXPR
);
295 MARK_TS_TYPED (DO_STMT
);
296 MARK_TS_TYPED (DELETE_EXPR
);
297 MARK_TS_TYPED (VEC_DELETE_EXPR
);
298 MARK_TS_TYPED (CONTINUE_STMT
);
299 MARK_TS_TYPED (TAG_DEFN
);
300 MARK_TS_TYPED (PSEUDO_DTOR_EXPR
);
301 MARK_TS_TYPED (TYPEID_EXPR
);
302 MARK_TS_TYPED (MUST_NOT_THROW_EXPR
);
303 MARK_TS_TYPED (STMT_EXPR
);
304 MARK_TS_TYPED (OFFSET_REF
);
305 MARK_TS_TYPED (OFFSETOF_EXPR
);
306 MARK_TS_TYPED (PTRMEM_CST
);
307 MARK_TS_TYPED (EMPTY_CLASS_EXPR
);
308 MARK_TS_TYPED (VEC_INIT_EXPR
);
309 MARK_TS_TYPED (USING_STMT
);
310 MARK_TS_TYPED (LAMBDA_EXPR
);
311 MARK_TS_TYPED (CTOR_INITIALIZER
);
312 MARK_TS_TYPED (ARRAY_NOTATION_REF
);
315 #include "gt-cp-cp-objcp-common.h"