From 18d27358a51ac42c918be18eff0d24ba0b1ef52a Mon Sep 17 00:00:00 2001
From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Thu, 18 Dec 2014 23:43:46 +0000
Subject: [PATCH] re PR c++/59204 (Incorrect metaprogram evaluation in SFINAE
 context)

2014-12-18  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/59204
	* g++.dg/cpp0x/sfinae53.C: New.

From-SVN: r218878
---
 gcc/testsuite/ChangeLog               |  5 +++++
 gcc/testsuite/g++.dg/cpp0x/sfinae53.C | 23 +++++++++++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp0x/sfinae53.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 24696e0e67c..878a82e508c 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2014-12-18  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/59204
+	* g++.dg/cpp0x/sfinae53.C: New.
+
 2014-12-18  Vladimir Makarov  <vmakarov@redhat.com>
 
 	PR rtl-optimization/64291
diff --git a/gcc/testsuite/g++.dg/cpp0x/sfinae53.C b/gcc/testsuite/g++.dg/cpp0x/sfinae53.C
new file mode 100644
index 00000000000..19b00cf0c58
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/sfinae53.C
@@ -0,0 +1,23 @@
+// PR c++/59204
+// { dg-do compile { target c++11 } }
+
+template< class T >
+  using void_t = void;
+
+template< class T, class = void >
+  struct has_type
+{ constexpr static bool value = false; };
+
+template< class T >
+  struct has_type<T, void_t<typename T::type>>
+{ constexpr static bool value = true; };
+
+struct yes  { using type = int; };
+struct no   { };
+
+int
+main( )
+{
+  static_assert(     has_type<yes>::value, "false negative!" );
+  static_assert( not has_type<no >::value, "false positive!" );
+}
-- 
2.30.2