c++: Emit an error for attempted constexpr co_await [PR118903].

We checked that the coroutine expressions were not suitable for
constexpr, but did not emit and error when needed.

	PR c++/118903

gcc/cp/ChangeLog:

	* constexpr.cc (potential_constant_expression_1): Emit
	an error when co_await et. al. are used in constexpr
	contexts.

gcc/testsuite/ChangeLog:

	* g++.dg/coroutines/pr118903.C: New test.

Signed-off-by: Iain Sandoe <iain@sandoe.co.uk>

diff --git a/gcc/cp/constexpr.cc b/gcc/cp/constexpr.cc
index 61481c6f7a023d5b41fe5d8c838e11c4a91578fe..3a87e73a4d0f2628b3762d4f93fff7bad290cef5 100644 (file)
--- a/gcc/cp/constexpr.cc
+++ b/gcc/cp/constexpr.cc
@@ -11024,6 +11024,9 @@ potential_constant_expression_1 (tree t, bool want_rval, bool strict, bool now,
     case CO_AWAIT_EXPR:
     case CO_YIELD_EXPR:
     case CO_RETURN_EXPR:
+      if (flags & tf_error)
+       constexpr_error (cp_expr_loc_or_loc (t, input_location), fundef_p,
+                        "%qE is not a constant expression", t);
       return false;
 
     /* Assume a TU-local entity is not constant, we'll error later when

diff --git a/gcc/testsuite/g++.dg/coroutines/pr118903.C b/gcc/testsuite/g++.dg/coroutines/pr118903.C
new file mode 100644 (file)
index 0000000..a577a9a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/coroutines/pr118903.C
@@ -0,0 +1,40 @@
+// { dg-additional-options "-fsyntax-only" }
+
+#include <coroutine>
+
+struct awaitable {
+    constexpr bool await_ready() {
+        return true;
+    }
+    void await_suspend(std::coroutine_handle<void>) {
+
+    }
+    constexpr int await_resume() {
+        return 42;
+    }
+};
+
+struct super_simple_coroutine {
+    struct promise_type {
+        constexpr auto initial_suspend() {
+            return std::suspend_never();
+        }
+        constexpr auto final_suspend() const noexcept {
+            return std::suspend_never();
+        }
+        constexpr void unhandled_exception() {
+            // do nothing
+        }
+        constexpr auto get_return_object() {
+            return super_simple_coroutine{};
+        }
+        constexpr void return_void() {
+        }
+    };
+};
+
+auto fib (float f) -> super_simple_coroutine {
+    // if `co_await` is part of BodyStatement of a function
+    // it makes it coroutine
+    constexpr int x = co_await awaitable{}; // { dg-error {'co_await awaitable..' is not a constant expression} }
+}