PR c++/78139 - destructor needed by new-expression
* call.c (build_special_member_call): Use tf_no_cleanup. From-SVN: r245612
This commit is contained in:
parent
f05df2ac59
commit
0e53a276bc
|
@ -1,5 +1,8 @@
|
||||||
2017-02-19 Jason Merrill <jason@redhat.com>
|
2017-02-19 Jason Merrill <jason@redhat.com>
|
||||||
|
|
||||||
|
PR c++/78139 - destructor needed by new-expression
|
||||||
|
* call.c (build_special_member_call): Use tf_no_cleanup.
|
||||||
|
|
||||||
PR c++/78282 - auto template and pack expansion
|
PR c++/78282 - auto template and pack expansion
|
||||||
* pt.c (find_parameter_packs_r): Don't walk into the type of
|
* pt.c (find_parameter_packs_r): Don't walk into the type of
|
||||||
templates other than template template-parameters.
|
templates other than template template-parameters.
|
||||||
|
|
|
@ -8356,9 +8356,15 @@ build_special_member_call (tree instance, tree name, vec<tree, va_gc> **args,
|
||||||
/* FIXME P0135 doesn't say how to handle direct initialization from a
|
/* FIXME P0135 doesn't say how to handle direct initialization from a
|
||||||
type with a suitable conversion operator. Let's handle it like
|
type with a suitable conversion operator. Let's handle it like
|
||||||
copy-initialization, but allowing explict conversions. */
|
copy-initialization, but allowing explict conversions. */
|
||||||
|
tsubst_flags_t sub_complain = tf_warning;
|
||||||
|
if (!is_dummy_object (instance))
|
||||||
|
/* If we're using this to initialize a non-temporary object, don't
|
||||||
|
require the destructor to be accessible. */
|
||||||
|
sub_complain |= tf_no_cleanup;
|
||||||
if (!reference_related_p (class_type, TREE_TYPE (arg)))
|
if (!reference_related_p (class_type, TREE_TYPE (arg)))
|
||||||
arg = perform_implicit_conversion_flags (class_type, arg,
|
arg = perform_implicit_conversion_flags (class_type, arg,
|
||||||
tf_warning, flags);
|
sub_complain,
|
||||||
|
flags);
|
||||||
if ((TREE_CODE (arg) == TARGET_EXPR
|
if ((TREE_CODE (arg) == TARGET_EXPR
|
||||||
|| TREE_CODE (arg) == CONSTRUCTOR)
|
|| TREE_CODE (arg) == CONSTRUCTOR)
|
||||||
&& (same_type_ignoring_top_level_qualifiers_p
|
&& (same_type_ignoring_top_level_qualifiers_p
|
||||||
|
|
|
@ -0,0 +1,18 @@
|
||||||
|
// PR c++/78139
|
||||||
|
|
||||||
|
struct A
|
||||||
|
{
|
||||||
|
A(int);
|
||||||
|
private:
|
||||||
|
~A();
|
||||||
|
};
|
||||||
|
|
||||||
|
struct B
|
||||||
|
{
|
||||||
|
B(void*);
|
||||||
|
};
|
||||||
|
|
||||||
|
int main()
|
||||||
|
{
|
||||||
|
B(new A(42));
|
||||||
|
}
|
Loading…
Reference in New Issue