From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1984) id 37FEB3B7845C; Fri, 17 Jul 2020 14:24:00 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 37FEB3B7845C DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1594995840; bh=75uq7nR6mN2TXCA1lWL8GTSYPHE9korVWRoqAvxsCHk=; h=From:To:Subject:Date:From; b=kczfeH3LJ1svN882h2GA1/LQYT5aDx0NM01zMX93a+5LRRaOPi8zk//xRPGClhJeu vga0iX4KHImUtZMDJ8Gar1G8ida5MmEuFazc3imjXzTob73hoI8llrSEgIjOdysO6o gD9PgMg3N2gkDK9HtTgTL6pxx+5R/ZvOsRsDXg+Q= 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-struct-reorg-wip)] libstdc++: Make comparison category comparisons noexcept (PR 94565) X-Act-Checkin: gcc X-Git-Author: Jonathan Wakely X-Git-Refname: refs/vendors/ARM/heads/arm-struct-reorg-wip X-Git-Oldrev: 7eee265e6bd58bf48da70fef97f2ac7179a9f41c X-Git-Newrev: 597601aa7a0f822816041d521fae7da6e883fa7d Message-Id: <20200717142400.37FEB3B7845C@sourceware.org> Date: Fri, 17 Jul 2020 14:24:00 +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 14:24:00 -0000 https://gcc.gnu.org/g:597601aa7a0f822816041d521fae7da6e883fa7d commit 597601aa7a0f822816041d521fae7da6e883fa7d Author: Jonathan Wakely Date: Tue Apr 14 11:23:34 2020 +0100 libstdc++: Make comparison category comparisons noexcept (PR 94565) PR libstdc++/94565 * libsupc++/compare (__unspec): Add noexcept-specifier to constructor. * testsuite/18_support/comparisons/categories/94565.cc: New test. Diff: --- libstdc++-v3/ChangeLog | 6 ++ libstdc++-v3/libsupc++/compare | 2 +- .../18_support/comparisons/categories/94565.cc | 66 ++++++++++++++++++++++ 3 files changed, 73 insertions(+), 1 deletion(-) diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 5d4c34ada18..aced89eec7d 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -3,6 +3,12 @@ * include/std/coroutine: Update coroutines builtin define, per n4861. +2020-04-14 Jonathan Wakely + + PR libstdc++/94565 + * libsupc++/compare (__unspec): Add noexcept-specifier to constructor. + * testsuite/18_support/comparisons/categories/94565.cc: New test. + 2020-04-09 Jonathan Wakely * libsupc++/compare (compare_three_way): Fix noexcept-specifier. diff --git a/libstdc++-v3/libsupc++/compare b/libstdc++-v3/libsupc++/compare index 37601d32648..5f1df19e445 100644 --- a/libstdc++-v3/libsupc++/compare +++ b/libstdc++-v3/libsupc++/compare @@ -56,7 +56,7 @@ namespace std struct __unspec { - constexpr __unspec(__unspec*) { } + constexpr __unspec(__unspec*) noexcept { } }; } diff --git a/libstdc++-v3/testsuite/18_support/comparisons/categories/94565.cc b/libstdc++-v3/testsuite/18_support/comparisons/categories/94565.cc new file mode 100644 index 00000000000..a4c62466a18 --- /dev/null +++ b/libstdc++-v3/testsuite/18_support/comparisons/categories/94565.cc @@ -0,0 +1,66 @@ +// 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 + +static_assert(noexcept(std::partial_ordering::less == 0)); +static_assert(noexcept(std::partial_ordering::less != 0)); +static_assert(noexcept(std::partial_ordering::less < 0)); +static_assert(noexcept(std::partial_ordering::less > 0)); +static_assert(noexcept(std::partial_ordering::less <= 0)); +static_assert(noexcept(std::partial_ordering::less >= 0)); +static_assert(noexcept(std::partial_ordering::less <=> 0)); +static_assert(noexcept(0 == std::partial_ordering::less)); +static_assert(noexcept(0 != std::partial_ordering::less)); +static_assert(noexcept(0 < std::partial_ordering::less)); +static_assert(noexcept(0 > std::partial_ordering::less)); +static_assert(noexcept(0 <= std::partial_ordering::less)); +static_assert(noexcept(0 >= std::partial_ordering::less)); +static_assert(noexcept(0 <=> std::partial_ordering::less)); + +static_assert(noexcept(std::weak_ordering::less == 0)); +static_assert(noexcept(std::weak_ordering::less != 0)); +static_assert(noexcept(std::weak_ordering::less < 0)); +static_assert(noexcept(std::weak_ordering::less > 0)); +static_assert(noexcept(std::weak_ordering::less <= 0)); +static_assert(noexcept(std::weak_ordering::less >= 0)); +static_assert(noexcept(std::weak_ordering::less <=> 0)); +static_assert(noexcept(0 == std::weak_ordering::less)); +static_assert(noexcept(0 != std::weak_ordering::less)); +static_assert(noexcept(0 < std::weak_ordering::less)); +static_assert(noexcept(0 > std::weak_ordering::less)); +static_assert(noexcept(0 <= std::weak_ordering::less)); +static_assert(noexcept(0 >= std::weak_ordering::less)); +static_assert(noexcept(0 <=> std::weak_ordering::less)); + +static_assert(noexcept(std::strong_ordering::less == 0)); +static_assert(noexcept(std::strong_ordering::less != 0)); +static_assert(noexcept(std::strong_ordering::less < 0)); +static_assert(noexcept(std::strong_ordering::less > 0)); +static_assert(noexcept(std::strong_ordering::less <= 0)); +static_assert(noexcept(std::strong_ordering::less >= 0)); +static_assert(noexcept(std::strong_ordering::less <=> 0)); +static_assert(noexcept(0 == std::strong_ordering::less)); +static_assert(noexcept(0 != std::strong_ordering::less)); +static_assert(noexcept(0 < std::strong_ordering::less)); +static_assert(noexcept(0 > std::strong_ordering::less)); +static_assert(noexcept(0 <= std::strong_ordering::less)); +static_assert(noexcept(0 >= std::strong_ordering::less)); +static_assert(noexcept(0 <=> std::strong_ordering::less));