From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mout-p-102.mailbox.org (mout-p-102.mailbox.org [IPv6:2001:67c:2050:0:465::102]) by sourceware.org (Postfix) with ESMTPS id F339D385189F; Sat, 10 Dec 2022 09:48:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org F339D385189F Authentication-Results: sourceware.org; dmarc=pass (p=reject dis=none) header.from=aarsen.me Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=aarsen.me Received: from smtp102.mailbox.org (smtp102.mailbox.org [IPv6:2001:67c:2050:b231:465::102]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-102.mailbox.org (Postfix) with ESMTPS id 4NTjkz2wWrz9sTN; Sat, 10 Dec 2022 10:48:43 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=aarsen.me; s=MBO0001; t=1670665723; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=KG1qbDAbPvbLkNBlEsIoYCXyqbM6nBKqi2mJacc6gis=; b=rox7414ZFAJjn2wtuQc0+3zRg2GP2d8QkoNcQYBH+dc1cYzOSCRlNlLybJfgPCZnoRW0jN ZetaO3DUroAK8jjjKcUW4xpYEhnvB8gJpQc5JRRJIO+Xvje7awtFDIY3n5AT9/toO3lXd3 +BA+ArQUqfQ6QeCH12+uSBfNi85Qbgm1LlZI55Ac66Sfp/O4QtqyQeE30zuVmVnjpoKBbC 0wKJ1XcTX3hkMIGdKGHaEakwumXvEo9KdlgK03XkJglV2pEqFRoBXA2AD0nHFum9RBIxyf wLJ5AoeRyT9AoUAp0Z7yp5390aIvLQ91TkpYe89FYW/hMEo4WhNajghVWBw95w== From: =?UTF-8?q?Arsen=20Arsenovi=C4=87?= To: gcc-patches@gcc.gnu.org Cc: jason@redhat.com, jwakely@redhat.com, libstdc++@gcc.gnu.org, =?UTF-8?q?Arsen=20Arsenovi=C4=87?= Subject: [PATCH 0/4] c++: Small tweaks to contracts Date: Sat, 10 Dec 2022 10:42:59 +0100 Message-Id: <20221210094303.2180127-1-arsen@aarsen.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Rspamd-Queue-Id: 4NTjkz2wWrz9sTN X-Spam-Status: No, score=-4.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_INFOUSMEBIZ,RCVD_IN_DNSWL_LOW,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hi, This patchset includes minor tweaks to contracts, namely, lowercasing the continuation mode constants to align better with the rest of the standard, and updating the testsuite to match Jonathans new default contract violation handler (that patch is also included). Tested on x86_64-pc-linux-gnu --disable-sanitizers, via check-g++. Arsen Arsenović (3): contracts: Lowercase {MAYBE,NEVER}_CONTINUE contracts: Update testsuite against new default viol. handler format contrib: Add dg-out-generator.pl Jonathan Wakely (1): libstdc++: Improve output of default contract violation handler [PR107792] contrib/dg-out-generator.pl | 67 +++++++ gcc/cp/contracts.cc | 4 +- .../g++.dg/contracts/contracts-access1.C | 36 ++-- .../g++.dg/contracts/contracts-config1.C | 20 +-- .../g++.dg/contracts/contracts-constexpr1.C | 16 +- .../g++.dg/contracts/contracts-ctor-dtor1.C | 96 +++++----- .../g++.dg/contracts/contracts-deduced2.C | 20 +-- .../g++.dg/contracts/contracts-friend1.C | 10 +- .../g++.dg/contracts/contracts-multiline1.C | 2 +- .../g++.dg/contracts/contracts-post3.C | 2 +- .../g++.dg/contracts/contracts-pre10.C | 120 ++++++++----- .../g++.dg/contracts/contracts-pre2.C | 36 ++-- .../g++.dg/contracts/contracts-pre2a2.C | 6 +- .../g++.dg/contracts/contracts-pre3.C | 156 ++++++++--------- .../g++.dg/contracts/contracts-pre4.C | 12 +- .../g++.dg/contracts/contracts-pre5.C | 24 +-- .../g++.dg/contracts/contracts-pre7.C | 24 +-- .../g++.dg/contracts/contracts-pre9.C | 24 +-- .../g++.dg/contracts/contracts-redecl3.C | 36 ++-- .../g++.dg/contracts/contracts-redecl4.C | 24 +-- .../g++.dg/contracts/contracts-redecl6.C | 36 ++-- .../g++.dg/contracts/contracts-redecl7.C | 18 +- .../g++.dg/contracts/contracts-tmpl-spec1.C | 26 +-- .../g++.dg/contracts/contracts-tmpl-spec2.C | 164 ++++++++++++------ .../g++.dg/contracts/contracts-tmpl-spec3.C | 19 +- gcc/testsuite/g++.dg/contracts/contracts10.C | 16 +- gcc/testsuite/g++.dg/contracts/contracts19.C | 4 +- gcc/testsuite/g++.dg/contracts/contracts25.C | 8 +- gcc/testsuite/g++.dg/contracts/contracts3.C | 2 +- gcc/testsuite/g++.dg/contracts/contracts35.C | 16 +- gcc/testsuite/g++.dg/contracts/contracts5.C | 2 +- gcc/testsuite/g++.dg/contracts/contracts7.C | 2 +- gcc/testsuite/g++.dg/contracts/contracts9.C | 24 ++- libstdc++-v3/include/experimental/contract | 2 +- libstdc++-v3/src/experimental/contract.cc | 23 +-- 35 files changed, 629 insertions(+), 468 deletions(-) create mode 100755 contrib/dg-out-generator.pl -- 2.38.1