git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

libstdc++: Add static_assert to std::integer_sequence [PR112473] 

C++20 allows class types as non-type template parameters, but
std::integer_sequence explicitly disallows them. Enforce that.

libstdc++-v3/ChangeLog:

	PR libstdc++/112473
	* include/bits/utility.h (integer_sequence): Add static_assert.
	* testsuite/20_util/integer_sequence/112473.cc: New test.

(cherry picked from commit 0953497a81)
This commit is contained in:
Jonathan Wakely 2023-11-10 12:21:52 +00:00
parent d40796e381
commit f6ed5e0715
2 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libstdc++-v3/include/bits/utility.h
View File

@ -163,6 +163,9 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
template<typename _Tp, _Tp... _Idx> template<typename _Tp, _Tp... _Idx>
struct integer_sequence struct integer_sequence
{ {
#if __cplusplus >= 202002L
static_assert(is_integral_v<_Tp>);
#endif
typedef _Tp value_type; typedef _Tp value_type;
static constexpr size_t size() noexcept { return sizeof...(_Idx); } static constexpr size_t size() noexcept { return sizeof...(_Idx); }
}; };

8
libstdc++-v3/testsuite/20_util/integer_sequence/112473.cc Normal file
View File

@ -0,0 +1,8 @@
// { dg-do compile { target c++20 } }
// PR libstdc++/112473 - integer_sequence accepts non-integer types
#include <utility>
std::integer_sequence<std::pair<int, int>, std::pair<int, int>{0, 0}> ic;
// { dg-error "static assertion failed" "" { target *-*-* } 0 }