[libcxx] [test] D26815: Fix an assumption about the state of moved-from std::functions.
authorStephan T. Lavavej <stl@exchange.microsoft.com>
Fri, 18 Nov 2016 21:54:38 +0000 (21:54 +0000)
committerStephan T. Lavavej <stl@exchange.microsoft.com>
Fri, 18 Nov 2016 21:54:38 +0000 (21:54 +0000)
The Standard doesn't provide any guarantees beyond "valid but unspecified" for
moved-from std::functions. libcxx moves from small targets and leaves them
there, while MSVC's STL empties out the source. Mark these assertions as
libcxx-specific.

llvm-svn: 287382

libcxx/test/std/utilities/function.objects/func.wrap/func.wrap.func/func.wrap.func.con/copy_move.pass.cpp

index 387b371..9d5681a 100644 (file)
@@ -132,7 +132,7 @@ int main()
         assert(A::count == 1);
         assert(f2.target<A>() == nullptr);
         assert(f2.target<Ref>());
-        assert(f.target<Ref>()); // f is unchanged because the target is small
+        LIBCPP_ASSERT(f.target<Ref>()); // f is unchanged because the target is small
     }
     {
         // Test that moving a function constructed from a function pointer
@@ -146,7 +146,7 @@ int main()
         std::function<int(int)> f2(std::move(f));
         assert(f2.target<A>() == nullptr);
         assert(f2.target<Ptr>());
-        assert(f.target<Ptr>()); // f is unchanged because the target is small
+        LIBCPP_ASSERT(f.target<Ptr>()); // f is unchanged because the target is small
     }
 #endif  // TEST_STD_VER >= 11
 }