From: Jason Merrill <jason@redhat.com>
Date: Thu, 3 Dec 2020 18:55:51 +0000 (-0500)
Subject: c++: Add testcase for PR98019
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5ea36d20c352a3ca436aa764404f6210b090866b;p=gcc.git

c++: Add testcase for PR98019

This has already been fixed on trunk, but I don't see a testcase for it.

gcc/testsuite/ChangeLog:

	PR c++/98019
	* g++.dg/cpp2a/concepts-nodiscard1.C: New test.
---

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-nodiscard1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-nodiscard1.C
new file mode 100644
index 00000000000..28ce29b8bb0
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-nodiscard1.C
@@ -0,0 +1,10 @@
+// PR c++/98019
+// { dg-do compile { target c++20 } }
+
+template <class T, class U> concept same_as = __is_same_as (T, U);
+
+[[nodiscard]] int foo() { return 0; }
+[[maybe_unused]] constexpr bool b = requires {
+    { foo() } -> same_as<int>;
+};
+[[maybe_unused]] constexpr auto x = sizeof(foo());