para/GSL
1
0
Fork 0
mirror of https://github.com/microsoft/GSL.git synced 2025-04-03 09:28:35 -04:00
Code Issues Actions Packages Projects Releases Wiki Activity

check test 3

Browse Source
This commit is contained in:
Werner Henze 2025-01-03 19:24:21 +01:00
parent 904995fde3
commit 4d82fd88b9
1 changed files with 14 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
tests/span_tests.cpp
View File

@ -258,17 +258,17 @@ TEST(span_test, from_pointer_pointer_construction)
} }
// this will fail the std::distance() precondition, which asserts on MSVC debug builds // this will fail the std::distance() precondition, which asserts on MSVC debug builds
{ // this test succeeds on all platforms, but it relies on UB //{ // this test succeeds on all platforms, but it relies on UB
auto workaround_macro = [&]() { span<int> s{&arr[1], &arr[0]}; }; // auto workaround_macro = [&]() { span<int> s{&arr[1], &arr[0]}; };
EXPECT_DEATH(workaround_macro(), expected); // EXPECT_DEATH(workaround_macro(), expected);
} //}
// this will fail the std::distance() precondition, which asserts on MSVC debug builds // this will fail the std::distance() precondition, which asserts on MSVC debug builds
{ //{ // this test fails on gcc 13, clang 16, clang 17, xcode 15.4, vs 16
int* p = nullptr; // int* p = nullptr;
auto workaround_macro = [&]() { span<int> s{&arr[0], p}; }; // auto workaround_macro = [&]() { span<int> s{&arr[0], p}; };
EXPECT_DEATH(workaround_macro(), expected); // EXPECT_DEATH(workaround_macro(), expected);
} //}
{ {
int* p = nullptr; int* p = nullptr;
@ -285,11 +285,11 @@ TEST(span_test, from_pointer_pointer_construction)
} }
// this will fail the std::distance() precondition, which asserts on MSVC debug builds // this will fail the std::distance() precondition, which asserts on MSVC debug builds
//{ {
// int* p = nullptr; int* p = nullptr;
// auto workaround_macro = [&]() { span<int> s{&arr[0], p}; }; auto workaround_macro = [&]() { span<int> s{&arr[0], p}; };
// EXPECT_DEATH(workaround_macro(), expected); EXPECT_DEATH(workaround_macro(), expected);
//} }
} }
template <typename U, typename V, typename = void> template <typename U, typename V, typename = void>