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 CF9E63858C62; Tue, 14 Mar 2023 05:00:52 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org CF9E63858C62
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1678770052;
	bh=/fxToyVhfjSA0fv8Sf1ICXxTHSURuFSFFwnQZw8WI30=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=TwJKe2bwNGWJu6kk/8mJd5ouwkm7MCWR0it9eCqiK+4CHh8ePWRalRM9wSvHKJ/SE
	 TOCcu3egJy7SQAlbwn8CCGMuJxoMP7abWFE7csgybfKSAScLh9IcZNaHUopHNazf9Y
	 SWC0CtdjQ8F9Z1faULLLAgT+KBt3TMOmc7HhE0ew=
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/96564] [11/12/13 Regression] New maybe use of
 uninitialized variable warning since r11-959
Date: Tue, 14 Mar 2023 05:00:51 +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: 11.0
X-Bugzilla-Keywords: alias, diagnostic, missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.4
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-96564-4-ltBjWZrxom@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-96564-4@http.gcc.gnu.org/bugzilla/>
References: <bug-96564-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=3D96564

--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Note I don't think you really need exact aliasing information to optimize t=
his
though. See PR 109119 for an example where you just need to know on the path
where PRE adds the load, the two addresses are equal due to the condition.=