public inbox for libstdc++@gcc.gnu.org
 help / color / mirror / Atom feed
* [PATCH 0/4] c++: Small tweaks to contracts
@ 2022-12-10  9:42 Arsen Arsenović
  2022-12-10  9:43 ` [PATCH 1/4] contracts: Lowercase {MAYBE,NEVER}_CONTINUE Arsen Arsenović
                   ` (3 more replies)
  0 siblings, 4 replies; 27+ messages in thread
From: Arsen Arsenović @ 2022-12-10  9:42 UTC (permalink / raw)
  To: gcc-patches; +Cc: jason, jwakely, libstdc++, Arsen Arsenović

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


^ permalink raw reply	[flat|nested] 27+ messages in thread

end of thread, other threads:[~2022-12-22 22:57 UTC | newest]

Thread overview: 27+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-12-10  9:42 [PATCH 0/4] c++: Small tweaks to contracts Arsen Arsenović
2022-12-10  9:43 ` [PATCH 1/4] contracts: Lowercase {MAYBE,NEVER}_CONTINUE Arsen Arsenović
2022-12-10 11:15   ` Jonathan Wakely
2022-12-15 16:25   ` Jason Merrill
2022-12-15 17:39     ` Arsen Arsenović
2022-12-20 17:16       ` Jason Merrill
2022-12-10  9:43 ` [PATCH 2/4] libstdc++: Improve output of default contract violation handler [PR107792] Arsen Arsenović
2022-12-15 16:28   ` Jason Merrill
2022-12-15 17:43     ` Arsen Arsenović
2022-12-20 10:49       ` [PATCH 1/3] " Arsen Arsenović
2022-12-20 10:49         ` [PATCH 2/3] contracts: Update testsuite against new default viol. handler format Arsen Arsenović
2022-12-20 10:49         ` [PATCH 3/3] contrib: Add dg-out-generator.pl Arsen Arsenović
2022-12-20 15:57           ` Jonathan Wakely
2022-12-20 17:23         ` [PATCH 1/3] libstdc++: Improve output of default contract violation handler [PR107792] Jason Merrill
2022-12-22 11:03           ` Arsen Arsenović
2022-12-22 21:40             ` Jason Merrill
2022-12-22 22:02               ` Jonathan Wakely
2022-12-22 11:03           ` [PATCH 2/3] contracts: Update testsuite against new default viol. handler format Arsen Arsenović
2022-12-22 11:03           ` [PATCH 3/3] contrib: Add dg-out-generator.pl Arsen Arsenović
2022-12-22 21:43             ` Jason Merrill
2022-12-22 21:56               ` Arsen Arsenović
2022-12-22 22:21                 ` Jason Merrill
2022-12-22 22:56                   ` Arsen Arsenović
2022-12-10  9:43 ` [PATCH 3/4] contracts: Update testsuite against new default viol. handler format Arsen Arsenović
2022-12-10  9:43 ` [PATCH 4/4] contrib: Add dg-out-generator.pl Arsen Arsenović
2022-12-15 16:30   ` Jason Merrill
2022-12-15 17:30     ` Arsen Arsenović

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).