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 6ecfe7ea01b42d69da7e217c37edfcb1dfa963e4..786070c546dac77422e83cc38d3cd98e96d4aa34 100644 (file)
--- 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 (file)
index 0000000..84bfae0
--- /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>()));