From 826134760c49518d97769c8bb7ecbc264b78cac9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Arsen=20Arsenovi=C4=87?= <arsen@aarsen.me>
Date: Tue, 23 Jul 2024 13:01:03 +0200
Subject: cp/coroutines: add a test for PR c++/103953

This PR seems to have been fixed by a fix for a seemingly unrelated PR.
Lets add a regression test to make sure it stays fixed.

PR c++/103953 - Leak of coroutine return object

	PR c++/103953

gcc/testsuite/ChangeLog:

	* g++.dg/coroutines/torture/pr103953.C: New test.

Reviewed-by: Iain Sandoe <iain@sandoe.co.uk>
---
 gcc/testsuite/g++.dg/coroutines/torture/pr103953.C | 75 ++++++++++++++++++++++
 1 file changed, 75 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/coroutines/torture/pr103953.C

diff --git a/gcc/testsuite/g++.dg/coroutines/torture/pr103953.C b/gcc/testsuite/g++.dg/coroutines/torture/pr103953.C
new file mode 100644
index 0000000..da559f8
--- /dev/null
+++ b/gcc/testsuite/g++.dg/coroutines/torture/pr103953.C
@@ -0,0 +1,75 @@
+// { dg-do run }
+// https://gcc.gnu.org/PR103953
+#include <coroutine>
+#include <utility>
+
+static int ctor_dtor_count = 0;
+
+struct task {
+    struct promise_type;
+
+    using handle_type = std::coroutine_handle<promise_type>;
+
+    task(handle_type h) : handle(h) {
+        ctor_dtor_count++;
+    }
+    task(const task & t) : handle(t.handle) {
+        ctor_dtor_count++;
+    }
+    task(task && t) : handle(std::move(t.handle)) {
+        ctor_dtor_count++;
+    }
+    ~task() {
+	if (--ctor_dtor_count < 0)
+	    __builtin_abort ();
+    }
+
+    struct promise_type {
+        auto get_return_object() {
+            return task{handle_type::from_promise(*this)};
+        }
+
+        auto initial_suspend() {
+            return std::suspend_always {};
+        }
+
+        auto unhandled_exception() {}
+
+        auto final_suspend() noexcept {
+            return std::suspend_always{};
+        }
+
+        void return_void() {}
+    };
+
+   handle_type handle;
+
+   void await_resume() {
+       handle.resume();
+   }
+
+   auto await_suspend(handle_type) {
+       return handle;
+   }
+
+   auto await_ready() {
+       return false;
+   }
+};
+
+int main() {
+    {
+	task coroutine_A = []() ->task {
+	    co_return;
+	}();
+
+	task coroutine_B = [&coroutine_A]() ->task {
+	    co_await coroutine_A;
+	}();
+
+	coroutine_B.handle.resume();
+    }
+
+    if (ctor_dtor_count != 0)
+	__builtin_abort ();
+}
-- 
cgit v1.1