From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1984) id 320A1395305D; Fri, 17 Jul 2020 12:53:46 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 320A1395305D DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1594990426; bh=+nHdRyy1ql+zfZ/M07BvFiN+q+2FnDAq3puhGShYDGw=; h=From:To:Subject:Date:From; b=LgTZFMhou9rf9uj3YlXdWWJLnHrCjvwKG7dC+hQFI85B7NMq9tHNaeTuHEIcRFeKh 7vYO1k6tW2DsLnQHVmC2LCm/uBwYt87hmyy15NXsR7X/HBUq/kIdUZHweHloCy6W4l 7vG5vDyXOieWOHxH+wLtZdt00MyoJvHysFlvDS+I= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Tamar Christina To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc(refs/vendors/ARM/heads/arm-perf-staging)] libstdc++: Enable three-way comparison for iota_view iterators X-Act-Checkin: gcc X-Git-Author: Jonathan Wakely X-Git-Refname: refs/vendors/ARM/heads/arm-perf-staging X-Git-Oldrev: ea5ca698dca15dc86b823661ac357a30b49dd0f6 X-Git-Newrev: 5713834e4b99e4c4c99eef15698a497f091b7dc4 Message-Id: <20200717125346.320A1395305D@sourceware.org> Date: Fri, 17 Jul 2020 12:53:46 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 17 Jul 2020 12:53:46 -0000 https://gcc.gnu.org/g:5713834e4b99e4c4c99eef15698a497f091b7dc4 commit 5713834e4b99e4c4c99eef15698a497f091b7dc4 Author: Jonathan Wakely Date: Fri Feb 7 11:31:12 2020 +0000 libstdc++: Enable three-way comparison for iota_view iterators The declaration of operator<=> was disabled due to a typo in the macro. The declaration was also ill-formed when three_way_comparable<_Winc> is not satisfied, which is a defect in the C++20 draft. * include/std/ranges (iota_view::_Iterator): Fix typo in name of __cpp_lib_three_way_comparison macro and use deduced return type for operator<=>. * testsuite/std/ranges/iota/iterator.cc: New test. Diff: --- libstdc++-v3/ChangeLog | 7 +++++ libstdc++-v3/include/std/ranges | 4 +-- libstdc++-v3/testsuite/std/ranges/iota/iterator.cc | 35 ++++++++++++++++++++++ 3 files changed, 44 insertions(+), 2 deletions(-) diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index b9c7f436a81..18d02cbfb40 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,10 @@ +2020-02-07 Jonathan Wakely + + * include/std/ranges (iota_view::_Iterator): Fix typo in name of + __cpp_lib_three_way_comparison macro and use deduced return type for + operator<=>. + * testsuite/std/ranges/iota/iterator.cc: New test. + 2020-02-07 Patrick Palka Jonathan Wakely diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges index 860f7283be5..dc277a74fb6 100644 --- a/libstdc++-v3/include/std/ranges +++ b/libstdc++-v3/include/std/ranges @@ -776,8 +776,8 @@ namespace ranges requires totally_ordered<_Winc> { return !(__x < __y); } -#ifdef __cpp_lib_threeway_comparison - friend constexpr compare_three_way_result_t<_Winc> +#ifdef __cpp_lib_three_way_comparison + friend constexpr auto operator<=>(const _Iterator& __x, const _Iterator& __y) requires totally_ordered<_Winc> && three_way_comparable<_Winc> { return __x._M_value <=> __y._M_value; } diff --git a/libstdc++-v3/testsuite/std/ranges/iota/iterator.cc b/libstdc++-v3/testsuite/std/ranges/iota/iterator.cc new file mode 100644 index 00000000000..4d471431eae --- /dev/null +++ b/libstdc++-v3/testsuite/std/ranges/iota/iterator.cc @@ -0,0 +1,35 @@ +// Copyright (C) 2020 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// . + +// { dg-options "-std=gnu++2a" } +// { dg-do compile { target c++2a } } + +#include + +auto i = std::ranges::iota_view{}.begin(); +static_assert( std::three_way_comparable ); + +struct Inc { + Inc& operator++(); + Inc operator++(int); + friend long operator-(Inc, Inc); +}; +static_assert( ! std::three_way_comparable ); + +// Instantiating iterator type must be valid despite !three_way_comparable +auto j = std::ranges::iota_view{}.begin(); +static_assert( ! std::three_way_comparable );