From: mpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 8 Jan 2019 23:54:47 +0000 (+0000)
Subject: 	PR c++/88744
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9996d5d00591801707df8ff73766bcb99fc69269;p=thirdparty%2Fgcc.git

	PR c++/88744
	* g++.dg/cpp2a/nontype-class12.C: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@267744 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f7b37d96ed9b..3d7023f18c05 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 000000000000..11f8c12f3ffa
--- /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);