diff options
| author | Luc Grosheintz <luc.grosheintz@gmail.com> | 2025-07-04 10:29:44 +0200 |
|---|---|---|
| committer | Tomasz Kamiński <tkaminsk@redhat.com> | 2025-07-08 13:45:38 +0200 |
| commit | 74ddf1792ae3538ee829f2c399dfcb75bfae8fd3 (patch) | |
| tree | 0bf4b27e5268aa8c66f48a5ecfe4bc28041e18a7 /gcc/rust/backend/rust-compile-struct-field-expr.h | |
| parent | 4d86e4cda01aa3ab60de164a8492a99bc9ca1f70 (diff) | |
| download | gcc-74ddf1792ae3538ee829f2c399dfcb75bfae8fd3.zip gcc-74ddf1792ae3538ee829f2c399dfcb75bfae8fd3.tar.gz gcc-74ddf1792ae3538ee829f2c399dfcb75bfae8fd3.tar.bz2 | |
libstdc++: Check prerequisite of extents::extents.
Previously the prerequisite of the extents ctors that
static_extent(i) == dynamic_extent || extent(i) == other.extent(i).
was not checked. This commit adds the __glibcxx_assert and test them.
libstdc++-v3/ChangeLog:
* include/std/mdspan (extents): Check prerequisite of the ctor that
static_extent(i) == dynamic_extent || extent(i) == other.extent(i).
* testsuite/23_containers/mdspan/extents/class_mandates_neg.cc:
Test the implemented prerequisite.
Reviewed-by: Tomasz Kamiński <tkaminsk@redhat.com>
Signed-off-by: Luc Grosheintz <luc.grosheintz@gmail.com>
Diffstat (limited to 'gcc/rust/backend/rust-compile-struct-field-expr.h')
0 files changed, 0 insertions, 0 deletions