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

gcc/testsuite/ChangeLog

+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.

gcc/testsuite/g++.dg/cpp0x/constexpr-ice8.C

+// 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>()));