diff options
author | Patrick Palka <ppalka@redhat.com> | 2020-02-24 16:09:48 -0500 |
---|---|---|
committer | Patrick Palka <ppalka@redhat.com> | 2020-02-25 13:04:32 -0500 |
commit | 55c4b3f486200bcfd6c5c333754e6abb7acd470c (patch) | |
tree | da068e1e69e8656eb96dba11cc52c3f98297358c /libstdc++-v3/include | |
parent | 510bd1c178f3719df7148dd584d30acc2595dc3c (diff) | |
download | gcc-55c4b3f486200bcfd6c5c333754e6abb7acd470c.zip gcc-55c4b3f486200bcfd6c5c333754e6abb7acd470c.tar.gz gcc-55c4b3f486200bcfd6c5c333754e6abb7acd470c.tar.bz2 |
libstdc++: LWG 3313 join_view::iterator::operator-- is incorrectly constrained
libstdc++-v3/ChangeLog:
LWG 3313 join_view::_Iterator::operator-- is incorrectly constrained
* include/std/ranges (join_view::_Iterator::operator--): Require that
range_reference_t<_Base> models common_range.
* testsuite/std/ranges/adaptors/lwg3313_neg.cc: New test.
Diffstat (limited to 'libstdc++-v3/include')
-rw-r--r-- | libstdc++-v3/include/std/ranges | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges index aed90e9..ffdd336 100644 --- a/libstdc++-v3/include/std/ranges +++ b/libstdc++-v3/include/std/ranges @@ -2399,6 +2399,7 @@ namespace views operator--() requires _S_ref_is_glvalue && bidirectional_range<_Base> && bidirectional_range<range_reference_t<_Base>> + && common_range<range_reference_t<_Base>> { if (_M_outer == ranges::end(_M_parent->_M_base)) _M_inner = ranges::end(*--_M_outer); @@ -2412,6 +2413,7 @@ namespace views operator--(int) requires _S_ref_is_glvalue && bidirectional_range<_Base> && bidirectional_range<range_reference_t<_Base>> + && common_range<range_reference_t<_Base>> { auto __tmp = *this; --*this; |