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 69B8D3857737; Wed,  5 Jul 2023 08:23:34 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 69B8D3857737
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1688545414;
	bh=wxGFJfzM9wLV3Q7nq9kf7v8R+jWDYmamMuD7jO11G4k=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=CHnXAYx0/Evi4xGG5eNDESf5AGAWecY3KWQK+XGOoYcCOI8zdosnDVBO4rlPSSaO2
	 M3yhK8q8W1waNJFCrvd/X9OxyJdsM9WUtzCvXgp9KqVMRHEvww/5WkvEbIzLDz90BM
	 hQVYWdNk4BQh04mAk6gZ7Whk5vcFh+pRON7iA3hc=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/110228] [13 Regression] llvm-16 miscompiled due to
 an maybe uninitialized variable
Date: Wed, 05 Jul 2023 08:23:33 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 14.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: P2
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.2
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-110228-4-cjL465tSIy@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-110228-4@http.gcc.gnu.org/bugzilla/>
References: <bug-110228-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=3D110228

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

https://gcc.gnu.org/g:79b6a4875f3dcc4bbca9242313b3edc1bad69660

commit r13-7533-g79b6a4875f3dcc4bbca9242313b3edc1bad69660
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Jul 4 10:29:26 2023 +0200

    tree-optimization/110228 - avoid undefs in ifcombine more thoroughly

    The following replaces the simplistic gimple_uses_undefined_value_p
    with the conservative mark_ssa_maybe_undefs approach as already
    used by LIM and IVOPTs.  This is to avoid exposing an unconditional
    uninitialized read on a path from entry by if-combine.

            PR tree-optimization/110228
            * tree-ssa-ifcombine.cc (pass_tree_ifcombine::execute):
            Mark SSA may-undefs.
            (bb_no_side_effects_p): Check stmt uses for undefs.

            * gcc.dg/torture/pr110228.c: New testcase.
            * gcc.dg/uninit-pr101912.c: Un-XFAIL.

    (cherry picked from commit b083203f053f1666e9cc1ded2abdf4e1688d1ec0)=