mbox series

[0/4] c++: Small tweaks to contracts

Message ID 20221210094303.2180127-1-arsen@aarsen.me
Headers
Series c++: Small tweaks to contracts |

Message

Arsen Arsenović Dec. 10, 2022, 9:42 a.m. UTC 
  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