diff mbox

[committed] Add testcase for PR c++/71225

Message ID 20161111234617.GK3541@tucnak.redhat.com
State New
Headers show

Commit Message

Jakub Jelinek Nov. 11, 2016, 11:46 p.m. UTC 
Hi!

This testcase got accepted in 6.x, started to ICE with r236221,
r236486 stopped ICEing on it and started rejecting it,
r237654 accepts it again.  clang++ also accepts it.

Tested on x86_64-linux, committed to trunk so that the PR can be closed.

2016-11-12  Jakub Jelinek  <jakub@redhat.com>

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


	Jakub
diff mbox

Patch

--- gcc/testsuite/g++.dg/cpp0x/pr71225.C	(revision 0)
+++ gcc/testsuite/g++.dg/cpp0x/pr71225.C	(revision 242328)
@@ -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 (); }
+  };
+};