From: redi <redi@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Sun, 31 Jul 2016 19:37:14 +0000 (+0000)
Subject: Change std::conditional test to compile-only
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=007b7acabd3dca9d6a553a3ec11c4b73a4271cba;p=thirdparty%2Fgcc.git

Change std::conditional test to compile-only

	* testsuite/20_util/conditional/requirements/typedefs.cc: Change to
	compile-only test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@238930 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index baf979a0c722..9bbfb4ca7c66 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,5 +1,8 @@
 2016-07-31  Jonathan Wakely  <jwakely@redhat.com>
 
+	* testsuite/20_util/conditional/requirements/typedefs.cc: Change to
+	compile-only test.
+
 	* testsuite/29_atomics/atomic_flag/test_and_set/explicit-hle.cc:
 	Ensure test is compiled with optimization.
 
diff --git a/libstdc++-v3/testsuite/20_util/conditional/requirements/typedefs.cc b/libstdc++-v3/testsuite/20_util/conditional/requirements/typedefs.cc
index 5729cecec4c0..c00db4155a52 100644
--- a/libstdc++-v3/testsuite/20_util/conditional/requirements/typedefs.cc
+++ b/libstdc++-v3/testsuite/20_util/conditional/requirements/typedefs.cc
@@ -1,4 +1,4 @@
-// { dg-options "-std=gnu++11" }
+// { dg-do compile { target c++11 } }
 
 // 2007-05-02  Benjamin Kosnik  <bkoz@redhat.com>
 //
@@ -20,22 +20,12 @@
 // <http://www.gnu.org/licenses/>.
 
 #include <type_traits>
-#include <testsuite_hooks.h>
 
-void test01()
-{
-  bool test __attribute__((unused)) = true;
-  using std::conditional;
+using std::conditional;
+using std::is_same;
 
-  typedef conditional<true, char, int>::type     test1_type;
-  VERIFY( (std::is_same<test1_type, char>::value) );
+typedef conditional<true, char, int>::type     test1_type;
+static_assert( is_same<test1_type, char>::value, "conditional<true, ...>" );
   
-  typedef conditional<false, char, int>::type     test2_type;
-  VERIFY( (std::is_same<test2_type, int>::value) );
-}
-
-int main()
-{
-  test01();
-  return 0;
-}
+typedef conditional<false, char, int>::type     test2_type;
+static_assert( is_same<test2_type, int>::value, "conditional<false, ...>" );