OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

c++: consteval-defarg1.C test variant for templates

Browse Source 
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  <jakub@redhat.com>

	* g++.dg/cpp2a/consteval-defarg2.C: New test.
This commit is contained in:
Jakub Jelinek 2020-12-03 15:32:31 +01:00
parent 614aff0adf
commit 341035a54a
1 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
gcc/testsuite/g++.dg/cpp2a/consteval-defarg2.C Normal file
View File

@ -0,0 +1,29 @@
// Test that late-parsed default args have the same consteval semantics.
// { dg-do compile { target c++20 } }
template <int N>
consteval bool foo (bool x) { if (x) throw N; return false; }
consteval bool qux (bool x) { if (x) throw 1; return false; }
template <int N>
consteval bool bar (bool x = foo<N> (true)) { return true; }
template <int N>
consteval bool corge (bool x = qux (true)) { return true; }
template <int N>
struct S
{
consteval static bool baz (bool x = foo<N> (true)) { return true; }
consteval static bool garply (bool x = qux (true)) { return true; }
};
struct T
{
template <int N>
consteval static bool baz (bool x = foo<N> (true)) { return true; }
template <int N>
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);