diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 18c83069887..283c6b9e057 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,5 +1,16 @@ 2019-06-06 Jonathan Wakely + * testsuite/18_support/set_terminate.cc: Do not run for C++98 mode. + * testsuite/18_support/set_unexpected.cc: Likewise. + * testsuite/20_util/is_nothrow_invocable/value.cc: Test converting to + void. + * testsuite/20_util/is_nothrow_invocable/value_ext.cc: Fix constexpr + function to be valid in C++11. + * testsuite/26_numerics/complex/proj.cc: Do not run for C++98 mode. + * testsuite/experimental/names.cc: Do not run for C++98 mode. Do not + include Library Fundamentals or Networking headers in C++11 mode. + * testsuite/ext/char8_t/atomic-1.cc: Do not run for C++98 mode. + * include/std/tuple (_TC): Replace with _TupleConstraints. (_TupleConstraints): New helper for SFINAE constraints, with more expressive member functions to reduce duplication when used. diff --git a/libstdc++-v3/testsuite/18_support/set_terminate.cc b/libstdc++-v3/testsuite/18_support/set_terminate.cc index 632b9f1974a..81f182a7a76 100644 --- a/libstdc++-v3/testsuite/18_support/set_terminate.cc +++ b/libstdc++-v3/testsuite/18_support/set_terminate.cc @@ -15,6 +15,7 @@ // with this library; see the file COPYING3. If not see // . +// { dg-options "-std=gnu++11" } // { dg-do run } #include diff --git a/libstdc++-v3/testsuite/18_support/set_unexpected.cc b/libstdc++-v3/testsuite/18_support/set_unexpected.cc index dac44e616cd..7c3f3d44790 100644 --- a/libstdc++-v3/testsuite/18_support/set_unexpected.cc +++ b/libstdc++-v3/testsuite/18_support/set_unexpected.cc @@ -15,7 +15,8 @@ // with this library; see the file COPYING3. If not see // . -// { dg-do run { target { c++98_only || { c++11_only || c++14_only } } } } +// { dg-options "-std=gnu++11" } +// { dg-do run { target { c++11_only || c++14_only } } } #include #include diff --git a/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value.cc b/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value.cc index 04d310fff38..c0c6a7dc8ea 100644 --- a/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value.cc +++ b/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value.cc @@ -119,9 +119,11 @@ void test01() static_assert( ! is_nt_invocable_r< T, F >(), "call throws"); static_assert( ! is_nt_invocable_r< NT, F >(), "call throws"); static_assert( ! is_nt_invocable_r< Ex, F >(), "call throws"); + static_assert( ! is_nt_invocable_r< void, F >(), "call throws"); static_assert( ! is_nt_invocable_r< T, CF >(), "conversion throws"); static_assert( is_nt_invocable_r< NT, CF >(), "" ); static_assert( ! is_nt_invocable_r< Ex, CF >(), "conversion fails"); + static_assert( is_nt_invocable_r< void, CF >(), ""); static_assert( ! is_nt_invocable< F, int >(), "call throws"); static_assert( is_nt_invocable< F&, int >(), ""); @@ -140,12 +142,14 @@ void test01() static_assert( is_nt_invocable_r< char&, CF, int >(), ""); static_assert( is_nt_invocable_r< char&, CF&, int >(), ""); + static_assert( is_nt_invocable_r< void, CF&, int >(), ""); static_assert( ! is_nt_invocable_r< T, CF&, int >(), "conversion throws"); static_assert( is_nt_invocable_r< NT, CF&, int >(), ""); static_assert( ! is_nt_invocable_r< Ex, CF&, int >(), "conversion fails, would use explicit constructor"); + static_assert( is_nt_invocable_r< void, CF&, int >(), ""); static_assert( ! is_nt_invocable< F, int, int >(), "would call private member"); @@ -157,6 +161,7 @@ void test01() }; static_assert( is_nt_invocable< FX >(), "FX::operator() is nothrow" ); static_assert( is_nt_invocable_r(), "no conversion needed" ); + static_assert( is_nt_invocable_r(), "" ); struct Y { explicit Y(X) noexcept; // not viable for implicit conversions diff --git a/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value_ext.cc b/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value_ext.cc index 3a133ade4de..2c00b1fbe75 100644 --- a/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value_ext.cc +++ b/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value_ext.cc @@ -24,19 +24,24 @@ template { return std::__is_nothrow_invocable::value; } template - constexpr bool is_nt_invocable_conv(std::true_type) + struct ConvIsNothrow { using result_type = typename std::__invoke_result::type; + static void test(std::true_type, R) noexcept; + static void test(std::false_type, const result_type&); + static constexpr bool value + = noexcept(test(std::is_convertible(), + std::declval())); + }; - struct ConvIsNothrow - { - static void test(std::true_type, R) noexcept; - static void test(std::false_type, const result_type&); - }; +template + struct ConvIsNothrow : std::true_type + { }; - return std::is_void::value - || noexcept(ConvIsNothrow::test(std::is_convertible(), - std::declval())); +template + constexpr bool is_nt_invocable_conv(std::true_type) + { + return ConvIsNothrow::value; } template diff --git a/libstdc++-v3/testsuite/26_numerics/complex/proj.cc b/libstdc++-v3/testsuite/26_numerics/complex/proj.cc index caf12d25103..64e0dec7129 100644 --- a/libstdc++-v3/testsuite/26_numerics/complex/proj.cc +++ b/libstdc++-v3/testsuite/26_numerics/complex/proj.cc @@ -15,7 +15,7 @@ // with this library; see the file COPYING3. If not see // . -// { dg-do run } +// { dg-do run { target c++11 } } #include #include diff --git a/libstdc++-v3/testsuite/experimental/names.cc b/libstdc++-v3/testsuite/experimental/names.cc index 233b3487981..cfda34948af 100644 --- a/libstdc++-v3/testsuite/experimental/names.cc +++ b/libstdc++-v3/testsuite/experimental/names.cc @@ -15,7 +15,7 @@ // with this library; see the file COPYING3. If not see // . -// { dg-do compile } +// { dg-do compile { target c++11 } } // Define macros for some common variables names that we must not use for // naming variables, parameters etc. in the library. @@ -25,6 +25,9 @@ #if __has_include() # include #endif + +#if __cplusplus >= 201402L + // Library Fundamentals #include #include @@ -66,3 +69,5 @@ # include # include #endif + +#endif // C++14 diff --git a/libstdc++-v3/testsuite/ext/char8_t/atomic-1.cc b/libstdc++-v3/testsuite/ext/char8_t/atomic-1.cc index cecd05df937..0841aa3bb06 100644 --- a/libstdc++-v3/testsuite/ext/char8_t/atomic-1.cc +++ b/libstdc++-v3/testsuite/ext/char8_t/atomic-1.cc @@ -1,6 +1,6 @@ // Test that char8_t related atomic types and macros are not present when // -fchar8_t is not enabled. -// { dg-do compile } +// { dg-do compile { target c++11 } } // { dg-options "-fno-char8_t" } #include