libstdc++: midpoint should not constrain T is complete (LWG 3200)
authorJonathan Wakely <jwakely@redhat.com>
Wed, 19 Feb 2020 15:01:41 +0000 (15:01 +0000)
committerJonathan Wakely <jwakely@redhat.com>
Wed, 19 Feb 2020 15:28:45 +0000 (15:28 +0000)
commit5f031f9747fdfb04213c20d24f109fb5ffc877df
tree658c7d6af15e28d790c40d72f9fc488a0d316e37
parent66ae31eb308e5bc90ce6dfd0a67381a0929a6aa0
libstdc++: midpoint should not constrain T is complete (LWG 3200)

* 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
incomplete type.
* testsuite/26_numerics/midpoint/pointer_neg.cc: New test.
libstdc++-v3/ChangeLog
libstdc++-v3/include/std/numeric
libstdc++-v3/testsuite/26_numerics/midpoint/pointer.cc
libstdc++-v3/testsuite/26_numerics/midpoint/pointer_neg.cc [new file with mode: 0644]