[libcxx-commits] [libcxx] r361970 - Add additional constraints on midpoint(pointer, pointer). Fixes PR#42037.
Marshall Clow via libcxx-commits
libcxx-commits at lists.llvm.org
Wed May 29 08:17:55 PDT 2019
Author: marshall
Date: Wed May 29 08:17:55 2019
New Revision: 361970
URL: http://llvm.org/viewvc/llvm-project?rev=361970&view=rev
Log:
Add additional constraints on midpoint(pointer, pointer). Fixes PR#42037.
Modified:
libcxx/trunk/include/numeric
libcxx/trunk/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp
Modified: libcxx/trunk/include/numeric
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/include/numeric?rev=361970&r1=361969&r2=361970&view=diff
==============================================================================
--- libcxx/trunk/include/numeric (original)
+++ libcxx/trunk/include/numeric Wed May 29 08:17:55 2019
@@ -527,7 +527,7 @@ lcm(_Tp __m, _Up __n)
#if _LIBCPP_STD_VER > 17
template <class _Tp>
_LIBCPP_INLINE_VISIBILITY constexpr
-enable_if_t<is_integral_v<_Tp> && !is_same_v<bool, _Tp>, _Tp>
+enable_if_t<is_integral_v<_Tp> && !is_same_v<bool, _Tp> && !is_null_pointer_v<_Tp>, _Tp>
midpoint(_Tp __a, _Tp __b) noexcept
_LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK
{
@@ -548,7 +548,10 @@ _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_C
template <class _TPtr>
_LIBCPP_INLINE_VISIBILITY constexpr
-enable_if_t<is_pointer_v<_TPtr>, _TPtr>
+enable_if_t<is_pointer_v<_TPtr>
+ && is_object_v<remove_pointer_t<_TPtr>>
+ && ! is_void_v<remove_pointer_t<_TPtr>>
+ && (sizeof(remove_pointer_t<_TPtr>) > 0), _TPtr>
midpoint(_TPtr __a, _TPtr __b) noexcept
{
return __a + _VSTD::midpoint(ptrdiff_t(0), __b - __a);
Modified: libcxx/trunk/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp?rev=361970&r1=361969&r2=361970&view=diff
==============================================================================
--- libcxx/trunk/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp (original)
+++ libcxx/trunk/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp Wed May 29 08:17:55 2019
@@ -18,13 +18,22 @@
#include "test_macros.h"
+int func1 () { return 1; }
+int func2 () { return 2; }
+
+struct Incomplete;
+Incomplete *ip = nullptr;
+void *vp = nullptr;
+
int main(int, char**)
{
- (void) std::midpoint(false, true); // expected-error {{no matching function for call to 'midpoint'}}
+ (void) std::midpoint(false, true); // expected-error {{no matching function for call to 'midpoint'}}
// A couple of odd pointer types that should fail
- (void) std::midpoint(nullptr, nullptr); // expected-error {{no matching function for call to 'midpoint'}}
- (void) std::midpoint((void *)0, (void *)0); // expected-error at numeric:* {{arithmetic on pointers to void}}
+ (void) std::midpoint(nullptr, nullptr); // expected-error {{no matching function for call to 'midpoint'}}
+ (void) std::midpoint(func1, func2); // expected-error {{no matching function for call to 'midpoint'}}
+ (void) std::midpoint(ip, ip); // expected-error {{no matching function for call to 'midpoint'}}
+ (void) std::midpoint(vp, vp); // expected-error {{no matching function for call to 'midpoint'}}
return 0;
}
More information about the libcxx-commits
mailing list