From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1888) id F0E373858C52; Fri, 9 Sep 2022 19:04:57 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F0E373858C52 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662750297; bh=mC9DXZzIn4WUxroT7YOMA5WF0NVVn6nuSrNk4sNWxQQ=; h=From:To:Subject:Date:From; b=aF9e6HPhJ6xZJdv3fp/Sy1/78FTY8JEMZvYBfGUkMk3N+L83q4Rbi6Uxq2Q6j17TZ v1l+f+b/HVx/wlInzjNgtF9y833HyJHe+daQjgWvIUL90Uz0nFnhOQV/r2yXWGyEZF sE4RE2kVTRNqQ/UespVf06nglQTArAj4GiSa03hA= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Patrick Palka To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r13-2567] libstdc++: Fix zip_view's operator- for integer-class difference type [PR106766] X-Act-Checkin: gcc X-Git-Author: Patrick Palka X-Git-Refname: refs/heads/master X-Git-Oldrev: 50be486dff4ea2676ed022e9524ef190b92ae2b1 X-Git-Newrev: 718a6d475b3d17759618c68331c85f55c58ec9a3 Message-Id: <20220909190457.F0E373858C52@sourceware.org> Date: Fri, 9 Sep 2022 19:04:57 +0000 (GMT) List-Id: https://gcc.gnu.org/g:718a6d475b3d17759618c68331c85f55c58ec9a3 commit r13-2567-g718a6d475b3d17759618c68331c85f55c58ec9a3 Author: Patrick Palka Date: Fri Sep 9 14:56:32 2022 -0400 libstdc++: Fix zip_view's operator- for integer-class difference type [PR106766] The difference type of an underlying iterator could be an integer-class type, which make_unsigned_t doesn't handle, so we need to use the more general __make_unsigned_like_t / __to_unsigned_like here instead. PR libstdc++/106766 libstdc++-v3/ChangeLog: * include/std/ranges (zip_view::_Iterator::operator-): Use __to_unsigned_like instead of make_unsigned_t. (zip_view::_Sentinel::operator-): Likewise. * testsuite/std/ranges/zip/1.cc (test04): New test. Diff: --- libstdc++-v3/include/std/ranges | 8 ++++---- libstdc++-v3/testsuite/std/ranges/zip/1.cc | 18 ++++++++++++++++++ 2 files changed, 22 insertions(+), 4 deletions(-) diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges index 2b5cb0531f0..2b8fec3c386 100644 --- a/libstdc++-v3/include/std/ranges +++ b/libstdc++-v3/include/std/ranges @@ -4657,8 +4657,8 @@ namespace views::__adaptor return ranges::min({difference_type(std::get<_Is>(__x._M_current) - std::get<_Is>(__y._M_current))...}, ranges::less{}, - [](difference_type __i) -> make_unsigned_t { - return __i < 0 ? -__i : __i; + [](difference_type __i) { + return __detail::__to_unsigned_like(__i < 0 ? -__i : __i); }); }(make_index_sequence{}); } @@ -4726,8 +4726,8 @@ namespace views::__adaptor return [&](index_sequence<_Is...>) { return ranges::min({_Ret(std::get<_Is>(__x._M_current) - std::get<_Is>(__y._M_end))...}, ranges::less{}, - [](_Ret __i) -> make_unsigned_t<_Ret> { - return __i < 0 ? -__i : __i; + [](_Ret __i) { + return __detail::__to_unsigned_like(__i < 0 ? -__i : __i); }); }(make_index_sequence{}); } diff --git a/libstdc++-v3/testsuite/std/ranges/zip/1.cc b/libstdc++-v3/testsuite/std/ranges/zip/1.cc index 0113efdb537..e9e40fb15eb 100644 --- a/libstdc++-v3/testsuite/std/ranges/zip/1.cc +++ b/libstdc++-v3/testsuite/std/ranges/zip/1.cc @@ -102,10 +102,28 @@ test03() return true; } +constexpr bool +test04() +{ + // PR libstdc++/106766 +#if __SIZEOF_INT128__ + auto r = views::zip(views::iota(__int128(0), __int128(1))); +#else + auto r = views::zip(views::iota(0ll, 1ll)); +#endif + auto i = r.begin(); + auto s = r.end(); + VERIFY( s - i == 1 ); + VERIFY( i + 1 - i == 1 ); + + return true; +} + int main() { static_assert(test01()); static_assert(test02()); static_assert(test03()); + static_assert(test04()); }