Add additional constraints on midpoint(pointer, pointer). Fixes PR#42037.

llvm-svn: 361970

1 files changed, 12 insertions, 3 deletions

diff --git a/libcxx/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp b/libcxx/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp
index 2352ce788be..c7576108af5 100644
--- a/libcxx/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp
+++ b/libcxx/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp
@@ -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@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;
 }