From 27031115bffa54c786c775512e1221bd555b6c1a Mon Sep 17 00:00:00 2001
From: Howard Hinnant <hhinnant@apple.com>
Date: Wed, 8 Sep 2010 16:39:18 +0000
Subject: [PATCH] has_nothrow_copy_assign hooked up to clang

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@113364 91177308-0d34-0410-b5e6-96231b3b80d8
---
 .../has_nothrow_copy_assign.pass.cpp          | 48 +++++++------------
 1 file changed, 18 insertions(+), 30 deletions(-)

diff --git a/test/utilities/meta/meta.unary/meta.unary.prop/has_nothrow_copy_assign.pass.cpp b/test/utilities/meta/meta.unary/meta.unary.prop/has_nothrow_copy_assign.pass.cpp
index 127e76290..c46900ba4 100644
--- a/test/utilities/meta/meta.unary/meta.unary.prop/has_nothrow_copy_assign.pass.cpp
+++ b/test/utilities/meta/meta.unary/meta.unary.prop/has_nothrow_copy_assign.pass.cpp
@@ -13,29 +13,17 @@
 
 #include <type_traits>
 
-template <class T>
+template <class T, bool Result>
 void test_has_nothrow_assign()
 {
-    static_assert( std::has_nothrow_copy_assign<T>::value, "");
-    static_assert(!std::has_nothrow_copy_assign<const T>::value, "");
-    static_assert( std::has_nothrow_copy_assign<volatile T>::value, "");
-    static_assert(!std::has_nothrow_copy_assign<const volatile T>::value, "");
-}
-
-template <class T>
-void test_has_not_nothrow_assign()
-{
-    static_assert(!std::has_nothrow_copy_assign<T>::value, "");
-    static_assert(!std::has_nothrow_copy_assign<const T>::value, "");
-    static_assert(!std::has_nothrow_copy_assign<volatile T>::value, "");
-    static_assert(!std::has_nothrow_copy_assign<const volatile T>::value, "");
+    static_assert(std::has_nothrow_copy_assign<T>::value == Result, "");
 }
 
 class Empty
 {
 };
 
-class NotEmpty
+struct NotEmpty
 {
     virtual ~NotEmpty();
 };
@@ -47,7 +35,7 @@ struct bit_zero
     int :  0;
 };
 
-class Abstract
+struct Abstract
 {
     virtual ~Abstract() = 0;
 };
@@ -59,19 +47,19 @@ struct A
 
 int main()
 {
-    test_has_not_nothrow_assign<void>();
-    test_has_not_nothrow_assign<A>();
-    test_has_not_nothrow_assign<int&>();
+    test_has_nothrow_assign<void, false>();
+    test_has_nothrow_assign<A, false>();
+    test_has_nothrow_assign<int&, false>();
+    test_has_nothrow_assign<Abstract, false>();
+    test_has_nothrow_assign<char[3], false>();
+    test_has_nothrow_assign<char[], false>();
 
-    test_has_nothrow_assign<Union>();
-    test_has_nothrow_assign<Abstract>();
-    test_has_nothrow_assign<Empty>();
-    test_has_nothrow_assign<int>();
-    test_has_nothrow_assign<double>();
-    test_has_nothrow_assign<int*>();
-    test_has_nothrow_assign<const int*>();
-    test_has_nothrow_assign<char[3]>();
-    test_has_nothrow_assign<char[3]>();
-    test_has_nothrow_assign<NotEmpty>();
-    test_has_nothrow_assign<bit_zero>();
+    test_has_nothrow_assign<Union, true>();
+    test_has_nothrow_assign<Empty, true>();
+    test_has_nothrow_assign<int, true>();
+    test_has_nothrow_assign<double, true>();
+    test_has_nothrow_assign<int*, true>();
+    test_has_nothrow_assign<const int*, true>();
+    test_has_nothrow_assign<NotEmpty, true>();
+    test_has_nothrow_assign<bit_zero, true>();
 }