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 B9FD23858423; Thu,  2 Feb 2023 12:13:43 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B9FD23858423
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1675340023;
	bh=SiQKEYo0/c3vzENkpWjz5EC/Gy1HlBELbD2F1ICUtt4=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=W0UhgSGukjXDwhWeZUpI0GNMITmEZaIy1XrICSH9IvTlamBQ2VVeFCktgyENPIzxZ
	 xZxF9p+iS1x49tFrgdAFcCUZ9y4f9ARjQqbHI5oNQttEGsvXhzTNSwHrxnBX7NbMhq
	 VTPr58xZqzNkPGuu7kfn7iGcdPlmr5EbYy/5TyeM=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/108625] [11/12/13 Regression] forwprop
 introduces new UB
Date: Thu, 02 Feb 2023 12:13:43 +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: wrong-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: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.4
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-108625-4-pdMklWNqX8@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-108625-4@http.gcc.gnu.org/bugzilla/>
References: <bug-108625-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=3D108625

--- Comment #3 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:605d1297b91c2c7c23ccfe669e66dda5791d1f55

commit r13-5651-g605d1297b91c2c7c23ccfe669e66dda5791d1f55
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Feb 2 11:09:26 2023 +0100

    middle-end/108625 - wrong folding due to misinterpreted !

    The following fixes a problem with ! handling in genmatch which isn't
    conservative enough when intermediate simplifications push to the
    sequence but the final operation appears to just pick an existing
    (but in this case newly defined in the sequence) operand.  The easiest
    fix is to disallow adding to the sequence when processing !.

            PR middle-end/108625
            * genmatch.cc (expr::gen_transform): Also disallow resimplifica=
tion
            from pushing to lseq with force_leaf.
            (dt_simplify::gen_1): Likewise.

            * gcc.dg/pr108625.c: New testcase.=