From 7672ab25db2459b86afa56533feb36a2f83c080a Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Fri, 12 Jun 2015 00:22:19 +0100 Subject: [PATCH] tuple (__is_tuple_like_impl): Disambiguate array in debug and profile modes. * include/std/tuple (__is_tuple_like_impl): Disambiguate array in debug and profile modes. * testsuite/25_algorithms/headers/algorithm/synopsis.cc: Adjust tests for swap in C++11 and later. From-SVN: r224397 --- libstdc++-v3/ChangeLog | 7 +++++++ libstdc++-v3/include/std/tuple | 2 +- .../testsuite/25_algorithms/headers/algorithm/synopsis.cc | 6 +++++- 3 files changed, 13 insertions(+), 2 deletions(-) diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 4335a252535..91a5d885228 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,10 @@ +2015-06-12 Jonathan Wakely + + * include/std/tuple (__is_tuple_like_impl): Disambiguate array in + debug and profile modes. + * testsuite/25_algorithms/headers/algorithm/synopsis.cc: Adjust tests + for swap in C++11 and later. + 2015-06-09 Jonathan Wakely PR libstdc++/66030 diff --git a/libstdc++-v3/include/std/tuple b/libstdc++-v3/include/std/tuple index ccea02b4ffd..953d16b73b1 100644 --- a/libstdc++-v3/include/std/tuple +++ b/libstdc++-v3/include/std/tuple @@ -989,7 +989,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION { }; template - struct __is_tuple_like_impl> : true_type + struct __is_tuple_like_impl<_GLIBCXX_STD_C::array<_Tp, _Nm>> : true_type { }; // Internal type trait that allows us to sfinae-protect tuple_cat. diff --git a/libstdc++-v3/testsuite/25_algorithms/headers/algorithm/synopsis.cc b/libstdc++-v3/testsuite/25_algorithms/headers/algorithm/synopsis.cc index 47587965f72..7b11872b749 100644 --- a/libstdc++-v3/testsuite/25_algorithms/headers/algorithm/synopsis.cc +++ b/libstdc++-v3/testsuite/25_algorithms/headers/algorithm/synopsis.cc @@ -136,14 +136,18 @@ namespace std copy_backward (_BIter1, _BIter1, _BIter2); // 25.2.2, swap: +#if __cplusplus < 201103L template void swap(_Tp&, _Tp& b); -#if __cplusplus >= 201103L template void swap(_Tp (&)[_Nm], _Tp (&)[_Nm]); +#else + // C++11 swap() has complicated SFINAE constraints, test signatures like so: + void (*swap_scalars)(int&, int&) = &swap; + void (*swap_arrays)(int(&)[5], int(&)[5]) = &swap; #endif template -- 2.30.2