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 86D143857B80; Thu, 30 Nov 2023 12:35:25 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 86D143857B80
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1701347725;
	bh=Tc3rUV1v01v+s8pw3iETQp1yFHUs3liQ6uRclSfaNDQ=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=eBVVDPl3pMzOw0UK6GJU183AJHLKgGOm11GuBsrTiDRbMpJ4TBvV6XnTUQneVqONS
	 d6xt+S54KZhKqKriGkRZyaSJCqAKMbuWIG5BBzDYbIsPYPOwrPVHS0I+Ntqtp06ZYr
	 eqia9M9cuZkjIpsy8P4TijuFgW+w+WCnhHdy3Tjg=
From: "cvs-commit 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 12:35: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: 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: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-112767-4-hkOhhe2L9e@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

--- Comment #4 from GCC 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:2dde9f326ded84814a78c3044294b535c1f97b41

commit r14-6010-g2dde9f326ded84814a78c3044294b535c1f97b41
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Nov 30 12:38:53 2023 +0100

    tree-optimization/112767 - spurious diagnostic after sccp/loop-split sw=
ap

    We are diagnosing an unreachable loop which we only manage to elide
    after the copyprop pass after sccp which leaves the code open for
    diagnosing by the intermittent ivcanon pass.  The following makes sure
    to clean things up a bit earlier, propagating constant final values
    to uses immediately.

            PR tree-optimization/112767
            * tree-scalar-evolution.cc (final_value_replacement_loop):
            Propagate constants to immediate uses immediately.

            * gcc.dg/tree-ssa/pr112767.c: New testcase.
            * gcc.dg/graphite/pr83255.c: Disable SCCP.=