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 D7F293857C51; Wed, 29 Mar 2023 11:56:35 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D7F293857C51
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1680090995;
	bh=cOL8kMKfNEzi2Xdt/w55A+iIeqXKTfdEXMXCoAqgt6A=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=w1xZqGDCqC+77+psp8aj7iOBcIqZFlpIAxbBbtc9oX1fqJEXALm7dSQXdWFhi3e/T
	 sUEo4VHVCSNYWTIiuJy0JExB+RDRe+9omA5prmgaJT+v5ZnqNSBpE5Z4jbL964xgS4
	 7dZQdfnUVs5QBrc3o1iA89duIjKop5i3YKJnF1Vs=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/109331] ice: definition in block 7 does not
 dominate use in block 8
Date: Wed, 29 Mar 2023 11:56:35 +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: 13.0
X-Bugzilla-Keywords: needs-bisection
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: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109331-4-FyRJ2aFWJq@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109331-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109331-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=3D109331

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

https://gcc.gnu.org/g:86efc490ab86bfa00720479b4714da23cd7df797

commit r13-6928-g86efc490ab86bfa00720479b4714da23cd7df797
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Mar 29 11:59:16 2023 +0200

    tree-optimization/109331 - make sure to clean up the CFG after forwprop

    When forwprop discovers unreachable code or makes decisions based
    on unreachable edges make sure to cleanup the CFG since otherwise
    SSA form can become invalid.

            PR tree-optimization/109331
            * tree-ssa-forwprop.cc (pass_forwprop::execute): When we
            discover a taken edge make sure to cleanup the CFG.

            * gcc.dg/torture/pr109331.c: New testcase.=