From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id B757D385B50E; Fri, 23 Dec 2022 00:51:50 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B757D385B50E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1671756710;
	bh=ydNqv6M/BViBQ4dD8WbcmC6G0B2yVsKmTz4tzW/Fajo=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=xroZAdqrV2lOBW5E7mmeM3lg7GFea7KQBxgSCHe9ArWdg/fwtPy9gYsHDh+wNng30
	 jkHL7kZuwyBVcFi5xIsP9Q7fizcEDgtdeIl+n+9NUErusZ99ltcBCxgytMLrD9c0I5
	 90Naygd3qqKK1uz7jDIpIrQ3KwKLKzLDGTeHkWy0=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/107792] Output of default contract violation handler
 could be improved
Date: Fri, 23 Dec 2022 00:51:46 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libstdc++
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: redi at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107792-4-7HsV1nXZlv@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107792-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107792-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107792

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:8ec5fcb6fc79e5bcca23c3fecbaf09d4566cb1d5

commit r13-4861-g8ec5fcb6fc79e5bcca23c3fecbaf09d4566cb1d5
Author: Arsen Arsenovi=C3=84 <arsen@aarsen.me>
Date:   Thu Dec 22 12:03:06 2022 +0100

    libstdc++: Improve output of default contract violation handler [PR1077=
92]

    Make the output more readable. Don't output anything unless verbose
    termination is enabled at configure-time.

    The testsuite change was almost entirely mechanical.  Save for two files
    which had very short matches, these changes were produced by two seds a=
nd a
    Perl script, for the more involved cases.  The latter will be added in a
    subsequent commit.  The former are as follows:

        sed -E -i "/dg-output/s/default std::handle_contract_violation call=
ed:
\
        (\S+) (\S+) (\S+(<[A-Za-z0-9, ]*)?>?)\
        /contract violation in function \3 at \1:\2: /" *.C
        sed -i '/dg-output/s/  */ /g'

    Whichever files remained failing after the above changes were checked-o=
ut,
    re-ran, with output extracted, and ran through dg-out-generator.pl.

    Co-Authored-By: Jonathan Wakely <jwakely@redhat.com>

    libstdc++-v3/ChangeLog:

            PR libstdc++/107792
            PR libstdc++/107778
            * src/experimental/contract.cc (handle_contract_violation): Make
            output more readable.

    gcc/testsuite/ChangeLog:

            * g++.dg/contracts/contracts-access1.C: Convert to new default
            violation handler.
            * g++.dg/contracts/contracts-assume2.C: Ditto.
            * g++.dg/contracts/contracts-config1.C: Ditto.
            * g++.dg/contracts/contracts-constexpr1.C: Ditto.
            * g++.dg/contracts/contracts-ctor-dtor1.C: Ditto.
            * g++.dg/contracts/contracts-deduced2.C: Ditto.
            * g++.dg/contracts/contracts-friend1.C: Ditto.
            * g++.dg/contracts/contracts-multiline1.C: Ditto.
            * g++.dg/contracts/contracts-post3.C: Ditto.
            * g++.dg/contracts/contracts-pre10.C: Ditto.
            * g++.dg/contracts/contracts-pre2.C: Ditto.
            * g++.dg/contracts/contracts-pre2a2.C: Ditto.
            * g++.dg/contracts/contracts-pre3.C: Ditto.
            * g++.dg/contracts/contracts-pre4.C: Ditto.
            * g++.dg/contracts/contracts-pre5.C: Ditto.
            * g++.dg/contracts/contracts-pre7.C: Ditto.
            * g++.dg/contracts/contracts-pre9.C: Ditto.
            * g++.dg/contracts/contracts-redecl3.C: Ditto.
            * g++.dg/contracts/contracts-redecl4.C: Ditto.
            * g++.dg/contracts/contracts-redecl6.C: Ditto.
            * g++.dg/contracts/contracts-redecl7.C: Ditto.
            * g++.dg/contracts/contracts-tmpl-spec1.C: Ditto.
            * g++.dg/contracts/contracts-tmpl-spec2.C: Ditto.
            * g++.dg/contracts/contracts-tmpl-spec3.C: Ditto.
            * g++.dg/contracts/contracts10.C: Ditto.
            * g++.dg/contracts/contracts14.C: Ditto.
            * g++.dg/contracts/contracts15.C: Ditto.
            * g++.dg/contracts/contracts16.C: Ditto.
            * g++.dg/contracts/contracts17.C: Ditto.
            * g++.dg/contracts/contracts19.C: Ditto.
            * g++.dg/contracts/contracts25.C: Ditto.
            * g++.dg/contracts/contracts3.C: Ditto.
            * g++.dg/contracts/contracts35.C: Ditto.
            * g++.dg/contracts/contracts5.C: Ditto.
            * g++.dg/contracts/contracts7.C: Ditto.
            * g++.dg/contracts/contracts9.C: Ditto.=