1 /* Handle the hair of processing (but not expanding) inline functions.
2 Also manage function and variable name overloading.
3 Copyright (C) 1987-2016 Free Software Foundation, Inc.
4 Contributed by Michael Tiemann (tiemann@cygnus.com)
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
13 GCC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
23 /* Handle method declarations. */
26 #include "coretypes.h"
29 #include "stringpool.h"
33 #include "common/common-target.h"
35 /* Various flags to control the mangling process. */
41 /* The thing we are presently mangling is part of a template type,
42 rather than a fully instantiated type. Therefore, we may see
43 complex expressions where we would normally expect to see a
44 simple integer constant. */
45 mf_maybe_uninstantiated
= 1,
46 /* When mangling a numeric value, use the form `_XX_' (instead of
47 just `XX') if the value has more than one digit. */
48 mf_use_underscores_around_value
= 2
51 static void do_build_copy_assign (tree
);
52 static void do_build_copy_constructor (tree
);
53 static tree
make_alias_for_thunk (tree
);
55 /* Called once to initialize method.c. */
63 /* Return a this or result adjusting thunk to FUNCTION. THIS_ADJUSTING
64 indicates whether it is a this or result adjusting thunk.
65 FIXED_OFFSET and VIRTUAL_OFFSET indicate how to do the adjustment
66 (see thunk_adjust). VIRTUAL_OFFSET can be NULL, but FIXED_OFFSET
67 never is. VIRTUAL_OFFSET is the /index/ into the vtable for this
68 adjusting thunks, we scale it to a byte offset. For covariant
69 thunks VIRTUAL_OFFSET is the virtual binfo. You must post process
70 the returned thunk with finish_thunk. */
73 make_thunk (tree function
, bool this_adjusting
,
74 tree fixed_offset
, tree virtual_offset
)
79 gcc_assert (TREE_CODE (function
) == FUNCTION_DECL
);
80 /* We can have this thunks to covariant thunks, but not vice versa. */
81 gcc_assert (!DECL_THIS_THUNK_P (function
));
82 gcc_assert (!DECL_RESULT_THUNK_P (function
) || this_adjusting
);
84 /* Scale the VIRTUAL_OFFSET to be in terms of bytes. */
85 if (this_adjusting
&& virtual_offset
)
87 = size_binop (MULT_EXPR
,
90 TYPE_SIZE_UNIT (vtable_entry_type
)));
92 d
= tree_to_shwi (fixed_offset
);
94 /* See if we already have the thunk in question. For this_adjusting
95 thunks VIRTUAL_OFFSET will be an INTEGER_CST, for covariant thunks it
97 for (thunk
= DECL_THUNKS (function
); thunk
; thunk
= DECL_CHAIN (thunk
))
98 if (DECL_THIS_THUNK_P (thunk
) == this_adjusting
99 && THUNK_FIXED_OFFSET (thunk
) == d
100 && !virtual_offset
== !THUNK_VIRTUAL_OFFSET (thunk
)
103 ? tree_int_cst_equal (THUNK_VIRTUAL_OFFSET (thunk
),
105 : THUNK_VIRTUAL_OFFSET (thunk
) == virtual_offset
)))
108 /* All thunks must be created before FUNCTION is actually emitted;
109 the ABI requires that all thunks be emitted together with the
110 function to which they transfer control. */
111 gcc_assert (!TREE_ASM_WRITTEN (function
));
112 /* Likewise, we can only be adding thunks to a function declared in
113 the class currently being laid out. */
114 gcc_assert (TYPE_SIZE (DECL_CONTEXT (function
))
115 && TYPE_BEING_DEFINED (DECL_CONTEXT (function
)));
117 thunk
= build_decl (DECL_SOURCE_LOCATION (function
),
118 FUNCTION_DECL
, NULL_TREE
, TREE_TYPE (function
));
119 DECL_LANG_SPECIFIC (thunk
) = DECL_LANG_SPECIFIC (function
);
120 cxx_dup_lang_specific_decl (thunk
);
121 DECL_VIRTUAL_P (thunk
) = true;
122 SET_DECL_THUNKS (thunk
, NULL_TREE
);
124 DECL_CONTEXT (thunk
) = DECL_CONTEXT (function
);
125 TREE_READONLY (thunk
) = TREE_READONLY (function
);
126 TREE_THIS_VOLATILE (thunk
) = TREE_THIS_VOLATILE (function
);
127 TREE_PUBLIC (thunk
) = TREE_PUBLIC (function
);
128 SET_DECL_THUNK_P (thunk
, this_adjusting
);
129 THUNK_TARGET (thunk
) = function
;
130 THUNK_FIXED_OFFSET (thunk
) = d
;
131 THUNK_VIRTUAL_OFFSET (thunk
) = virtual_offset
;
132 THUNK_ALIAS (thunk
) = NULL_TREE
;
134 DECL_INTERFACE_KNOWN (thunk
) = 1;
135 DECL_NOT_REALLY_EXTERN (thunk
) = 1;
136 DECL_COMDAT (thunk
) = DECL_COMDAT (function
);
137 DECL_SAVED_FUNCTION_DATA (thunk
) = NULL
;
138 /* The thunk itself is not a constructor or destructor, even if
139 the thing it is thunking to is. */
140 DECL_DESTRUCTOR_P (thunk
) = 0;
141 DECL_CONSTRUCTOR_P (thunk
) = 0;
142 DECL_EXTERNAL (thunk
) = 1;
143 DECL_ARTIFICIAL (thunk
) = 1;
144 /* The THUNK is not a pending inline, even if the FUNCTION is. */
145 DECL_PENDING_INLINE_P (thunk
) = 0;
146 DECL_DECLARED_INLINE_P (thunk
) = 0;
147 /* Nor is it a template instantiation. */
148 DECL_USE_TEMPLATE (thunk
) = 0;
149 DECL_TEMPLATE_INFO (thunk
) = NULL
;
151 /* Add it to the list of thunks associated with FUNCTION. */
152 DECL_CHAIN (thunk
) = DECL_THUNKS (function
);
153 SET_DECL_THUNKS (function
, thunk
);
158 /* Finish THUNK, a thunk decl. */
161 finish_thunk (tree thunk
)
164 tree fixed_offset
= ssize_int (THUNK_FIXED_OFFSET (thunk
));
165 tree virtual_offset
= THUNK_VIRTUAL_OFFSET (thunk
);
167 gcc_assert (!DECL_NAME (thunk
) && DECL_THUNK_P (thunk
));
168 if (virtual_offset
&& DECL_RESULT_THUNK_P (thunk
))
169 virtual_offset
= BINFO_VPTR_FIELD (virtual_offset
);
170 function
= THUNK_TARGET (thunk
);
171 name
= mangle_thunk (function
, DECL_THIS_THUNK_P (thunk
),
172 fixed_offset
, virtual_offset
);
174 /* We can end up with declarations of (logically) different
175 covariant thunks, that do identical adjustments. The two thunks
176 will be adjusting between within different hierarchies, which
177 happen to have the same layout. We must nullify one of them to
178 refer to the other. */
179 if (DECL_RESULT_THUNK_P (thunk
))
183 for (cov_probe
= DECL_THUNKS (function
);
184 cov_probe
; cov_probe
= DECL_CHAIN (cov_probe
))
185 if (DECL_NAME (cov_probe
) == name
)
187 gcc_assert (!DECL_THUNKS (thunk
));
188 THUNK_ALIAS (thunk
) = (THUNK_ALIAS (cov_probe
)
189 ? THUNK_ALIAS (cov_probe
) : cov_probe
);
194 DECL_NAME (thunk
) = name
;
195 SET_DECL_ASSEMBLER_NAME (thunk
, name
);
198 static GTY (()) int thunk_labelno
;
200 /* Create a static alias to target. */
203 make_alias_for (tree target
, tree newid
)
205 tree alias
= build_decl (DECL_SOURCE_LOCATION (target
),
206 TREE_CODE (target
), newid
, TREE_TYPE (target
));
207 DECL_LANG_SPECIFIC (alias
) = DECL_LANG_SPECIFIC (target
);
208 cxx_dup_lang_specific_decl (alias
);
209 DECL_CONTEXT (alias
) = NULL
;
210 TREE_READONLY (alias
) = TREE_READONLY (target
);
211 TREE_THIS_VOLATILE (alias
) = TREE_THIS_VOLATILE (target
);
212 TREE_PUBLIC (alias
) = 0;
213 DECL_INTERFACE_KNOWN (alias
) = 1;
214 if (DECL_LANG_SPECIFIC (alias
))
216 DECL_NOT_REALLY_EXTERN (alias
) = 1;
217 DECL_USE_TEMPLATE (alias
) = 0;
218 DECL_TEMPLATE_INFO (alias
) = NULL
;
220 DECL_EXTERNAL (alias
) = 0;
221 DECL_ARTIFICIAL (alias
) = 1;
222 DECL_TEMPLATE_INSTANTIATED (alias
) = 0;
223 if (TREE_CODE (alias
) == FUNCTION_DECL
)
225 DECL_SAVED_FUNCTION_DATA (alias
) = NULL
;
226 DECL_DESTRUCTOR_P (alias
) = 0;
227 DECL_CONSTRUCTOR_P (alias
) = 0;
228 DECL_PENDING_INLINE_P (alias
) = 0;
229 DECL_DECLARED_INLINE_P (alias
) = 0;
230 DECL_INITIAL (alias
) = error_mark_node
;
231 DECL_ARGUMENTS (alias
) = copy_list (DECL_ARGUMENTS (target
));
234 TREE_STATIC (alias
) = 1;
235 TREE_ADDRESSABLE (alias
) = 1;
236 TREE_USED (alias
) = 1;
237 SET_DECL_ASSEMBLER_NAME (alias
, DECL_NAME (alias
));
242 make_alias_for_thunk (tree function
)
247 targetm
.asm_out
.generate_internal_label (buf
, "LTHUNK", thunk_labelno
);
250 alias
= make_alias_for (function
, get_identifier (buf
));
252 if (!flag_syntax_only
)
254 struct cgraph_node
*funcn
, *aliasn
;
255 funcn
= cgraph_node::get (function
);
256 gcc_checking_assert (funcn
);
257 aliasn
= cgraph_node::create_same_body_alias (alias
, function
);
258 DECL_ASSEMBLER_NAME (function
);
259 gcc_assert (aliasn
!= NULL
);
265 /* Emit the definition of a C++ multiple inheritance or covariant
266 return vtable thunk. If EMIT_P is nonzero, the thunk is emitted
270 use_thunk (tree thunk_fndecl
, bool emit_p
)
272 tree a
, t
, function
, alias
;
274 HOST_WIDE_INT fixed_offset
, virtual_value
;
275 bool this_adjusting
= DECL_THIS_THUNK_P (thunk_fndecl
);
276 struct cgraph_node
*funcn
, *thunk_node
;
278 /* We should have called finish_thunk to give it a name. */
279 gcc_assert (DECL_NAME (thunk_fndecl
));
281 /* We should never be using an alias, always refer to the
283 gcc_assert (!THUNK_ALIAS (thunk_fndecl
));
285 if (TREE_ASM_WRITTEN (thunk_fndecl
))
288 function
= THUNK_TARGET (thunk_fndecl
);
289 if (DECL_RESULT (thunk_fndecl
))
290 /* We already turned this thunk into an ordinary function.
291 There's no need to process this thunk again. */
294 if (DECL_THUNK_P (function
))
295 /* The target is itself a thunk, process it now. */
296 use_thunk (function
, emit_p
);
298 /* Thunks are always addressable; they only appear in vtables. */
299 TREE_ADDRESSABLE (thunk_fndecl
) = 1;
301 /* Figure out what function is being thunked to. It's referenced in
302 this translation unit. */
303 TREE_ADDRESSABLE (function
) = 1;
304 mark_used (function
);
308 if (TARGET_USE_LOCAL_THUNK_ALIAS_P (function
))
309 alias
= make_alias_for_thunk (function
);
313 fixed_offset
= THUNK_FIXED_OFFSET (thunk_fndecl
);
314 virtual_offset
= THUNK_VIRTUAL_OFFSET (thunk_fndecl
);
319 virtual_offset
= BINFO_VPTR_FIELD (virtual_offset
);
320 virtual_value
= tree_to_shwi (virtual_offset
);
321 gcc_assert (virtual_value
);
326 /* And, if we need to emit the thunk, it's used. */
327 mark_used (thunk_fndecl
);
328 /* This thunk is actually defined. */
329 DECL_EXTERNAL (thunk_fndecl
) = 0;
330 /* The linkage of the function may have changed. FIXME in linkage
332 gcc_assert (DECL_INTERFACE_KNOWN (function
));
333 TREE_PUBLIC (thunk_fndecl
) = TREE_PUBLIC (function
);
334 DECL_VISIBILITY (thunk_fndecl
) = DECL_VISIBILITY (function
);
335 DECL_VISIBILITY_SPECIFIED (thunk_fndecl
)
336 = DECL_VISIBILITY_SPECIFIED (function
);
337 DECL_COMDAT (thunk_fndecl
) = DECL_COMDAT (function
);
338 DECL_WEAK (thunk_fndecl
) = DECL_WEAK (function
);
340 if (flag_syntax_only
)
342 TREE_ASM_WRITTEN (thunk_fndecl
) = 1;
346 push_to_top_level ();
348 if (TARGET_USE_LOCAL_THUNK_ALIAS_P (function
)
349 && targetm_common
.have_named_sections
)
352 struct symtab_node
*symbol
;
354 if ((symbol
= symtab_node::get (function
))
357 if (symbol
->analyzed
)
358 fn
= symtab_node::get (function
)->ultimate_alias_target ()->decl
;
360 fn
= symtab_node::get (function
)->alias_target
;
362 resolve_unique_section (fn
, 0, flag_function_sections
);
364 if (DECL_SECTION_NAME (fn
) != NULL
&& DECL_ONE_ONLY (fn
))
366 resolve_unique_section (thunk_fndecl
, 0, flag_function_sections
);
368 /* Output the thunk into the same section as function. */
369 set_decl_section_name (thunk_fndecl
, DECL_SECTION_NAME (fn
));
370 symtab_node::get (thunk_fndecl
)->implicit_section
371 = symtab_node::get (fn
)->implicit_section
;
375 /* Set up cloned argument trees for the thunk. */
377 for (a
= DECL_ARGUMENTS (function
); a
; a
= DECL_CHAIN (a
))
379 tree x
= copy_node (a
);
381 DECL_CONTEXT (x
) = thunk_fndecl
;
382 SET_DECL_RTL (x
, NULL
);
383 DECL_HAS_VALUE_EXPR_P (x
) = 0;
384 TREE_ADDRESSABLE (x
) = 0;
388 DECL_ARGUMENTS (thunk_fndecl
) = a
;
389 TREE_ASM_WRITTEN (thunk_fndecl
) = 1;
390 funcn
= cgraph_node::get (function
);
391 gcc_checking_assert (funcn
);
392 thunk_node
= funcn
->create_thunk (thunk_fndecl
, function
,
393 this_adjusting
, fixed_offset
, virtual_value
,
394 virtual_offset
, alias
);
395 if (DECL_ONE_ONLY (function
))
396 thunk_node
->add_to_same_comdat_group (funcn
);
398 pop_from_top_level ();
401 /* Code for synthesizing methods which have default semantics defined. */
403 /* True iff CTYPE has a trivial SFK. */
406 type_has_trivial_fn (tree ctype
, special_function_kind sfk
)
410 case sfk_constructor
:
411 return !TYPE_HAS_COMPLEX_DFLT (ctype
);
412 case sfk_copy_constructor
:
413 return !TYPE_HAS_COMPLEX_COPY_CTOR (ctype
);
414 case sfk_move_constructor
:
415 return !TYPE_HAS_COMPLEX_MOVE_CTOR (ctype
);
416 case sfk_copy_assignment
:
417 return !TYPE_HAS_COMPLEX_COPY_ASSIGN (ctype
);
418 case sfk_move_assignment
:
419 return !TYPE_HAS_COMPLEX_MOVE_ASSIGN (ctype
);
421 return !TYPE_HAS_NONTRIVIAL_DESTRUCTOR (ctype
);
422 case sfk_inheriting_constructor
:
429 /* Note that CTYPE has a non-trivial SFK even though we previously thought
433 type_set_nontrivial_flag (tree ctype
, special_function_kind sfk
)
437 case sfk_constructor
:
438 TYPE_HAS_COMPLEX_DFLT (ctype
) = true;
440 case sfk_copy_constructor
:
441 TYPE_HAS_COMPLEX_COPY_CTOR (ctype
) = true;
443 case sfk_move_constructor
:
444 TYPE_HAS_COMPLEX_MOVE_CTOR (ctype
) = true;
446 case sfk_copy_assignment
:
447 TYPE_HAS_COMPLEX_COPY_ASSIGN (ctype
) = true;
449 case sfk_move_assignment
:
450 TYPE_HAS_COMPLEX_MOVE_ASSIGN (ctype
) = true;
453 TYPE_HAS_NONTRIVIAL_DESTRUCTOR (ctype
) = true;
455 case sfk_inheriting_constructor
:
461 /* True iff FN is a trivial defaulted member function ([cd]tor, op=). */
464 trivial_fn_p (tree fn
)
466 if (TREE_CODE (fn
) == TEMPLATE_DECL
)
468 if (!DECL_DEFAULTED_FN (fn
))
471 /* If fn is a clone, get the primary variant. */
472 if (tree prim
= DECL_CLONED_FUNCTION (fn
))
474 return type_has_trivial_fn (DECL_CONTEXT (fn
), special_function_p (fn
));
477 /* PARM is a PARM_DECL for a function which we want to forward to another
478 function without changing its value category, a la std::forward. */
481 forward_parm (tree parm
)
483 tree exp
= convert_from_reference (parm
);
484 tree type
= TREE_TYPE (parm
);
485 if (DECL_PACK_P (parm
))
486 type
= PACK_EXPANSION_PATTERN (type
);
487 if (TREE_CODE (type
) != REFERENCE_TYPE
)
488 type
= cp_build_reference_type (type
, /*rval=*/true);
489 exp
= build_static_cast (type
, exp
, tf_warning_or_error
);
490 if (DECL_PACK_P (parm
))
491 exp
= make_pack_expansion (exp
);
495 /* Subroutine of do_build_copy_constructor: Add a mem-initializer for BINFO
496 given the parameter or parameters PARM, possibly inherited constructor
497 base INH, or move flag MOVE_P. */
500 add_one_base_init (tree binfo
, tree parm
, bool move_p
, tree inh
,
501 tree member_init_list
)
506 /* An inheriting constructor only has a mem-initializer for
507 the base it inherits from. */
508 if (BINFO_TYPE (binfo
) != inh
)
509 return member_init_list
;
513 for (; parm
; parm
= DECL_CHAIN (parm
))
515 tree exp
= forward_parm (parm
);
516 *p
= build_tree_list (NULL_TREE
, exp
);
517 p
= &TREE_CHAIN (*p
);
522 init
= build_base_path (PLUS_EXPR
, parm
, binfo
, 1,
523 tf_warning_or_error
);
526 init
= build_tree_list (NULL_TREE
, init
);
528 return tree_cons (binfo
, init
, member_init_list
);
531 /* Generate code for default X(X&) or X(X&&) constructor or an inheriting
535 do_build_copy_constructor (tree fndecl
)
537 tree parm
= FUNCTION_FIRST_USER_PARM (fndecl
);
538 bool move_p
= DECL_MOVE_CONSTRUCTOR_P (fndecl
);
539 bool trivial
= trivial_fn_p (fndecl
);
540 tree inh
= DECL_INHERITED_CTOR_BASE (fndecl
);
543 parm
= convert_from_reference (parm
);
546 && is_empty_class (current_class_type
))
547 /* Don't copy the padding byte; it might not have been allocated
548 if *this is a base subobject. */;
551 tree t
= build2 (INIT_EXPR
, void_type_node
, current_class_ref
, parm
);
552 finish_expr_stmt (t
);
556 tree fields
= TYPE_FIELDS (current_class_type
);
557 tree member_init_list
= NULL_TREE
;
558 int cvquals
= cp_type_quals (TREE_TYPE (parm
));
560 tree binfo
, base_binfo
;
562 vec
<tree
, va_gc
> *vbases
;
564 /* Initialize all the base-classes with the parameter converted
565 to their type so that we get their copy constructor and not
566 another constructor that takes current_class_type. We must
567 deal with the binfo's directly as a direct base might be
568 inaccessible due to ambiguity. */
569 for (vbases
= CLASSTYPE_VBASECLASSES (current_class_type
), i
= 0;
570 vec_safe_iterate (vbases
, i
, &binfo
); i
++)
572 member_init_list
= add_one_base_init (binfo
, parm
, move_p
, inh
,
576 for (binfo
= TYPE_BINFO (current_class_type
), i
= 0;
577 BINFO_BASE_ITERATE (binfo
, i
, base_binfo
); i
++)
579 if (BINFO_VIRTUAL_P (base_binfo
))
581 member_init_list
= add_one_base_init (base_binfo
, parm
, move_p
,
582 inh
, member_init_list
);
585 for (; fields
; fields
= DECL_CHAIN (fields
))
590 if (TREE_CODE (field
) != FIELD_DECL
)
595 expr_type
= TREE_TYPE (field
);
596 if (DECL_NAME (field
))
598 if (VFIELD_NAME_P (DECL_NAME (field
)))
601 else if (ANON_AGGR_TYPE_P (expr_type
) && TYPE_FIELDS (expr_type
))
602 /* Just use the field; anonymous types can't have
603 nontrivial copy ctors or assignment ops or this
604 function would be deleted. */;
608 /* Compute the type of "init->field". If the copy-constructor
609 parameter is, for example, "const S&", and the type of
610 the field is "T", then the type will usually be "const
611 T". (There are no cv-qualified variants of reference
613 if (TREE_CODE (expr_type
) != REFERENCE_TYPE
)
617 if (DECL_MUTABLE_P (field
))
618 quals
&= ~TYPE_QUAL_CONST
;
619 quals
|= cp_type_quals (expr_type
);
620 expr_type
= cp_build_qualified_type (expr_type
, quals
);
623 init
= build3 (COMPONENT_REF
, expr_type
, parm
, field
, NULL_TREE
);
624 if (move_p
&& TREE_CODE (expr_type
) != REFERENCE_TYPE
625 /* 'move' breaks bit-fields, and has no effect for scalars. */
626 && !scalarish_type_p (expr_type
))
628 init
= build_tree_list (NULL_TREE
, init
);
630 member_init_list
= tree_cons (field
, init
, member_init_list
);
632 finish_mem_initializers (member_init_list
);
637 do_build_copy_assign (tree fndecl
)
639 tree parm
= DECL_CHAIN (DECL_ARGUMENTS (fndecl
));
641 bool move_p
= move_fn_p (fndecl
);
642 bool trivial
= trivial_fn_p (fndecl
);
643 int flags
= LOOKUP_NORMAL
| LOOKUP_NONVIRTUAL
| LOOKUP_DEFAULTED
;
645 compound_stmt
= begin_compound_stmt (0);
646 parm
= convert_from_reference (parm
);
649 && is_empty_class (current_class_type
))
650 /* Don't copy the padding byte; it might not have been allocated
651 if *this is a base subobject. */;
654 tree t
= build2 (MODIFY_EXPR
, void_type_node
, current_class_ref
, parm
);
655 finish_expr_stmt (t
);
660 int cvquals
= cp_type_quals (TREE_TYPE (parm
));
662 tree binfo
, base_binfo
;
664 /* Assign to each of the direct base classes. */
665 for (binfo
= TYPE_BINFO (current_class_type
), i
= 0;
666 BINFO_BASE_ITERATE (binfo
, i
, base_binfo
); i
++)
669 vec
<tree
, va_gc
> *parmvec
;
671 /* We must convert PARM directly to the base class
672 explicitly since the base class may be ambiguous. */
673 converted_parm
= build_base_path (PLUS_EXPR
, parm
, base_binfo
, 1,
674 tf_warning_or_error
);
676 converted_parm
= move (converted_parm
);
677 /* Call the base class assignment operator. */
678 parmvec
= make_tree_vector_single (converted_parm
);
680 (build_special_member_call (current_class_ref
,
681 ansi_assopname (NOP_EXPR
),
685 tf_warning_or_error
));
686 release_tree_vector (parmvec
);
689 /* Assign to each of the non-static data members. */
690 for (fields
= TYPE_FIELDS (current_class_type
);
692 fields
= DECL_CHAIN (fields
))
694 tree comp
= current_class_ref
;
700 if (TREE_CODE (field
) != FIELD_DECL
|| DECL_ARTIFICIAL (field
))
703 expr_type
= TREE_TYPE (field
);
705 if (CP_TYPE_CONST_P (expr_type
))
707 error ("non-static const member %q#D, can%'t use default "
708 "assignment operator", field
);
711 else if (TREE_CODE (expr_type
) == REFERENCE_TYPE
)
713 error ("non-static reference member %q#D, can%'t use "
714 "default assignment operator", field
);
718 if (DECL_NAME (field
))
720 if (VFIELD_NAME_P (DECL_NAME (field
)))
723 else if (ANON_AGGR_TYPE_P (expr_type
)
724 && TYPE_FIELDS (expr_type
) != NULL_TREE
)
725 /* Just use the field; anonymous types can't have
726 nontrivial copy ctors or assignment ops or this
727 function would be deleted. */;
731 comp
= build3 (COMPONENT_REF
, expr_type
, comp
, field
, NULL_TREE
);
733 /* Compute the type of init->field */
735 if (DECL_MUTABLE_P (field
))
736 quals
&= ~TYPE_QUAL_CONST
;
737 expr_type
= cp_build_qualified_type (expr_type
, quals
);
739 init
= build3 (COMPONENT_REF
, expr_type
, init
, field
, NULL_TREE
);
740 if (move_p
&& TREE_CODE (expr_type
) != REFERENCE_TYPE
741 /* 'move' breaks bit-fields, and has no effect for scalars. */
742 && !scalarish_type_p (expr_type
))
745 if (DECL_NAME (field
))
746 init
= cp_build_modify_expr (comp
, NOP_EXPR
, init
,
747 tf_warning_or_error
);
749 init
= build2 (MODIFY_EXPR
, TREE_TYPE (comp
), comp
, init
);
750 finish_expr_stmt (init
);
753 finish_return_stmt (current_class_ref
);
754 finish_compound_stmt (compound_stmt
);
757 /* Synthesize FNDECL, a non-static member function. */
760 synthesize_method (tree fndecl
)
762 bool nested
= (current_function_decl
!= NULL_TREE
);
763 tree context
= decl_function_context (fndecl
);
764 bool need_body
= true;
766 location_t save_input_location
= input_location
;
767 int error_count
= errorcount
;
768 int warning_count
= warningcount
+ werrorcount
;
770 /* Reset the source location, we might have been previously
771 deferred, and thus have saved where we were first needed. */
772 DECL_SOURCE_LOCATION (fndecl
)
773 = DECL_SOURCE_LOCATION (TYPE_NAME (DECL_CONTEXT (fndecl
)));
775 /* If we've been asked to synthesize a clone, just synthesize the
776 cloned function instead. Doing so will automatically fill in the
777 body for the clone. */
778 if (DECL_CLONED_FUNCTION_P (fndecl
))
779 fndecl
= DECL_CLONED_FUNCTION (fndecl
);
781 /* We may be in the middle of deferred access check. Disable
783 push_deferring_access_checks (dk_no_deferred
);
786 push_to_top_level ();
788 push_function_context ();
790 input_location
= DECL_SOURCE_LOCATION (fndecl
);
792 start_preparsed_function (fndecl
, NULL_TREE
, SF_DEFAULT
| SF_PRE_PARSED
);
793 stmt
= begin_function_body ();
795 if (DECL_OVERLOADED_OPERATOR_P (fndecl
) == NOP_EXPR
)
797 do_build_copy_assign (fndecl
);
800 else if (DECL_CONSTRUCTOR_P (fndecl
))
802 tree arg_chain
= FUNCTION_FIRST_USER_PARMTYPE (fndecl
);
803 if (arg_chain
!= void_list_node
)
804 do_build_copy_constructor (fndecl
);
806 finish_mem_initializers (NULL_TREE
);
809 /* If we haven't yet generated the body of the function, just
810 generate an empty compound statement. */
814 compound_stmt
= begin_compound_stmt (BCS_FN_BODY
);
815 finish_compound_stmt (compound_stmt
);
818 finish_function_body (stmt
);
819 expand_or_defer_fn (finish_function (0));
821 input_location
= save_input_location
;
824 pop_from_top_level ();
826 pop_function_context ();
828 pop_deferring_access_checks ();
830 if (error_count
!= errorcount
|| warning_count
!= warningcount
+ werrorcount
)
831 inform (input_location
, "synthesized method %qD first required here ",
835 /* Build a reference to type TYPE with cv-quals QUALS, which is an
836 rvalue if RVALUE is true. */
839 build_stub_type (tree type
, int quals
, bool rvalue
)
841 tree argtype
= cp_build_qualified_type (type
, quals
);
842 return cp_build_reference_type (argtype
, rvalue
);
845 /* Build a dummy glvalue from dereferencing a dummy reference of type
849 build_stub_object (tree reftype
)
851 if (TREE_CODE (reftype
) != REFERENCE_TYPE
)
852 reftype
= cp_build_reference_type (reftype
, /*rval*/true);
853 tree stub
= build1 (CONVERT_EXPR
, reftype
, integer_one_node
);
854 return convert_from_reference (stub
);
857 /* Determine which function will be called when looking up NAME in TYPE,
858 called with a single ARGTYPE argument, or no argument if ARGTYPE is
859 null. FLAGS and COMPLAIN are as for build_new_method_call.
861 Returns a FUNCTION_DECL if all is well.
862 Returns NULL_TREE if overload resolution failed.
863 Returns error_mark_node if the chosen function cannot be called. */
866 locate_fn_flags (tree type
, tree name
, tree argtype
, int flags
,
867 tsubst_flags_t complain
)
869 tree ob
, fn
, fns
, binfo
, rval
;
870 vec
<tree
, va_gc
> *args
;
873 binfo
= TYPE_BINFO (type
);
877 type
= BINFO_TYPE (binfo
);
880 ob
= build_stub_object (cp_build_reference_type (type
, false));
881 args
= make_tree_vector ();
884 if (TREE_CODE (argtype
) == TREE_LIST
)
886 for (tree elt
= argtype
; elt
!= void_list_node
;
887 elt
= TREE_CHAIN (elt
))
889 tree type
= TREE_VALUE (elt
);
890 tree arg
= build_stub_object (type
);
891 vec_safe_push (args
, arg
);
896 tree arg
= build_stub_object (argtype
);
897 args
->quick_push (arg
);
901 fns
= lookup_fnfields (binfo
, name
, 0);
902 rval
= build_new_method_call (ob
, fns
, &args
, binfo
, flags
, &fn
, complain
);
904 release_tree_vector (args
);
905 if (fn
&& rval
== error_mark_node
)
911 /* Locate the dtor of TYPE. */
914 get_dtor (tree type
, tsubst_flags_t complain
)
916 tree fn
= locate_fn_flags (type
, complete_dtor_identifier
, NULL_TREE
,
917 LOOKUP_NORMAL
, complain
);
918 if (fn
== error_mark_node
)
923 /* Locate the default ctor of TYPE. */
926 locate_ctor (tree type
)
930 push_deferring_access_checks (dk_no_check
);
931 fn
= locate_fn_flags (type
, complete_ctor_identifier
, NULL_TREE
,
932 LOOKUP_SPECULATIVE
, tf_none
);
933 pop_deferring_access_checks ();
934 if (fn
== error_mark_node
)
939 /* Likewise, but give any appropriate errors. */
942 get_default_ctor (tree type
)
944 tree fn
= locate_fn_flags (type
, complete_ctor_identifier
, NULL_TREE
,
945 LOOKUP_NORMAL
, tf_warning_or_error
);
946 if (fn
== error_mark_node
)
951 /* Locate the copy ctor of TYPE. */
954 get_copy_ctor (tree type
, tsubst_flags_t complain
)
956 int quals
= (TYPE_HAS_CONST_COPY_CTOR (type
)
957 ? TYPE_QUAL_CONST
: TYPE_UNQUALIFIED
);
958 tree argtype
= build_stub_type (type
, quals
, false);
959 tree fn
= locate_fn_flags (type
, complete_ctor_identifier
, argtype
,
960 LOOKUP_NORMAL
, complain
);
961 if (fn
== error_mark_node
)
966 /* Locate the copy assignment operator of TYPE. */
969 get_copy_assign (tree type
)
971 int quals
= (TYPE_HAS_CONST_COPY_ASSIGN (type
)
972 ? TYPE_QUAL_CONST
: TYPE_UNQUALIFIED
);
973 tree argtype
= build_stub_type (type
, quals
, false);
974 tree fn
= locate_fn_flags (type
, ansi_assopname (NOP_EXPR
), argtype
,
975 LOOKUP_NORMAL
, tf_warning_or_error
);
976 if (fn
== error_mark_node
)
981 /* Locate the inherited constructor of constructor CTOR. */
984 get_inherited_ctor (tree ctor
)
986 gcc_assert (DECL_INHERITED_CTOR_BASE (ctor
));
988 push_deferring_access_checks (dk_no_check
);
989 tree fn
= locate_fn_flags (DECL_INHERITED_CTOR_BASE (ctor
),
990 complete_ctor_identifier
,
991 FUNCTION_FIRST_USER_PARMTYPE (ctor
),
992 LOOKUP_NORMAL
|LOOKUP_SPECULATIVE
,
994 pop_deferring_access_checks ();
995 if (fn
== error_mark_node
)
1000 /* walk_tree helper function for is_trivially_xible. If *TP is a call,
1001 return it if it calls something other than a trivial special member
1005 check_nontriv (tree
*tp
, int *, void *)
1008 if (TREE_CODE (*tp
) == CALL_EXPR
)
1009 fn
= CALL_EXPR_FN (*tp
);
1010 else if (TREE_CODE (*tp
) == AGGR_INIT_EXPR
)
1011 fn
= AGGR_INIT_EXPR_FN (*tp
);
1015 if (TREE_CODE (fn
) == ADDR_EXPR
)
1016 fn
= TREE_OPERAND (fn
, 0);
1018 if (TREE_CODE (fn
) != FUNCTION_DECL
1019 || !trivial_fn_p (fn
))
1024 /* Return declval<T>() = declval<U>() treated as an unevaluated operand. */
1027 assignable_expr (tree to
, tree from
)
1029 ++cp_unevaluated_operand
;
1030 to
= build_stub_object (to
);
1031 from
= build_stub_object (from
);
1032 tree r
= cp_build_modify_expr (to
, NOP_EXPR
, from
, tf_none
);
1033 --cp_unevaluated_operand
;
1037 /* The predicate condition for a template specialization
1038 is_constructible<T, Args...> shall be satisfied if and only if the
1039 following variable definition would be well-formed for some invented
1040 variable t: T t(create<Args>()...);
1042 Return something equivalent in well-formedness and triviality. */
1045 constructible_expr (tree to
, tree from
)
1048 if (CLASS_TYPE_P (to
))
1051 vec
<tree
, va_gc
> *args
= NULL
;
1052 if (TREE_CODE (to
) != REFERENCE_TYPE
)
1053 to
= cp_build_reference_type (to
, /*rval*/false);
1054 tree ob
= build_stub_object (to
);
1055 for (; from
; from
= TREE_CHAIN (from
))
1056 vec_safe_push (args
, build_stub_object (TREE_VALUE (from
)));
1057 expr
= build_special_member_call (ob
, complete_ctor_identifier
, &args
,
1058 ctype
, LOOKUP_NORMAL
, tf_none
);
1059 if (expr
== error_mark_node
)
1060 return error_mark_node
;
1061 /* The current state of the standard vis-a-vis LWG 2116 is that
1062 is_*constructible involves destruction as well. */
1063 if (type_build_dtor_call (ctype
))
1065 tree dtor
= build_special_member_call (ob
, complete_dtor_identifier
,
1066 NULL
, ctype
, LOOKUP_NORMAL
,
1068 if (dtor
== error_mark_node
)
1069 return error_mark_node
;
1070 if (!TYPE_HAS_TRIVIAL_DESTRUCTOR (ctype
))
1071 expr
= build2 (COMPOUND_EXPR
, void_type_node
, expr
, dtor
);
1076 if (from
== NULL_TREE
)
1077 return build_value_init (to
, tf_none
);
1078 else if (TREE_CHAIN (from
))
1079 return error_mark_node
; // too many initializers
1080 from
= build_stub_object (TREE_VALUE (from
));
1081 expr
= perform_direct_initialization_if_possible (to
, from
,
1088 /* Returns true iff TO is trivially assignable (if CODE is MODIFY_EXPR) or
1089 constructible (otherwise) from FROM, which is a single type for
1090 assignment or a list of types for construction. */
1093 is_trivially_xible (enum tree_code code
, tree to
, tree from
)
1096 if (code
== MODIFY_EXPR
)
1097 expr
= assignable_expr (to
, from
);
1098 else if (from
&& TREE_CHAIN (from
))
1099 return false; // only 0- and 1-argument ctors can be trivial
1101 expr
= constructible_expr (to
, from
);
1103 if (expr
== error_mark_node
)
1105 tree nt
= cp_walk_tree_without_duplicates (&expr
, check_nontriv
, NULL
);
1109 /* Subroutine of synthesized_method_walk. Update SPEC_P, TRIVIAL_P and
1110 DELETED_P or give an error message MSG with argument ARG. */
1113 process_subob_fn (tree fn
, tree
*spec_p
, bool *trivial_p
,
1114 bool *deleted_p
, bool *constexpr_p
,
1115 bool diag
, tree arg
, bool dtor_from_ctor
= false)
1117 if (!fn
|| fn
== error_mark_node
)
1122 maybe_instantiate_noexcept (fn
);
1123 tree raises
= TYPE_RAISES_EXCEPTIONS (TREE_TYPE (fn
));
1124 *spec_p
= merge_exception_specifiers (*spec_p
, raises
);
1127 if (!trivial_fn_p (fn
) && !dtor_from_ctor
)
1131 if (TREE_CODE (arg
) == FIELD_DECL
1132 && TREE_CODE (DECL_CONTEXT (arg
)) == UNION_TYPE
)
1137 error ("union member %q+D with non-trivial %qD", arg
, fn
);
1141 if (constexpr_p
&& !DECL_DECLARED_CONSTEXPR_P (fn
))
1143 *constexpr_p
= false;
1146 inform (DECL_SOURCE_LOCATION (fn
),
1147 "defaulted constructor calls non-constexpr %qD", fn
);
1148 explain_invalid_constexpr_fn (fn
);
1159 /* Subroutine of synthesized_method_walk to allow recursion into anonymous
1160 aggregates. If DTOR_FROM_CTOR is true, we're walking subobject destructors
1161 called from a synthesized constructor, in which case we don't consider
1162 the triviality of the subobject destructor. */
1165 walk_field_subobs (tree fields
, tree fnname
, special_function_kind sfk
,
1166 int quals
, bool copy_arg_p
, bool move_p
,
1167 bool assign_p
, tree
*spec_p
, bool *trivial_p
,
1168 bool *deleted_p
, bool *constexpr_p
,
1169 bool diag
, int flags
, tsubst_flags_t complain
,
1170 bool dtor_from_ctor
)
1173 for (field
= fields
; field
; field
= DECL_CHAIN (field
))
1175 tree mem_type
, argtype
, rval
;
1177 if (TREE_CODE (field
) != FIELD_DECL
1178 || DECL_ARTIFICIAL (field
))
1181 mem_type
= strip_array_types (TREE_TYPE (field
));
1185 if (CP_TYPE_CONST_P (mem_type
) && !CLASS_TYPE_P (mem_type
))
1188 error ("non-static const member %q#D, can%'t use default "
1189 "assignment operator", field
);
1191 else if (TREE_CODE (mem_type
) == REFERENCE_TYPE
)
1194 error ("non-static reference member %q#D, can%'t use "
1195 "default assignment operator", field
);
1200 if (bad
&& deleted_p
)
1203 else if (sfk
== sfk_constructor
)
1207 if (DECL_INITIAL (field
))
1209 if (diag
&& DECL_INITIAL (field
) == error_mark_node
)
1210 inform (DECL_SOURCE_LOCATION (field
),
1211 "initializer for %q#D is invalid", field
);
1214 /* Core 1351: If the field has an NSDMI that could throw, the
1215 default constructor is noexcept(false). */
1218 tree nsdmi
= get_nsdmi (field
, /*ctor*/false);
1219 if (!expr_noexcept_p (nsdmi
, complain
))
1220 *spec_p
= noexcept_false_spec
;
1222 /* Don't do the normal processing. */
1227 if (CP_TYPE_CONST_P (mem_type
)
1228 && default_init_uninitialized_part (mem_type
))
1232 error ("uninitialized const member in %q#T",
1233 current_class_type
);
1234 inform (DECL_SOURCE_LOCATION (field
),
1235 "%q#D should be initialized", field
);
1239 else if (TREE_CODE (mem_type
) == REFERENCE_TYPE
)
1243 error ("uninitialized reference member in %q#T",
1244 current_class_type
);
1245 inform (DECL_SOURCE_LOCATION (field
),
1246 "%q#D should be initialized", field
);
1251 if (bad
&& deleted_p
)
1254 /* For an implicitly-defined default constructor to be constexpr,
1255 every member must have a user-provided default constructor or
1256 an explicit initializer. */
1257 if (constexpr_p
&& !CLASS_TYPE_P (mem_type
)
1258 && TREE_CODE (DECL_CONTEXT (field
)) != UNION_TYPE
)
1260 *constexpr_p
= false;
1262 inform (DECL_SOURCE_LOCATION (field
),
1263 "defaulted default constructor does not "
1264 "initialize %q#D", field
);
1267 else if (sfk
== sfk_copy_constructor
)
1270 if (TREE_CODE (mem_type
) == REFERENCE_TYPE
1271 && TYPE_REF_IS_RVALUE (mem_type
))
1274 error ("copying non-static data member %q#D of rvalue "
1275 "reference type", field
);
1281 if (!CLASS_TYPE_P (mem_type
))
1284 if (ANON_AGGR_TYPE_P (mem_type
))
1286 walk_field_subobs (TYPE_FIELDS (mem_type
), fnname
, sfk
, quals
,
1287 copy_arg_p
, move_p
, assign_p
, spec_p
, trivial_p
,
1288 deleted_p
, constexpr_p
,
1289 diag
, flags
, complain
, dtor_from_ctor
);
1295 int mem_quals
= cp_type_quals (mem_type
) | quals
;
1296 if (DECL_MUTABLE_P (field
))
1297 mem_quals
&= ~TYPE_QUAL_CONST
;
1298 argtype
= build_stub_type (mem_type
, mem_quals
, move_p
);
1301 argtype
= NULL_TREE
;
1303 rval
= locate_fn_flags (mem_type
, fnname
, argtype
, flags
, complain
);
1305 process_subob_fn (rval
, spec_p
, trivial_p
, deleted_p
,
1306 constexpr_p
, diag
, field
, dtor_from_ctor
);
1310 /* The caller wants to generate an implicit declaration of SFK for CTYPE
1311 which is const if relevant and CONST_P is set. If spec_p, trivial_p and
1312 deleted_p are non-null, set their referent appropriately. If diag is
1313 true, we're either being called from maybe_explain_implicit_delete to
1314 give errors, or if constexpr_p is non-null, from
1315 explain_invalid_constexpr_fn. */
1318 synthesized_method_walk (tree ctype
, special_function_kind sfk
, bool const_p
,
1319 tree
*spec_p
, bool *trivial_p
, bool *deleted_p
,
1320 bool *constexpr_p
, bool diag
,
1321 tree inherited_base
, tree inherited_parms
)
1323 tree binfo
, base_binfo
, scope
, fnname
, rval
, argtype
;
1324 bool move_p
, copy_arg_p
, assign_p
, expected_trivial
, check_vdtor
;
1325 vec
<tree
, va_gc
> *vbases
;
1326 int i
, quals
, flags
;
1327 tsubst_flags_t complain
;
1331 *spec_p
= (cxx_dialect
>= cxx11
? noexcept_true_spec
: empty_except_spec
);
1335 /* "The closure type associated with a lambda-expression has a deleted
1336 default constructor and a deleted copy assignment operator."
1337 This is diagnosed in maybe_explain_implicit_delete. */
1338 if (LAMBDA_TYPE_P (ctype
)
1339 && (sfk
== sfk_constructor
1340 || sfk
== sfk_copy_assignment
))
1351 check_vdtor
= false;
1354 case sfk_move_assignment
:
1355 case sfk_copy_assignment
:
1357 fnname
= ansi_assopname (NOP_EXPR
);
1360 case sfk_destructor
:
1362 /* The synthesized method will call base dtors, but check complete
1363 here to avoid having to deal with VTT. */
1364 fnname
= complete_dtor_identifier
;
1367 case sfk_constructor
:
1368 case sfk_move_constructor
:
1369 case sfk_copy_constructor
:
1370 case sfk_inheriting_constructor
:
1372 fnname
= complete_ctor_identifier
;
1379 gcc_assert ((sfk
== sfk_inheriting_constructor
)
1380 == (inherited_base
!= NULL_TREE
));
1382 /* If that user-written default constructor would satisfy the
1383 requirements of a constexpr constructor (7.1.5), the
1384 implicitly-defined default constructor is constexpr.
1386 The implicitly-defined copy/move assignment operator is constexpr if
1387 - X is a literal type, and
1388 - the assignment operator selected to copy/move each direct base class
1389 subobject is a constexpr function, and
1390 - for each non-static data member of X that is of class type (or array
1391 thereof), the assignment operator selected to copy/move that member is a
1392 constexpr function. */
1394 *constexpr_p
= ctor_p
1395 || (assign_p
&& cxx_dialect
>= cxx14
);
1400 case sfk_constructor
:
1401 case sfk_destructor
:
1402 case sfk_inheriting_constructor
:
1406 case sfk_move_constructor
:
1407 case sfk_move_assignment
:
1409 case sfk_copy_constructor
:
1410 case sfk_copy_assignment
:
1418 expected_trivial
= type_has_trivial_fn (ctype
, sfk
);
1420 *trivial_p
= expected_trivial
;
1422 /* The TYPE_HAS_COMPLEX_* flags tell us about constraints from base
1423 class versions and other properties of the type. But a subobject
1424 class can be trivially copyable and yet have overload resolution
1425 choose a template constructor for initialization, depending on
1426 rvalueness and cv-quals. And furthermore, a member in a base might
1427 be trivial but deleted or otherwise not callable. So we can't exit
1428 early in C++0x. The same considerations apply in C++98/03, but
1429 there the definition of triviality does not consider overload
1430 resolution, so a constructor can be trivial even if it would otherwise
1431 call a non-trivial constructor. */
1432 if (expected_trivial
1433 && (!copy_arg_p
|| cxx_dialect
< cxx11
))
1435 if (constexpr_p
&& sfk
== sfk_constructor
)
1437 bool cx
= trivial_default_constructor_is_constexpr (ctype
);
1439 if (diag
&& !cx
&& TREE_CODE (ctype
) == UNION_TYPE
)
1440 /* A trivial constructor doesn't have any NSDMI. */
1441 inform (input_location
, "defaulted default constructor does "
1442 "not initialize any non-static data member");
1444 if (!diag
&& cxx_dialect
< cxx11
)
1448 ++cp_unevaluated_operand
;
1449 ++c_inhibit_evaluation_warnings
;
1450 push_deferring_access_checks (dk_no_deferred
);
1452 scope
= push_scope (ctype
);
1454 flags
= LOOKUP_NORMAL
|LOOKUP_SPECULATIVE
;
1455 if (!inherited_base
)
1456 flags
|= LOOKUP_DEFAULTED
;
1458 complain
= diag
? tf_warning_or_error
: tf_none
;
1461 quals
= TYPE_QUAL_CONST
;
1463 quals
= TYPE_UNQUALIFIED
;
1464 argtype
= NULL_TREE
;
1466 for (binfo
= TYPE_BINFO (ctype
), i
= 0;
1467 BINFO_BASE_ITERATE (binfo
, i
, base_binfo
); ++i
)
1469 tree basetype
= BINFO_TYPE (base_binfo
);
1471 if (!assign_p
&& BINFO_VIRTUAL_P (base_binfo
))
1472 /* We'll handle virtual bases below. */
1476 argtype
= build_stub_type (basetype
, quals
, move_p
);
1477 else if (basetype
== inherited_base
)
1478 argtype
= inherited_parms
;
1479 rval
= locate_fn_flags (base_binfo
, fnname
, argtype
, flags
, complain
);
1481 argtype
= NULL_TREE
;
1483 process_subob_fn (rval
, spec_p
, trivial_p
, deleted_p
,
1484 constexpr_p
, diag
, basetype
);
1487 /* In a constructor we also need to check the subobject
1488 destructors for cleanup of partially constructed objects. */
1489 rval
= locate_fn_flags (base_binfo
, complete_dtor_identifier
,
1490 NULL_TREE
, flags
, complain
);
1491 /* Note that we don't pass down trivial_p; the subobject
1492 destructors don't affect triviality of the constructor. Nor
1493 do they affect constexpr-ness (a constant expression doesn't
1494 throw) or exception-specification (a throw from one of the
1495 dtors would be a double-fault). */
1496 process_subob_fn (rval
, NULL
, NULL
,
1497 deleted_p
, NULL
, false,
1498 basetype
, /*dtor_from_ctor*/true);
1501 if (check_vdtor
&& type_has_virtual_destructor (basetype
))
1503 rval
= locate_fn_flags (ctype
, ansi_opname (DELETE_EXPR
),
1504 ptr_type_node
, flags
, complain
);
1505 /* Unlike for base ctor/op=/dtor, for operator delete it's fine
1506 to have a null rval (no class-specific op delete). */
1507 if (rval
&& rval
== error_mark_node
&& deleted_p
)
1509 check_vdtor
= false;
1512 if (diag
&& assign_p
&& move_p
1513 && BINFO_VIRTUAL_P (base_binfo
)
1514 && rval
&& TREE_CODE (rval
) == FUNCTION_DECL
1515 && move_fn_p (rval
) && !trivial_fn_p (rval
)
1516 && vbase_has_user_provided_move_assign (basetype
))
1517 warning (OPT_Wvirtual_move_assign
,
1518 "defaulted move assignment for %qT calls a non-trivial "
1519 "move assignment operator for virtual base %qT",
1523 vbases
= CLASSTYPE_VBASECLASSES (ctype
);
1524 if (vec_safe_is_empty (vbases
))
1525 /* No virtual bases to worry about. */;
1529 *constexpr_p
= false;
1530 FOR_EACH_VEC_ELT (*vbases
, i
, base_binfo
)
1532 tree basetype
= BINFO_TYPE (base_binfo
);
1534 argtype
= build_stub_type (basetype
, quals
, move_p
);
1535 rval
= locate_fn_flags (base_binfo
, fnname
, argtype
, flags
, complain
);
1537 process_subob_fn (rval
, spec_p
, trivial_p
, deleted_p
,
1538 constexpr_p
, diag
, basetype
);
1539 if (ctor_p
&& TYPE_HAS_NONTRIVIAL_DESTRUCTOR (basetype
))
1541 rval
= locate_fn_flags (base_binfo
, complete_dtor_identifier
,
1542 NULL_TREE
, flags
, complain
);
1543 process_subob_fn (rval
, NULL
, NULL
,
1544 deleted_p
, NULL
, false,
1545 basetype
, /*dtor_from_ctor*/true);
1550 /* Now handle the non-static data members. */
1551 walk_field_subobs (TYPE_FIELDS (ctype
), fnname
, sfk
, quals
,
1552 copy_arg_p
, move_p
, assign_p
, spec_p
, trivial_p
,
1553 deleted_p
, constexpr_p
,
1554 diag
, flags
, complain
, /*dtor_from_ctor*/false);
1556 walk_field_subobs (TYPE_FIELDS (ctype
), complete_dtor_identifier
,
1557 sfk_destructor
, TYPE_UNQUALIFIED
, false,
1558 false, false, NULL
, NULL
,
1560 false, flags
, complain
, /*dtor_from_ctor*/true);
1564 pop_deferring_access_checks ();
1565 --cp_unevaluated_operand
;
1566 --c_inhibit_evaluation_warnings
;
1569 /* DECL is a defaulted function whose exception specification is now
1570 needed. Return what it should be. */
1573 get_defaulted_eh_spec (tree decl
)
1575 if (DECL_CLONED_FUNCTION_P (decl
))
1576 decl
= DECL_CLONED_FUNCTION (decl
);
1577 special_function_kind sfk
= special_function_p (decl
);
1578 tree ctype
= DECL_CONTEXT (decl
);
1579 tree parms
= FUNCTION_FIRST_USER_PARMTYPE (decl
);
1580 tree parm_type
= TREE_VALUE (parms
);
1581 bool const_p
= CP_TYPE_CONST_P (non_reference (parm_type
));
1582 tree spec
= empty_except_spec
;
1583 synthesized_method_walk (ctype
, sfk
, const_p
, &spec
, NULL
, NULL
,
1584 NULL
, false, DECL_INHERITED_CTOR_BASE (decl
),
1589 /* DECL is a deleted function. If it's implicitly deleted, explain why and
1590 return true; else return false. */
1593 maybe_explain_implicit_delete (tree decl
)
1595 /* If decl is a clone, get the primary variant. */
1596 decl
= DECL_ORIGIN (decl
);
1597 gcc_assert (DECL_DELETED_FN (decl
));
1598 if (DECL_DEFAULTED_FN (decl
))
1600 /* Not marked GTY; it doesn't need to be GC'd or written to PCH. */
1601 static hash_set
<tree
> *explained
;
1603 special_function_kind sfk
;
1609 explained
= new hash_set
<tree
>;
1610 if (explained
->add (decl
))
1613 sfk
= special_function_p (decl
);
1614 ctype
= DECL_CONTEXT (decl
);
1615 loc
= input_location
;
1616 input_location
= DECL_SOURCE_LOCATION (decl
);
1619 if (LAMBDA_TYPE_P (ctype
))
1622 if (sfk
== sfk_constructor
)
1623 inform (DECL_SOURCE_LOCATION (decl
),
1624 "a lambda closure type has a deleted default constructor");
1625 else if (sfk
== sfk_copy_assignment
)
1626 inform (DECL_SOURCE_LOCATION (decl
),
1627 "a lambda closure type has a deleted copy assignment operator");
1631 else if (DECL_ARTIFICIAL (decl
)
1632 && (sfk
== sfk_copy_assignment
1633 || sfk
== sfk_copy_constructor
)
1634 && (type_has_user_declared_move_constructor (ctype
)
1635 || type_has_user_declared_move_assign (ctype
)))
1637 inform (DECL_SOURCE_LOCATION (decl
),
1638 "%q#D is implicitly declared as deleted because %qT "
1639 "declares a move constructor or move assignment operator",
1645 tree parms
= FUNCTION_FIRST_USER_PARMTYPE (decl
);
1646 tree parm_type
= TREE_VALUE (parms
);
1647 bool const_p
= CP_TYPE_CONST_P (non_reference (parm_type
));
1648 tree raises
= NULL_TREE
;
1649 bool deleted_p
= false;
1650 tree scope
= push_scope (ctype
);
1652 synthesized_method_walk (ctype
, sfk
, const_p
,
1653 &raises
, NULL
, &deleted_p
, NULL
, false,
1654 DECL_INHERITED_CTOR_BASE (decl
), parms
);
1657 inform (DECL_SOURCE_LOCATION (decl
),
1658 "%q#D is implicitly deleted because the default "
1659 "definition would be ill-formed:", decl
);
1660 synthesized_method_walk (ctype
, sfk
, const_p
,
1661 NULL
, NULL
, NULL
, NULL
, true,
1662 DECL_INHERITED_CTOR_BASE (decl
), parms
);
1664 else if (!comp_except_specs
1665 (TYPE_RAISES_EXCEPTIONS (TREE_TYPE (decl
)),
1667 inform (DECL_SOURCE_LOCATION (decl
), "%q#F is implicitly "
1668 "deleted because its exception-specification does not "
1669 "match the implicit exception-specification %qX",
1671 else if (flag_checking
)
1677 input_location
= loc
;
1683 /* DECL is a defaulted function which was declared constexpr. Explain why
1684 it can't be constexpr. */
1687 explain_implicit_non_constexpr (tree decl
)
1689 tree parm_type
= TREE_VALUE (FUNCTION_FIRST_USER_PARMTYPE (decl
));
1690 bool const_p
= CP_TYPE_CONST_P (non_reference (parm_type
));
1692 synthesized_method_walk (DECL_CLASS_CONTEXT (decl
),
1693 special_function_p (decl
), const_p
,
1694 NULL
, NULL
, NULL
, &dummy
, true,
1695 DECL_INHERITED_CTOR_BASE (decl
),
1696 FUNCTION_FIRST_USER_PARMTYPE (decl
));
1699 /* DECL is an instantiation of an inheriting constructor template. Deduce
1700 the correct exception-specification and deletedness for this particular
1704 deduce_inheriting_ctor (tree decl
)
1706 gcc_assert (DECL_INHERITED_CTOR_BASE (decl
));
1708 bool trivial
, constexpr_
, deleted
;
1709 synthesized_method_walk (DECL_CONTEXT (decl
), sfk_inheriting_constructor
,
1710 false, &spec
, &trivial
, &deleted
, &constexpr_
,
1712 DECL_INHERITED_CTOR_BASE (decl
),
1713 FUNCTION_FIRST_USER_PARMTYPE (decl
));
1714 DECL_DELETED_FN (decl
) = deleted
;
1715 TREE_TYPE (decl
) = build_exception_variant (TREE_TYPE (decl
), spec
);
1718 /* Implicitly declare the special function indicated by KIND, as a
1719 member of TYPE. For copy constructors and assignment operators,
1720 CONST_P indicates whether these functions should take a const
1721 reference argument or a non-const reference. Returns the
1722 FUNCTION_DECL for the implicitly declared function. */
1725 implicitly_declare_fn (special_function_kind kind
, tree type
,
1726 bool const_p
, tree inherited_ctor
,
1727 tree inherited_parms
)
1730 tree parameter_types
= void_list_node
;
1733 tree raises
= empty_except_spec
;
1734 tree rhs_parm_type
= NULL_TREE
;
1737 HOST_WIDE_INT saved_processing_template_decl
;
1741 /* Because we create declarations for implicitly declared functions
1742 lazily, we may be creating the declaration for a member of TYPE
1743 while in some completely different context. However, TYPE will
1744 never be a dependent class (because we never want to do lookups
1745 for implicitly defined functions in a dependent class).
1746 Furthermore, we must set PROCESSING_TEMPLATE_DECL to zero here
1747 because we only create clones for constructors and destructors
1748 when not in a template. */
1749 gcc_assert (!dependent_type_p (type
));
1750 saved_processing_template_decl
= processing_template_decl
;
1751 processing_template_decl
= 0;
1753 type
= TYPE_MAIN_VARIANT (type
);
1755 if (targetm
.cxx
.cdtor_returns_this () && !TYPE_FOR_JAVA (type
))
1757 if (kind
== sfk_destructor
)
1758 /* See comment in check_special_function_return_type. */
1759 return_type
= build_pointer_type (void_type_node
);
1761 return_type
= build_pointer_type (type
);
1764 return_type
= void_type_node
;
1768 case sfk_destructor
:
1770 name
= constructor_name (type
);
1773 case sfk_constructor
:
1774 /* Default constructor. */
1775 name
= constructor_name (type
);
1778 case sfk_copy_constructor
:
1779 case sfk_copy_assignment
:
1780 case sfk_move_constructor
:
1781 case sfk_move_assignment
:
1782 case sfk_inheriting_constructor
:
1785 if (kind
== sfk_copy_assignment
1786 || kind
== sfk_move_assignment
)
1788 return_type
= build_reference_type (type
);
1789 name
= ansi_assopname (NOP_EXPR
);
1792 name
= constructor_name (type
);
1794 if (kind
== sfk_inheriting_constructor
)
1795 parameter_types
= inherited_parms
;
1799 rhs_parm_type
= cp_build_qualified_type (type
, TYPE_QUAL_CONST
);
1801 rhs_parm_type
= type
;
1802 move_p
= (kind
== sfk_move_assignment
1803 || kind
== sfk_move_constructor
);
1804 rhs_parm_type
= cp_build_reference_type (rhs_parm_type
, move_p
);
1806 parameter_types
= tree_cons (NULL_TREE
, rhs_parm_type
, parameter_types
);
1814 tree inherited_base
= (inherited_ctor
1815 ? DECL_CONTEXT (inherited_ctor
)
1817 bool trivial_p
= false;
1819 if (inherited_ctor
&& TREE_CODE (inherited_ctor
) == TEMPLATE_DECL
)
1821 /* For an inheriting constructor template, just copy these flags from
1822 the inherited constructor template for now. */
1823 raises
= TYPE_RAISES_EXCEPTIONS (TREE_TYPE (inherited_ctor
));
1824 deleted_p
= DECL_DELETED_FN (inherited_ctor
);
1825 constexpr_p
= DECL_DECLARED_CONSTEXPR_P (inherited_ctor
);
1827 else if (cxx_dialect
>= cxx11
)
1829 raises
= unevaluated_noexcept_spec ();
1830 synthesized_method_walk (type
, kind
, const_p
, NULL
, &trivial_p
,
1831 &deleted_p
, &constexpr_p
, false,
1832 inherited_base
, inherited_parms
);
1835 synthesized_method_walk (type
, kind
, const_p
, &raises
, &trivial_p
,
1836 &deleted_p
, &constexpr_p
, false,
1837 inherited_base
, inherited_parms
);
1838 /* Don't bother marking a deleted constructor as constexpr. */
1840 constexpr_p
= false;
1841 /* A trivial copy/move constructor is also a constexpr constructor,
1842 unless the class has virtual bases (7.1.5p4). */
1843 else if (trivial_p
&& cxx_dialect
>= cxx11
1844 && (kind
== sfk_copy_constructor
1845 || kind
== sfk_move_constructor
)
1846 && !CLASSTYPE_VBASECLASSES (type
))
1847 gcc_assert (constexpr_p
);
1849 if (!trivial_p
&& type_has_trivial_fn (type
, kind
))
1850 type_set_nontrivial_flag (type
, kind
);
1852 /* Create the function. */
1853 fn_type
= build_method_type_directly (type
, return_type
, parameter_types
);
1855 fn_type
= build_exception_variant (fn_type
, raises
);
1856 fn
= build_lang_decl (FUNCTION_DECL
, name
, fn_type
);
1857 if (kind
!= sfk_inheriting_constructor
)
1858 DECL_SOURCE_LOCATION (fn
) = DECL_SOURCE_LOCATION (TYPE_NAME (type
));
1859 if (kind
== sfk_constructor
|| kind
== sfk_copy_constructor
1860 || kind
== sfk_move_constructor
|| kind
== sfk_inheriting_constructor
)
1861 DECL_CONSTRUCTOR_P (fn
) = 1;
1862 else if (kind
== sfk_destructor
)
1863 DECL_DESTRUCTOR_P (fn
) = 1;
1866 DECL_ASSIGNMENT_OPERATOR_P (fn
) = 1;
1867 SET_OVERLOADED_OPERATOR_CODE (fn
, NOP_EXPR
);
1870 DECL_ALIGN (fn
) = MINIMUM_METHOD_BOUNDARY
;
1872 /* Create the explicit arguments. */
1875 /* Note that this parameter is *not* marked DECL_ARTIFICIAL; we
1876 want its type to be included in the mangled function
1878 tree decl
= cp_build_parm_decl (NULL_TREE
, rhs_parm_type
);
1879 TREE_READONLY (decl
) = 1;
1880 retrofit_lang_decl (decl
);
1881 DECL_PARM_INDEX (decl
) = DECL_PARM_LEVEL (decl
) = 1;
1882 DECL_ARGUMENTS (fn
) = decl
;
1884 else if (kind
== sfk_inheriting_constructor
)
1886 tree
*p
= &DECL_ARGUMENTS (fn
);
1888 for (tree parm
= inherited_parms
; parm
!= void_list_node
;
1889 parm
= TREE_CHAIN (parm
))
1891 *p
= cp_build_parm_decl (NULL_TREE
, TREE_VALUE (parm
));
1892 retrofit_lang_decl (*p
);
1893 DECL_PARM_LEVEL (*p
) = 1;
1894 DECL_PARM_INDEX (*p
) = index
++;
1895 DECL_CONTEXT (*p
) = fn
;
1896 p
= &DECL_CHAIN (*p
);
1898 SET_DECL_INHERITED_CTOR_BASE (fn
, inherited_base
);
1899 DECL_NONCONVERTING_P (fn
) = DECL_NONCONVERTING_P (inherited_ctor
);
1900 /* A constructor so declared has the same access as the corresponding
1901 constructor in X. */
1902 TREE_PRIVATE (fn
) = TREE_PRIVATE (inherited_ctor
);
1903 TREE_PROTECTED (fn
) = TREE_PROTECTED (inherited_ctor
);
1904 /* Copy constexpr from the inherited constructor even if the
1905 inheriting constructor doesn't satisfy the requirements. */
1906 constexpr_p
= DECL_DECLARED_CONSTEXPR_P (inherited_ctor
);
1908 /* Add the "this" parameter. */
1909 this_parm
= build_this_parm (fn_type
, TYPE_UNQUALIFIED
);
1910 DECL_CHAIN (this_parm
) = DECL_ARGUMENTS (fn
);
1911 DECL_ARGUMENTS (fn
) = this_parm
;
1913 grokclassfn (type
, fn
, kind
== sfk_destructor
? DTOR_FLAG
: NO_SPECIAL
);
1914 DECL_IN_AGGR_P (fn
) = 1;
1915 DECL_ARTIFICIAL (fn
) = 1;
1916 DECL_DEFAULTED_FN (fn
) = 1;
1917 if (cxx_dialect
>= cxx11
)
1919 /* "The closure type associated with a lambda-expression has a deleted
1920 default constructor and a deleted copy assignment operator." */
1921 if ((kind
== sfk_constructor
1922 || kind
== sfk_copy_assignment
)
1923 && LAMBDA_TYPE_P (type
))
1925 DECL_DELETED_FN (fn
) = deleted_p
;
1926 DECL_DECLARED_CONSTEXPR_P (fn
) = constexpr_p
;
1928 DECL_EXTERNAL (fn
) = true;
1929 DECL_NOT_REALLY_EXTERN (fn
) = 1;
1930 DECL_DECLARED_INLINE_P (fn
) = 1;
1931 set_linkage_according_to_type (type
, fn
);
1932 if (TREE_PUBLIC (fn
))
1933 DECL_COMDAT (fn
) = 1;
1934 rest_of_decl_compilation (fn
, toplevel_bindings_p (), at_eof
);
1935 gcc_assert (!TREE_USED (fn
));
1937 /* Propagate constraints from the inherited constructor. */
1938 if (flag_concepts
&& inherited_ctor
)
1939 if (tree orig_ci
= get_constraints (inherited_ctor
))
1941 tree new_ci
= copy_node (orig_ci
);
1942 set_constraints (fn
, new_ci
);
1945 /* Restore PROCESSING_TEMPLATE_DECL. */
1946 processing_template_decl
= saved_processing_template_decl
;
1948 if (inherited_ctor
&& TREE_CODE (inherited_ctor
) == TEMPLATE_DECL
)
1949 fn
= add_inherited_template_parms (fn
, inherited_ctor
);
1951 /* Warn about calling a non-trivial move assignment in a virtual base. */
1952 if (kind
== sfk_move_assignment
&& !deleted_p
&& !trivial_p
1953 && CLASSTYPE_VBASECLASSES (type
))
1955 location_t loc
= input_location
;
1956 input_location
= DECL_SOURCE_LOCATION (fn
);
1957 synthesized_method_walk (type
, kind
, const_p
,
1958 NULL
, NULL
, NULL
, NULL
, true,
1959 NULL_TREE
, NULL_TREE
);
1960 input_location
= loc
;
1966 /* Gives any errors about defaulted functions which need to be deferred
1967 until the containing class is complete. */
1970 defaulted_late_check (tree fn
)
1972 /* Complain about invalid signature for defaulted fn. */
1973 tree ctx
= DECL_CONTEXT (fn
);
1974 special_function_kind kind
= special_function_p (fn
);
1975 bool fn_const_p
= (copy_fn_p (fn
) == 2);
1976 tree implicit_fn
= implicitly_declare_fn (kind
, ctx
, fn_const_p
,
1978 tree eh_spec
= TYPE_RAISES_EXCEPTIONS (TREE_TYPE (implicit_fn
));
1980 if (!same_type_p (TREE_TYPE (TREE_TYPE (fn
)),
1981 TREE_TYPE (TREE_TYPE (implicit_fn
)))
1982 || !compparms (TYPE_ARG_TYPES (TREE_TYPE (fn
)),
1983 TYPE_ARG_TYPES (TREE_TYPE (implicit_fn
))))
1985 error ("defaulted declaration %q+D", fn
);
1986 error_at (DECL_SOURCE_LOCATION (fn
),
1987 "does not match expected signature %qD", implicit_fn
);
1990 /* 8.4.2/2: An explicitly-defaulted function (...) may have an explicit
1991 exception-specification only if it is compatible (15.4) with the
1992 exception-specification on the implicit declaration. If a function
1993 is explicitly defaulted on its first declaration, (...) it is
1994 implicitly considered to have the same exception-specification as if
1995 it had been implicitly declared. */
1996 maybe_instantiate_noexcept (fn
);
1997 tree fn_spec
= TYPE_RAISES_EXCEPTIONS (TREE_TYPE (fn
));
2000 if (DECL_DEFAULTED_IN_CLASS_P (fn
))
2001 TREE_TYPE (fn
) = build_exception_variant (TREE_TYPE (fn
), eh_spec
);
2003 else if (UNEVALUATED_NOEXCEPT_SPEC_P (fn_spec
))
2004 /* Equivalent to the implicit spec. */;
2005 else if (DECL_DEFAULTED_IN_CLASS_P (fn
)
2006 && !CLASSTYPE_TEMPLATE_INSTANTIATION (ctx
))
2007 /* We can't compare an explicit exception-specification on a
2008 constructor defaulted in the class body to the implicit
2009 exception-specification until after we've parsed any NSDMI; see
2010 after_nsdmi_defaulted_late_checks. */;
2013 tree eh_spec
= get_defaulted_eh_spec (fn
);
2014 if (!comp_except_specs (fn_spec
, eh_spec
, ce_normal
))
2016 if (DECL_DEFAULTED_IN_CLASS_P (fn
))
2017 DECL_DELETED_FN (fn
) = true;
2019 error ("function %q+D defaulted on its redeclaration "
2020 "with an exception-specification that differs from "
2021 "the implicit exception-specification %qX", fn
, eh_spec
);
2025 if (DECL_DEFAULTED_IN_CLASS_P (fn
)
2026 && DECL_DECLARED_CONSTEXPR_P (implicit_fn
))
2028 /* Hmm...should we do this for out-of-class too? Should it be OK to
2029 add constexpr later like inline, rather than requiring
2030 declarations to match? */
2031 DECL_DECLARED_CONSTEXPR_P (fn
) = true;
2032 if (kind
== sfk_constructor
)
2033 TYPE_HAS_CONSTEXPR_CTOR (ctx
) = true;
2036 if (!DECL_DECLARED_CONSTEXPR_P (implicit_fn
)
2037 && DECL_DECLARED_CONSTEXPR_P (fn
))
2039 if (!CLASSTYPE_TEMPLATE_INSTANTIATION (ctx
))
2041 error ("explicitly defaulted function %q+D cannot be declared "
2042 "as constexpr because the implicit declaration is not "
2044 explain_implicit_non_constexpr (fn
);
2046 DECL_DECLARED_CONSTEXPR_P (fn
) = false;
2049 if (DECL_DELETED_FN (implicit_fn
))
2050 DECL_DELETED_FN (fn
) = 1;
2053 /* OK, we've parsed the NSDMI for class T, now we can check any explicit
2054 exception-specifications on functions defaulted in the class body. */
2057 after_nsdmi_defaulted_late_checks (tree t
)
2059 if (uses_template_parms (t
))
2061 if (t
== error_mark_node
)
2063 for (tree fn
= TYPE_METHODS (t
); fn
; fn
= DECL_CHAIN (fn
))
2064 if (!DECL_ARTIFICIAL (fn
) && DECL_DEFAULTED_IN_CLASS_P (fn
))
2066 tree fn_spec
= TYPE_RAISES_EXCEPTIONS (TREE_TYPE (fn
));
2067 if (UNEVALUATED_NOEXCEPT_SPEC_P (fn_spec
))
2070 tree eh_spec
= get_defaulted_eh_spec (fn
);
2071 if (!comp_except_specs (TYPE_RAISES_EXCEPTIONS (TREE_TYPE (fn
)),
2072 eh_spec
, ce_normal
))
2073 DECL_DELETED_FN (fn
) = true;
2077 /* Returns true iff FN can be explicitly defaulted, and gives any
2078 errors if defaulting FN is ill-formed. */
2081 defaultable_fn_check (tree fn
)
2083 special_function_kind kind
= sfk_none
;
2085 if (template_parm_scope_p ())
2087 error ("a template cannot be defaulted");
2091 if (DECL_CONSTRUCTOR_P (fn
))
2093 if (FUNCTION_FIRST_USER_PARMTYPE (fn
) == void_list_node
)
2094 kind
= sfk_constructor
;
2095 else if (copy_fn_p (fn
) > 0
2096 && (TREE_CHAIN (FUNCTION_FIRST_USER_PARMTYPE (fn
))
2098 kind
= sfk_copy_constructor
;
2099 else if (move_fn_p (fn
))
2100 kind
= sfk_move_constructor
;
2102 else if (DECL_DESTRUCTOR_P (fn
))
2103 kind
= sfk_destructor
;
2104 else if (DECL_ASSIGNMENT_OPERATOR_P (fn
)
2105 && DECL_OVERLOADED_OPERATOR_P (fn
) == NOP_EXPR
)
2108 kind
= sfk_copy_assignment
;
2109 else if (move_fn_p (fn
))
2110 kind
= sfk_move_assignment
;
2113 if (kind
== sfk_none
)
2115 error ("%qD cannot be defaulted", fn
);
2120 for (tree t
= FUNCTION_FIRST_USER_PARMTYPE (fn
);
2121 t
&& t
!= void_list_node
; t
= TREE_CHAIN (t
))
2122 if (TREE_PURPOSE (t
))
2124 error ("defaulted function %q+D with default argument", fn
);
2128 /* Avoid do_warn_unused_parameter warnings. */
2129 for (tree p
= FUNCTION_FIRST_USER_PARM (fn
); p
; p
= DECL_CHAIN (p
))
2131 TREE_NO_WARNING (p
) = 1;
2133 if (TYPE_BEING_DEFINED (DECL_CONTEXT (fn
)))
2134 /* Defer checking. */;
2135 else if (!processing_template_decl
)
2136 defaulted_late_check (fn
);
2142 /* Add an implicit declaration to TYPE for the kind of function
2143 indicated by SFK. Return the FUNCTION_DECL for the new implicit
2147 lazily_declare_fn (special_function_kind sfk
, tree type
)
2150 /* Whether or not the argument has a const reference type. */
2151 bool const_p
= false;
2153 type
= TYPE_MAIN_VARIANT (type
);
2157 case sfk_constructor
:
2158 CLASSTYPE_LAZY_DEFAULT_CTOR (type
) = 0;
2160 case sfk_copy_constructor
:
2161 const_p
= TYPE_HAS_CONST_COPY_CTOR (type
);
2162 CLASSTYPE_LAZY_COPY_CTOR (type
) = 0;
2164 case sfk_move_constructor
:
2165 CLASSTYPE_LAZY_MOVE_CTOR (type
) = 0;
2167 case sfk_copy_assignment
:
2168 const_p
= TYPE_HAS_CONST_COPY_ASSIGN (type
);
2169 CLASSTYPE_LAZY_COPY_ASSIGN (type
) = 0;
2171 case sfk_move_assignment
:
2172 CLASSTYPE_LAZY_MOVE_ASSIGN (type
) = 0;
2174 case sfk_destructor
:
2175 CLASSTYPE_LAZY_DESTRUCTOR (type
) = 0;
2181 /* Declare the function. */
2182 fn
= implicitly_declare_fn (sfk
, type
, const_p
, NULL
, NULL
);
2184 /* [class.copy]/8 If the class definition declares a move constructor or
2185 move assignment operator, the implicitly declared copy constructor is
2186 defined as deleted.... */
2187 if ((sfk
== sfk_copy_assignment
2188 || sfk
== sfk_copy_constructor
)
2189 && (type_has_user_declared_move_constructor (type
)
2190 || type_has_user_declared_move_assign (type
)))
2191 DECL_DELETED_FN (fn
) = true;
2193 /* A destructor may be virtual. */
2194 if (sfk
== sfk_destructor
2195 || sfk
== sfk_move_assignment
2196 || sfk
== sfk_copy_assignment
)
2197 check_for_override (fn
, type
);
2198 /* Add it to CLASSTYPE_METHOD_VEC. */
2199 add_method (type
, fn
, NULL_TREE
);
2200 /* Add it to TYPE_METHODS. */
2201 if (sfk
== sfk_destructor
2202 && DECL_VIRTUAL_P (fn
))
2203 /* The ABI requires that a virtual destructor go at the end of the
2205 TYPE_METHODS (type
) = chainon (TYPE_METHODS (type
), fn
);
2208 DECL_CHAIN (fn
) = TYPE_METHODS (type
);
2209 TYPE_METHODS (type
) = fn
;
2211 maybe_add_class_template_decl_list (type
, fn
, /*friend_p=*/0);
2212 if (DECL_MAYBE_IN_CHARGE_CONSTRUCTOR_P (fn
)
2213 || DECL_MAYBE_IN_CHARGE_DESTRUCTOR_P (fn
))
2214 /* Create appropriate clones. */
2215 clone_function_decl (fn
, /*update_method_vec=*/true);
2220 /* Given a FUNCTION_DECL FN and a chain LIST, skip as many elements of LIST
2221 as there are artificial parms in FN. */
2224 skip_artificial_parms_for (const_tree fn
, tree list
)
2226 if (DECL_NONSTATIC_MEMBER_FUNCTION_P (fn
))
2227 list
= TREE_CHAIN (list
);
2231 if (DECL_HAS_IN_CHARGE_PARM_P (fn
))
2232 list
= TREE_CHAIN (list
);
2233 if (DECL_HAS_VTT_PARM_P (fn
))
2234 list
= TREE_CHAIN (list
);
2238 /* Given a FUNCTION_DECL FN and a chain LIST, return the number of
2239 artificial parms in FN. */
2242 num_artificial_parms_for (const_tree fn
)
2246 if (DECL_NONSTATIC_MEMBER_FUNCTION_P (fn
))
2251 if (DECL_HAS_IN_CHARGE_PARM_P (fn
))
2253 if (DECL_HAS_VTT_PARM_P (fn
))
2259 #include "gt-cp-method.h"