TeamHeptaMirrors/gcc
1
0
Fork 1
mirror of https://github.com/gcc-mirror/gcc.git synced 2026-05-06 14:59:39 +02:00
Code Issues Packages Projects Releases Wiki Activity

libstdc++: Fix is_explict checks in extents test.

Browse Source 
The condition was checking if extents<int, ...> is convertible to index_type,
and not the reverse. This patch tests implicit conversion from braced
initializer list (to cover multiple arguments) and is_convertible in case of
single index.

libstdc++-v3/ChangeLog:

	* testsuite/23_containers/mdspan/extents/ctor_ints.cc: Updated
	is_explicit, and added more test cases.

Reviewed-by: Jonathan Wakely <jwakely@redhat.com>
Signed-off-by: Tomasz Kamiński <tkaminsk@redhat.com>
This commit is contained in:
Tomasz Kamiński
2026-03-17 09:34:37 +01:00
parent 49b52ecc65
commit 63fef6d337
1 changed files with 16 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
libstdc++-v3/testsuite/23_containers/mdspan/extents/ctor_ints.cc
View File

@@ -24,18 +24,30 @@ static_assert(std::is_constructible_v<std::extents<unsigned __int128, 1, 2>,
#endif
// No implicit conversion from integer-like objects.
template<typename Extent, typename... OExtents>
constexpr bool
template<typename ExtentsType, typename OIndex, typename... RIndicies>
consteval bool
is_explicit()
{
return std::is_nothrow_constructible_v<Extent, OExtents...>
&& !std::is_convertible_v<Extent, OExtents...>;
if (!std::is_nothrow_constructible_v<ExtentsType, OIndex, RIndicies...>)
return false;
if constexpr (sizeof...(RIndicies) == 0)
if (std::is_convertible_v<OIndex, ExtentsType>)
return false;
extern void testConv(ExtentsType);
return !requires (OIndex index, RIndicies... rindicies)
{ testConv({index, rindicies...}); };
}
static_assert(is_explicit<std::extents<int, 1>, int>());
static_assert(is_explicit<std::extents<int, 1>, unsigned int>());
static_assert(is_explicit<std::extents<unsigned int, 1>, int>());
static_assert(is_explicit<std::dextents<int, 1>, int>());
static_assert(is_explicit<std::dextents<int, 2>, int, int>());
static_assert(is_explicit<std::dextents<int, 3>, int, int, int>());
constexpr bool
test_all()
{