diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 84e5ea98022..bc4ce773f1e 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,5 +1,10 @@ 2020-02-19 Jonathan Wakely + * include/std/type_traits (__cpp_lib_unwrap_ref): Define (LWG 3348). + * include/std/version (__cpp_lib_unwrap_ref): Likewise. + * testsuite/20_util/unwrap_reference/1.cc: Check macro. + * testsuite/20_util/unwrap_reference/3.cc: New test. + * include/std/numeric (midpoint(T8, T*)): Do not check for complete type during overload resolution, use static assert instead (LWG 3200). * testsuite/26_numerics/midpoint/pointer.cc: Do not test with diff --git a/libstdc++-v3/include/std/type_traits b/libstdc++-v3/include/std/type_traits index 684a792d02c..14aa2b37a4f 100644 --- a/libstdc++-v3/include/std/type_traits +++ b/libstdc++-v3/include/std/type_traits @@ -3242,6 +3242,8 @@ template template using type_identity_t = typename type_identity<_Tp>::type; +#define __cpp_lib_unwrap_ref 201811L + /// Unwrap a reference_wrapper template struct unwrap_reference { using type = _Tp; }; diff --git a/libstdc++-v3/include/std/version b/libstdc++-v3/include/std/version index b36b999cb31..e2ccf619d4a 100644 --- a/libstdc++-v3/include/std/version +++ b/libstdc++-v3/include/std/version @@ -178,6 +178,7 @@ #ifdef _GLIBCXX_HAVE_BUILTIN_IS_CONSTANT_EVALUATED # define __cpp_lib_is_constant_evaluated 201811L #endif +#define __cpp_lib_unwrap_ref 201811L #if _GLIBCXX_HOSTED #define __cpp_lib_bind_front 201907L diff --git a/libstdc++-v3/testsuite/20_util/unwrap_reference/1.cc b/libstdc++-v3/testsuite/20_util/unwrap_reference/1.cc index 3a663433911..3496204e4d2 100644 --- a/libstdc++-v3/testsuite/20_util/unwrap_reference/1.cc +++ b/libstdc++-v3/testsuite/20_util/unwrap_reference/1.cc @@ -20,6 +20,12 @@ #include +#ifndef __cpp_lib_unwrap_ref +# error "Feature-test macro for unwrap_reference missing in " +#elif __cpp_lib_unwrap_ref != 201811L +# error "Feature-test macro for unwrap_reference has wrong value in " +#endif + template struct expect_same; template struct expect_same : std::true_type { }; diff --git a/libstdc++-v3/testsuite/20_util/unwrap_reference/3.cc b/libstdc++-v3/testsuite/20_util/unwrap_reference/3.cc new file mode 100644 index 00000000000..3ea9cd18a05 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/unwrap_reference/3.cc @@ -0,0 +1,27 @@ +// Copyright (C) 2020 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// . + +// { dg-options "-std=gnu++2a" } +// { dg-do compile { target c++2a } } + +#include + +#ifndef __cpp_lib_unwrap_ref +# error "Feature-test macro for unwrap_reference missing in " +#elif __cpp_lib_unwrap_ref != 201811L +# error "Feature-test macro for unwrap_reference has wrong value in " +#endif