PR c++/79679 - missing destructor for argument

	PR c++/79679 - missing destructor for argument
	* call.c (build_over_call): Don't pass tf_no_cleanup to argument
	conversions.

From-SVN: r245672

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 9d6a9a67c421ecc2a640a6c865882cdcd667c136..fb17a1913d25fb6fa59a1c537b6cc5ac7a0ba4a6 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
 2017-02-22  Jason Merrill  <jason@redhat.com>
 
+       PR c++/79679 - missing destructor for argument
+       * call.c (build_over_call): Don't pass tf_no_cleanup to argument
+       conversions.
+
        * pt.c (do_class_deduction): Handle 0 argument case.
 
 2017-02-22  Jakub Jelinek  <jakub@redhat.com>

diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index 93fae0d15b6ca0b1a84bf857bb2ef213bf61989c..f7924f0f4cd078b54bc60e77d4e08abdae22a6d8 100644 (file)
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -7838,12 +7838,13 @@ build_over_call (struct z_candidate *cand, int flags, tsubst_flags_t complain)
       if (flags & LOOKUP_NO_CONVERSION)
        conv->user_conv_p = true;
 
-      val = convert_like_with_context (conv, arg, fn, i - is_method,
-                                      conversion_warning
-                                      ? complain
-                                      : complain & (~tf_warning));
+      tsubst_flags_t arg_complain = complain & (~tf_no_cleanup);
+      if (!conversion_warning)
+       arg_complain &= ~tf_warning;
 
-      val = convert_for_arg_passing (type, val, complain);
+      val = convert_like_with_context (conv, arg, fn, i - is_method,
+                                      arg_complain);
+      val = convert_for_arg_passing (type, val, arg_complain);
        
       if (val == error_mark_node)
         return error_mark_node;

diff --git a/gcc/testsuite/g++.dg/init/cleanup4.C b/gcc/testsuite/g++.dg/init/cleanup4.C
new file mode 100644 (file)
index 0000000..b9769e3
--- /dev/null
+++ b/gcc/testsuite/g++.dg/init/cleanup4.C
@@ -0,0 +1,22 @@
+// PR c++/79679
+// { dg-do run }
+
+int count;
+struct S {
+    S() { ++count; }
+    S(const S&) { ++count; }
+    ~S() { --count; }
+};
+
+struct T {
+    T(S) {}
+};
+
+int main() {
+  {
+    S s;
+    T u(s);
+  }
+  if (count)
+    __builtin_abort();
+}