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 9E93F3858D37; Thu, 30 Nov 2023 11:42:26 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9E93F3858D37
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1701344546;
	bh=nSvJOmEKT6gvDQZLLJK3BZlj+eRrTQGKkLhqbDW4Bn8=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=orts0F6LhAKIvsRPimAyP/OZBqVAau+FqwKZ8Su9FOSrTu1n96z+1+2dhPDxdw7rB
	 Fy6wX4/JXH03vk7nt2rBQC5bxvdJOvMuz1oe0Kaqzimmphpgv/d9WeJul/WZRtVaDM
	 oTdkHQxeBgVXZEbsl3HClZU9cPqXmHcfW3yBBLKA=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/112767] [14 regression] spurious
 -Waggressive-loop-optimizations since r14-2944-g3d48c11ad082de
Date: Thu, 30 Nov 2023 11:42:25 +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: 14.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth 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: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: assigned_to bug_status
Message-ID: <bug-112767-4-rnu9cEJaIl@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-112767-4@http.gcc.gnu.org/bugzilla/>
References: <bug-112767-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=3D112767

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot =
gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  Now with SCCP after loop splitting that's the pass
exposing enough info but not eliding the loop before IVCANON comes and
diagnoses this.

SCCP does

   <bb 17> [local count: 119292719]:
-  # i_23 =3D PHI <i_8(3)>
-  # phi_24 =3D PHI <phi_9(3)>
+  i_23 =3D 16;
+  phi_24 =3D 8;
   if (phi_24 !=3D 8)

and only copyprop3 removes the condition.=