aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Wakely <jwakely@redhat.com>2019-10-18 12:27:26 +0100
committerJonathan Wakely <redi@gcc.gnu.org>2019-10-18 12:27:26 +0100
commit7e4b7d7bacd750628a99a42237e75810a4359b74 (patch)
tree244f251cddcf46e1f4f9d40a7d5504b8a15ef911
parentbec3c279a86d951003452727bca933e4fa7731ca (diff)
downloadgcc-7e4b7d7bacd750628a99a42237e75810a4359b74.zip
gcc-7e4b7d7bacd750628a99a42237e75810a4359b74.tar.gz
gcc-7e4b7d7bacd750628a99a42237e75810a4359b74.tar.bz2
Implement std::ranges::less without std::less
* include/bits/range_cmp.h (ranges::less::operator()): Inline the logic from std::less::operator() to remove the dependency on it. From-SVN: r277150
-rw-r--r--libstdc++-v3/ChangeLog5
-rw-r--r--libstdc++-v3/include/bits/range_cmp.h15
2 files changed, 17 insertions, 3 deletions
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 1aeeb88..c37bbd0 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,8 @@
+2019-10-18 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/range_cmp.h (ranges::less::operator()): Inline the
+ logic from std::less::operator() to remove the dependency on it.
+
2019-10-17 Jonathan Wakely <jwakely@redhat.com>
* doc/doxygen/user.cfg.in (INPUT): Add new C++17 and C++20 headers.
diff --git a/libstdc++-v3/include/bits/range_cmp.h b/libstdc++-v3/include/bits/range_cmp.h
index 3e5bb88..a77fd52 100644
--- a/libstdc++-v3/include/bits/range_cmp.h
+++ b/libstdc++-v3/include/bits/range_cmp.h
@@ -121,10 +121,19 @@ namespace ranges
noexcept(noexcept(std::declval<_Tp>() < std::declval<_Up>()))
{
if constexpr (__detail::__less_builtin_ptr_cmp<_Tp, _Up>)
- return std::less<const volatile void*>{}(
- static_cast<const volatile void*>(std::forward<_Tp>(__t)),
+ {
+#ifdef __cpp_lib_is_constant_evaluated
+ if (std::is_constant_evaluated())
+ return __t < __u;
+#endif
+ auto __x = reinterpret_cast<__UINTPTR_TYPE__>(
+ static_cast<const volatile void*>(std::forward<_Tp>(__t)));
+ auto __y = reinterpret_cast<__UINTPTR_TYPE__>(
static_cast<const volatile void*>(std::forward<_Up>(__u)));
- return std::forward<_Tp>(__t) < std::forward<_Up>(__u);
+ return __x < __y;
+ }
+ else
+ return std::forward<_Tp>(__t) < std::forward<_Up>(__u);
}
using is_transparent = __is_transparent;