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 1347F3858031; Fri, 11 Nov 2022 14:05:34 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1347F3858031
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1668175536;
	bh=Xplno3IecPt1et82Dxcjsey8I+N8lZPti9FaSsnm3Xg=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=HZLvd/0EEzBPOq62gbhxhC09O2Q8xmPzWW+u6zp02YiNoZS6NJRdvP7EGnYWA9DE9
	 n/3tkanF10SELWgXFJtrienTiOc8ICL8Dt3ZUlfZcqIq9doVUSwsynQV8oao4bdbIL
	 nGMyUEAi4sFy2LfmbKFCVyyzd+YxDXfOigtQxydU=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/105142] [12 Regression] Wrong code with -O2
 since r12-2591
Date: Fri, 11 Nov 2022 14:05:32 +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: 12.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: FIXED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 12.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-105142-4-E98jRLeOZp@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-105142-4@http.gcc.gnu.org/bugzilla/>
References: <bug-105142-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=3D105142

--- Comment #14 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:4b3874d803e7961f38b22fa798517a63171bb985

commit r13-3904-g4b3874d803e7961f38b22fa798517a63171bb985
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Jul 26 11:52:49 2022 +0200

    tree-optimization/105142 - improve maybe_fold_comparisons_from_match_pd=
 fix

    The following improves on the fix for PR105142 which restricted the
    expression lookup used for maybe_fold_comparisons_from_match_pd to
    avoid picking up flow-sensitive info for use in places where guarding
    conditions do not hold.  Instead of not allowing to expand SSA
    definitions there the following temporarily clears flow-sensitive
    info on the SSA names and restores it when finished matching.

            PR tree-optimization/105142
            * gimple-fold.cc (fosa_unwind): New global.
            (follow_outer_ssa_edges): When the SSA definition to follow
            is does not dominate fosa_bb, temporarily clear flow-sensitive
            info.  Make sure to not expand stmts with not defined overflow.
            (maybe_fold_comparisons_from_match_pd): Set up unwind stack
            for follow_outer_ssa_edges and unwind flow-sensitive info
            clearing after matching.=