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 29FE63858430; Tue, 31 Oct 2023 12:34:11 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 29FE63858430
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1698755651;
	bh=suWCeBiwW42M9tZgct1fqebQYWyJ5WbVvsIo188PTP8=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=KHNgUqv4xCwI7RDb4rx4WoGDdqRX325buFL95acMmNoPyFYDyCcuM7+/lGY2dgyR9
	 n9UM7EOQYGRggFQGUqRcQQf1ZmRyIhoU0KTT5rlv8sGBh/2WYTYA+oNMNzlQJDCVk3
	 UBDQzY2HmbaXXVWxUIob3zPXI/EYye2CbPQYO27k=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/111943] ICE in gimple_split_edge, at
 tree-cfg.cc:3019 on 20050510-1.c with new -fharden-control-flow-redundancy
 with computed gotos
Date: Tue, 31 Oct 2023 12:34:10 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: ice-on-valid-code
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: aoliva at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-111943-4-NwDXpYzq14@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-111943-4@http.gcc.gnu.org/bugzilla/>
References: <bug-111943-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=3D111943

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Alexandre Oliva <aoliva@gcc.gnu.org>:

https://gcc.gnu.org/g:15404016d96dca9132b952980cda24cae33b3ee0

commit r14-5033-g15404016d96dca9132b952980cda24cae33b3ee0
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Tue Oct 31 09:32:08 2023 -0300

    hardcfr: support checking at abnormal edges [PR111943]

    Control flow redundancy may choose abnormal edges for early checking,
    but that breaks because we can't insert checks on such edges.

    Introduce conditional checking on the dest block of abnormal edges,
    and leave it for the optimizer to drop the conditional.


    for  gcc/ChangeLog

            PR tree-optimization/111943
            * gimple-harden-control-flow.cc: Adjust copyright year.
            (rt_bb_visited): Add vfalse and vtrue data members.
            Zero-initialize them in the ctor.
            (rt_bb_visited::insert_exit_check_on_edge): Upon encountering
            abnormal edges, insert initializers for vfalse and vtrue on
            entry, and insert the check sequence guarded by a conditional
            in the dest block.

    for  libgcc/ChangeLog

            * hardcfr.c: Adjust copyright year.

    for  gcc/testsuite/ChangeLog

            PR tree-optimization/111943
            * gcc.dg/harden-cfr-pr111943.c: New.=