diff options
| author | Marek Polacek <polacek@redhat.com> | 2019-01-08 23:54:47 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2019-01-08 23:54:47 +0000 |
| commit | 52af30719fde1430bd4c4a686fe4375be1a7b0cf (patch) | |
| tree | 979f06fc819c157fa369c1541c05ea31ae901e13 | |
| parent | 416f555930c2eb2fbfb6edb8219cf090d0bd5e74 (diff) | |
| download | gcc-52af30719fde1430bd4c4a686fe4375be1a7b0cf.zip gcc-52af30719fde1430bd4c4a686fe4375be1a7b0cf.tar.gz gcc-52af30719fde1430bd4c4a686fe4375be1a7b0cf.tar.bz2 | |
re PR c++/88744 (class non-type template parameters doesn't work with default template parameters)
PR c++/88744
* g++.dg/cpp2a/nontype-class12.C: New test.
From-SVN: r267744
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp2a/nontype-class12.C | 23 |
2 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f7b37d9..3d7023f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -3,6 +3,9 @@ PR c++/88538 - braced-init-list in template-argument-list. * g++.dg/cpp2a/nontype-class11.C: New test. + PR c++/88744 + * g++.dg/cpp2a/nontype-class12.C: New test. + 2019-01-08 Jakub Jelinek <jakub@redhat.com> PR target/88457 diff --git a/gcc/testsuite/g++.dg/cpp2a/nontype-class12.C b/gcc/testsuite/g++.dg/cpp2a/nontype-class12.C new file mode 100644 index 0000000..11f8c12 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/nontype-class12.C @@ -0,0 +1,23 @@ +// PR c++/88744 +// { dg-do compile { target c++2a } } + +#define SA(X) static_assert((X),#X) + +struct S { + int a; + int b; + constexpr S(int a_, int b_) : a{a_}, b{b_} { } +}; + +template<S s = {1, 2}> +struct X { + static constexpr int i = s.a; + static constexpr int j = s.b; +}; +X x; // ok, X<{1, 2}> +X<{3, 4}> x2; + +SA (x.i == 1); +SA (x.j == 2); +SA (x2.i == 3); +SA (x2.j == 4); |