From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Sun, 11 Aug 2013 22:06:04 +0000 (+0000)
Subject: re PR c++/53349 (Internal compiler error with constexpr and recursive data type)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0971a73391e4013fb0014a244740f6f2bd3a1973;p=gcc.git

re PR c++/53349 (Internal compiler error with constexpr and recursive data type)

2013-08-11  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/53349
	* g++.dg/cpp0x/constexpr-ice8.C: New.

From-SVN: r201654
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6ecfe7ea01b..786070c546d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-08-11  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/53349
+	* g++.dg/cpp0x/constexpr-ice8.C: New.
+
 2013-08-09  Xinliang David Li  <davidxl@google.com>
 
 	* gcc.target/i386/memcpy-strategy-1.c: New test.
diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-ice8.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-ice8.C
new file mode 100644
index 00000000000..84bfae00077
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-ice8.C
@@ -0,0 +1,17 @@
+// PR c++/53349
+// { dg-do compile { target c++11 } }
+
+template <int N>
+struct Foo {
+  constexpr Foo(const Foo<N-1> a) : m_a(a)     {}
+  constexpr Foo(const Foo<N> &a)  : m_a(a.m_a) {}
+
+  Foo<N-1> m_a;
+};
+
+template <> struct Foo<0> {};
+
+constexpr Foo<1> catty1(Foo<1> x) { return x; }
+constexpr Foo<2> catty2(Foo<1> x) { return Foo<2>(catty1(x)); }
+
+constexpr auto res = catty2(Foo<1>(Foo<0>()));