llvm/libcxx
1
0
Fork 0
mirror of https://github.com/llvm-mirror/libcxx.git synced 2025-10-24 03:32:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

Reorg the midpoint pointer test into runtime and constexpr tests; comment out the volatile constexpr tests for GCC because our experimental gcc bot barfs on them.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@356177 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Marshall Clow
2019-03-14 17:43:41 +00:00
parent 3166f3aa00
commit 3f377ef16a
1 changed files with 41 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

52
test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.pointer.pass.cpp
View File

@@ -21,15 +21,29 @@
template <typename T> template <typename T>
void pointer_test() constexpr void constexpr_test()
{ {
T array[1000] = {}; // we need an array to make valid pointers constexpr T array[1000] = {};
constexpr T cArray[2] = {}; ASSERT_SAME_TYPE(decltype(std::midpoint(array, array)), const T*);
ASSERT_SAME_TYPE(decltype(std::midpoint(array, array)), T*);
ASSERT_NOEXCEPT( std::midpoint(array, array)); ASSERT_NOEXCEPT( std::midpoint(array, array));
static_assert(std::midpoint(cArray, cArray + 2) == cArray + 1, ""); static_assert(std::midpoint(array, array) == array, "");
static_assert(std::midpoint(cArray + 2, cArray) == cArray + 1, ""); static_assert(std::midpoint(array, array + 1000) == array + 500, "");
static_assert(std::midpoint(array, array + 9) == array + 4, "");
static_assert(std::midpoint(array, array + 10) == array + 5, "");
static_assert(std::midpoint(array, array + 11) == array + 5, "");
static_assert(std::midpoint(array + 9, array) == array + 5, "");
static_assert(std::midpoint(array + 10, array) == array + 5, "");
static_assert(std::midpoint(array + 11, array) == array + 6, "");
}
template <typename T>
void runtime_test()
{
T array[1000] = {}; // we need an array to make valid pointers
ASSERT_SAME_TYPE(decltype(std::midpoint(array, array)), T*);
ASSERT_NOEXCEPT( std::midpoint(array, array));
assert(std::midpoint(array, array) == array); assert(std::midpoint(array, array) == array);
assert(std::midpoint(array, array + 1000) == array + 500); assert(std::midpoint(array, array + 1000) == array + 500);
@@ -42,14 +56,30 @@ void pointer_test()
assert(std::midpoint(array + 11, array) == array + 6); assert(std::midpoint(array + 11, array) == array + 6);
} }
template <typename T>
void pointer_test()
{
runtime_test< T>();
runtime_test<const T>();
runtime_test< volatile T>();
runtime_test<const volatile T>();
// The constexpr tests are always const, but we can test them anyway.
constexpr_test< T>();
constexpr_test<const T>();
// GCC 9.0.1 (unreleased as of 2019-03) barfs on this, but we have a bot for it.
// Uncomment when gcc 9.1 is released
#ifndef TEST_COMPILER_GCC
constexpr_test< volatile T>();
constexpr_test<const volatile T>();
#endif
}
int main(int, char**) int main(int, char**)
{ {
pointer_test< char>(); pointer_test<char>();
pointer_test<const char>();
pointer_test< volatile char>();
pointer_test<const volatile char>();
pointer_test<int>(); pointer_test<int>();
pointer_test<double>(); pointer_test<double>();