From b8f70e67b8e8f178c24a8cf7761d1378e612299f Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Sat, 12 Nov 2016 00:42:25 +0100
Subject: [PATCH] re PR c++/71225 (Overeager instantiation of members of
 non-template class nested in class template)

	PR c++/71225
	* g++.dg/cpp0x/pr71225.C: New test.

From-SVN: r242328
---
 gcc/testsuite/ChangeLog              |  5 +++++
 gcc/testsuite/g++.dg/cpp0x/pr71225.C | 17 +++++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp0x/pr71225.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b8ee57d5fe3..21d11935bc5 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-11-12  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/71225
+	* g++.dg/cpp0x/pr71225.C: New test.
+
 2016-11-11  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc.target/sparc/20161111-1.c: New test.
diff --git a/gcc/testsuite/g++.dg/cpp0x/pr71225.C b/gcc/testsuite/g++.dg/cpp0x/pr71225.C
new file mode 100644
index 00000000000..8a328e4d939
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/pr71225.C
@@ -0,0 +1,17 @@
+// PR c++/71225
+// { dg-do compile { target c++11 } }
+
+template <bool, class> struct A;
+template <class T> struct B;
+template <typename T>
+struct C
+{
+  struct D
+  {
+    template <int N = 42, typename A<N == 43 || B<T>(), int>::type = 0>
+    void foo () const {}
+    template <int N = 42, typename A<N == 43 || !B<T> (), int>::type = 0>
+    void foo () const {}
+    void bar () { foo (); }
+  };
+};
-- 
2.30.2