From 341035a54aa8954c66b0492f366b8c65fdb34299 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 3 Dec 2020 15:32:31 +0100 Subject: [PATCH] c++: consteval-defarg1.C test variant for templates We weren't recognizing a default argument for a consteval member function as being in immediate function context because there was no function parameter scope to look at. The following testcase is an attempt to test it with templates, both non-dependent and dependent consteval calls in both function and class templates, and with r11-5694 it now passes. 2020-12-03 Jakub Jelinek * g++.dg/cpp2a/consteval-defarg2.C: New test. --- .../g++.dg/cpp2a/consteval-defarg2.C | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 gcc/testsuite/g++.dg/cpp2a/consteval-defarg2.C diff --git a/gcc/testsuite/g++.dg/cpp2a/consteval-defarg2.C b/gcc/testsuite/g++.dg/cpp2a/consteval-defarg2.C new file mode 100644 index 00000000000..e8462c81fe7 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/consteval-defarg2.C @@ -0,0 +1,29 @@ +// Test that late-parsed default args have the same consteval semantics. +// { dg-do compile { target c++20 } } + +template +consteval bool foo (bool x) { if (x) throw N; return false; } +consteval bool qux (bool x) { if (x) throw 1; return false; } +template +consteval bool bar (bool x = foo (true)) { return true; } +template +consteval bool corge (bool x = qux (true)) { return true; } +template +struct S +{ + consteval static bool baz (bool x = foo (true)) { return true; } + consteval static bool garply (bool x = qux (true)) { return true; } +}; +struct T +{ + template + consteval static bool baz (bool x = foo (true)) { return true; } + template + consteval static bool garply (bool x = qux (true)) { return true; } +}; +constexpr bool a = bar<0> (true); +constexpr bool b = corge<0> (true); +constexpr bool c = S<0>::baz (true); +constexpr bool d = S<0>::garply (true); +constexpr bool e = T::baz<0> (true); +constexpr bool f = T::garply<0> (true); -- 2.30.2