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
