From 0971a73391e4013fb0014a244740f6f2bd3a1973 Mon Sep 17 00:00:00 2001
From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Sun, 11 Aug 2013 22:06:04 +0000
Subject: 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                     |  5 +++++
 gcc/testsuite/g++.dg/cpp0x/constexpr-ice8.C | 17 +++++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp0x/constexpr-ice8.C

(limited to 'gcc')

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6ecfe7e..786070c 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 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>()));
-- 
cgit v1.1