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 6C45E3858414; Mon, 27 May 2024 10:46:00 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6C45E3858414
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1716806760;
	bh=gTE3sCZ1E8kFoZ2bQug5M31GxqwytG5O6Mm+D5TUGCI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=T7xo5N2QYtdSR+pCS9QyzAOLydOVACNvrF3MV/2D17vHN/q/98lwLMCOGGcJ4D/jX
	 NI1TBF7DBkT2AQoTUkUv/UOnwkObYVoA9OB2iX58xr8RrXMWW2BYxmgYddIdAzKe+a
	 GbRfd07Ljfyhq7pd5HJQ8obJUlxkRjTTJhpYQezI=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/115226] [15 regression] ICE on valid code at
 -O3 on x86_64-linux-gnu: verify_ssa failed
Date: Mon, 27 May 2024 10:45:59 +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: 15.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: P1
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 15.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-115226-4-YOQvjYnXZY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-115226-4@http.gcc.gnu.org/bugzilla/>
References: <bug-115226-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=3D115226

--- Comment #6 from GCC 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:f9fbb47987efc8b5261e4cc36613c928a8693493

commit r15-850-gf9fbb47987efc8b5261e4cc36613c928a8693493
Author: Richard Biener <rguenther@suse.de>
Date:   Mon May 27 09:40:19 2024 +0200

    tree-optimization/115220 - fix store sinking virtual operand constraints

    The following makes sure the virtual operand updating when sinking
    stores works for the case we ignore paths to kills.  The final
    sink location might not post-dominate the original stmt location
    which would require inserting of a virtual PHI which we do not support.

            PR tree-optimization/115220
            PR tree-optimization/115226
            * tree-ssa-sink.cc (statement_sink_location): When ignoring
            paths to kills when sinking stores make sure the final
            sink location is still post-dominated by the original one.
            Otherwise we'd need to insert a PHI node to merge virtual opera=
nds.

            * gcc.dg/torture/pr115220.c: New testcase.
            * gcc.dg/torture/pr115226.c: New testcase.=