1 /* Some code common to C++ and ObjC++ front ends.
2 Copyright (C) 2004-2015 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"
28 #include "double-int.h"
36 #include "c-family/c-common.h"
37 #include "langhooks.h"
38 #include "langhooks-def.h"
39 #include "diagnostic.h"
41 #include "cxx-pretty-print.h"
42 #include "cp-objcp-common.h"
44 /* Special routine to get the alias set for C++. */
47 cxx_get_alias_set (tree t
)
49 if (IS_FAKE_BASE_TYPE (t
))
50 /* The base variant of a type must be in the same alias set as the
52 return get_alias_set (TYPE_CONTEXT (t
));
54 /* Punt on PMFs until we canonicalize functions properly. */
55 if (TYPE_PTRMEMFUNC_P (t
)
56 || (POINTER_TYPE_P (t
)
57 && TYPE_PTRMEMFUNC_P (TREE_TYPE (t
))))
60 return c_common_get_alias_set (t
);
63 /* Called from check_global_declarations. */
66 cxx_warn_unused_global_decl (const_tree decl
)
68 if (TREE_CODE (decl
) == FUNCTION_DECL
&& DECL_DECLARED_INLINE_P (decl
))
70 if (DECL_IN_SYSTEM_HEADER (decl
))
73 /* Const variables take the place of #defines in C++. */
74 if (VAR_P (decl
) && TREE_READONLY (decl
))
80 /* Langhook for tree_size: determine size of our 'x' and 'c' nodes. */
82 cp_tree_size (enum tree_code code
)
86 case PTRMEM_CST
: return sizeof (struct ptrmem_cst
);
87 case BASELINK
: return sizeof (struct tree_baselink
);
88 case TEMPLATE_PARM_INDEX
: return sizeof (template_parm_index
);
89 case DEFAULT_ARG
: return sizeof (struct tree_default_arg
);
90 case DEFERRED_NOEXCEPT
: return sizeof (struct tree_deferred_noexcept
);
91 case OVERLOAD
: return sizeof (struct tree_overload
);
92 case STATIC_ASSERT
: return sizeof (struct tree_static_assert
);
93 case TYPE_ARGUMENT_PACK
:
94 case TYPE_PACK_EXPANSION
:
95 return sizeof (struct tree_common
);
97 case NONTYPE_ARGUMENT_PACK
:
98 case EXPR_PACK_EXPANSION
:
99 return sizeof (struct tree_exp
);
101 case ARGUMENT_PACK_SELECT
:
102 return sizeof (struct tree_argument_pack_select
);
105 return sizeof (struct tree_trait_expr
);
107 case LAMBDA_EXPR
: return sizeof (struct tree_lambda_expr
);
109 case TEMPLATE_INFO
: return sizeof (struct tree_template_info
);
111 case USERDEF_LITERAL
: return sizeof (struct tree_userdef_literal
);
113 case TEMPLATE_DECL
: return sizeof (struct tree_template_decl
);
116 if (TREE_CODE_CLASS (code
) == tcc_declaration
)
117 return sizeof (struct tree_decl_non_common
);
123 /* Returns true if T is a variably modified type, in the sense of C99.
124 FN is as passed to variably_modified_p.
125 This routine needs only check cases that cannot be handled by the
126 language-independent logic in tree.c. */
129 cp_var_mod_type_p (tree type
, tree fn
)
131 /* If TYPE is a pointer-to-member, it is variably modified if either
132 the class or the member are variably modified. */
133 if (TYPE_PTRMEM_P (type
))
134 return (variably_modified_type_p (TYPE_PTRMEM_CLASS_TYPE (type
), fn
)
135 || variably_modified_type_p (TYPE_PTRMEM_POINTED_TO_TYPE (type
),
138 /* All other types are not variably modified. */
142 /* This compares two types for equivalence ("compatible" in C-based languages).
143 This routine should only return 1 if it is sure. It should not be used
144 in contexts where erroneously returning 0 causes problems. */
147 cxx_types_compatible_p (tree x
, tree y
)
149 return same_type_ignoring_top_level_qualifiers_p (x
, y
);
152 /* Return true if DECL is explicit member function. */
155 cp_function_decl_explicit_p (tree decl
)
158 && DECL_LANG_SPECIFIC (STRIP_TEMPLATE (decl
))
159 && DECL_NONCONVERTING_P (decl
));
162 /* Return true if DECL is deleted special member function. */
165 cp_function_decl_deleted_p (tree decl
)
168 && DECL_LANG_SPECIFIC (STRIP_TEMPLATE (decl
))
169 && DECL_DELETED_FN (decl
));
172 /* Stubs to keep c-opts.c happy. */
174 push_file_scope (void)
179 pop_file_scope (void)
183 /* c-pragma.c needs to query whether a decl has extern "C" linkage. */
185 has_c_linkage (const_tree decl
)
187 return DECL_EXTERN_C_P (decl
);
191 hash_table
<tree_decl_map_cache_hasher
> *shadowed_var_for_decl
;
193 /* Lookup a shadowed var for FROM, and return it if we find one. */
196 decl_shadowed_for_var_lookup (tree from
)
198 struct tree_decl_map
*h
, in
;
201 h
= shadowed_var_for_decl
->find_with_hash (&in
, DECL_UID (from
));
207 /* Insert a mapping FROM->TO in the shadowed var hashtable. */
210 decl_shadowed_for_var_insert (tree from
, tree to
)
212 struct tree_decl_map
*h
;
214 h
= ggc_alloc
<tree_decl_map
> ();
217 *shadowed_var_for_decl
->find_slot_with_hash (h
, DECL_UID (from
), INSERT
) = h
;
221 init_shadowed_var_for_decl (void)
223 shadowed_var_for_decl
224 = hash_table
<tree_decl_map_cache_hasher
>::create_ggc (512);
227 /* Return true if stmt can fall through. Used by block_may_fallthru
231 cxx_block_may_fallthru (const_tree stmt
)
233 switch (TREE_CODE (stmt
))
236 return block_may_fallthru (EXPR_STMT_EXPR (stmt
));
247 cp_common_init_ts (void)
249 MARK_TS_DECL_NON_COMMON (USING_DECL
);
250 MARK_TS_DECL_COMMON (TEMPLATE_DECL
);
252 MARK_TS_COMMON (TEMPLATE_TEMPLATE_PARM
);
253 MARK_TS_COMMON (TEMPLATE_TYPE_PARM
);
254 MARK_TS_COMMON (TEMPLATE_PARM_INDEX
);
255 MARK_TS_COMMON (OVERLOAD
);
256 MARK_TS_COMMON (TEMPLATE_INFO
);
257 MARK_TS_COMMON (TYPENAME_TYPE
);
258 MARK_TS_COMMON (TYPEOF_TYPE
);
259 MARK_TS_COMMON (UNDERLYING_TYPE
);
260 MARK_TS_COMMON (BASELINK
);
261 MARK_TS_COMMON (TYPE_PACK_EXPANSION
);
262 MARK_TS_COMMON (TYPE_ARGUMENT_PACK
);
263 MARK_TS_COMMON (DECLTYPE_TYPE
);
264 MARK_TS_COMMON (BOUND_TEMPLATE_TEMPLATE_PARM
);
265 MARK_TS_COMMON (UNBOUND_CLASS_TEMPLATE
);
267 MARK_TS_TYPED (EXPR_PACK_EXPANSION
);
268 MARK_TS_TYPED (SWITCH_STMT
);
269 MARK_TS_TYPED (IF_STMT
);
270 MARK_TS_TYPED (FOR_STMT
);
271 MARK_TS_TYPED (RANGE_FOR_STMT
);
272 MARK_TS_TYPED (AGGR_INIT_EXPR
);
273 MARK_TS_TYPED (EXPR_STMT
);
274 MARK_TS_TYPED (EH_SPEC_BLOCK
);
275 MARK_TS_TYPED (CLEANUP_STMT
);
276 MARK_TS_TYPED (SCOPE_REF
);
277 MARK_TS_TYPED (CAST_EXPR
);
278 MARK_TS_TYPED (NON_DEPENDENT_EXPR
);
279 MARK_TS_TYPED (MODOP_EXPR
);
280 MARK_TS_TYPED (TRY_BLOCK
);
281 MARK_TS_TYPED (THROW_EXPR
);
282 MARK_TS_TYPED (HANDLER
);
283 MARK_TS_TYPED (REINTERPRET_CAST_EXPR
);
284 MARK_TS_TYPED (CONST_CAST_EXPR
);
285 MARK_TS_TYPED (STATIC_CAST_EXPR
);
286 MARK_TS_TYPED (DYNAMIC_CAST_EXPR
);
287 MARK_TS_TYPED (IMPLICIT_CONV_EXPR
);
288 MARK_TS_TYPED (TEMPLATE_ID_EXPR
);
289 MARK_TS_TYPED (ARROW_EXPR
);
290 MARK_TS_TYPED (SIZEOF_EXPR
);
291 MARK_TS_TYPED (ALIGNOF_EXPR
);
292 MARK_TS_TYPED (AT_ENCODE_EXPR
);
293 MARK_TS_TYPED (UNARY_PLUS_EXPR
);
294 MARK_TS_TYPED (TRAIT_EXPR
);
295 MARK_TS_TYPED (TYPE_ARGUMENT_PACK
);
296 MARK_TS_TYPED (NOEXCEPT_EXPR
);
297 MARK_TS_TYPED (NONTYPE_ARGUMENT_PACK
);
298 MARK_TS_TYPED (WHILE_STMT
);
299 MARK_TS_TYPED (NEW_EXPR
);
300 MARK_TS_TYPED (VEC_NEW_EXPR
);
301 MARK_TS_TYPED (BREAK_STMT
);
302 MARK_TS_TYPED (MEMBER_REF
);
303 MARK_TS_TYPED (DOTSTAR_EXPR
);
304 MARK_TS_TYPED (DO_STMT
);
305 MARK_TS_TYPED (DELETE_EXPR
);
306 MARK_TS_TYPED (VEC_DELETE_EXPR
);
307 MARK_TS_TYPED (CONTINUE_STMT
);
308 MARK_TS_TYPED (TAG_DEFN
);
309 MARK_TS_TYPED (PSEUDO_DTOR_EXPR
);
310 MARK_TS_TYPED (TYPEID_EXPR
);
311 MARK_TS_TYPED (MUST_NOT_THROW_EXPR
);
312 MARK_TS_TYPED (STMT_EXPR
);
313 MARK_TS_TYPED (OFFSET_REF
);
314 MARK_TS_TYPED (OFFSETOF_EXPR
);
315 MARK_TS_TYPED (PTRMEM_CST
);
316 MARK_TS_TYPED (EMPTY_CLASS_EXPR
);
317 MARK_TS_TYPED (VEC_INIT_EXPR
);
318 MARK_TS_TYPED (USING_STMT
);
319 MARK_TS_TYPED (LAMBDA_EXPR
);
320 MARK_TS_TYPED (CTOR_INITIALIZER
);
321 MARK_TS_TYPED (ARRAY_NOTATION_REF
);
324 #include "gt-cp-cp-objcp-common.h"