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 5D9D83858427; Wed, 27 Mar 2024 17:46:43 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5D9D83858427
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1711561603;
	bh=f4Hg+fiaC3vgkDgxApqdOrDFkV1EDx1Ogc9RrAW0dSY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=jcwZrnyxRi/Pqb+TKiM49lOrKFtFTbC1Ptwn5+iuzhGm+UQQYelQ2rIZVH39/3q2b
	 NJuw/zljzDtzSmh3UIj9Vl22a4PZ4ehjNWrlemav2rAxukfnkVp+q9WZzG/I8vj/5P
	 2rbhK+RPyoOqBytk11w29RZBzdnk9dpfKnpmJk4w=
From: "hubicka at ucw dot cz" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/112303] [14 Regression] ICE on valid code at
 -O3 on x86_64-linux-gnu: verify_flow_info failed since
 r14-3459-g0c78240fd7d519
Date: Wed, 27 Mar 2024 17:46:41 +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: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: hubicka at ucw dot cz
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-112303-4-K7Qiiw3P5L@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-112303-4@http.gcc.gnu.org/bugzilla/>
References: <bug-112303-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=3D112303

--- Comment #14 from Jan Hubicka <hubicka at ucw dot cz> ---
> This patch fixes the ICE for me.
> Seems we already did something like that in other spots (e.g. in apply_sc=
ale).

In general if the overflow happens, some pass must have misbehaved and
do something crazy when updating profile.  But indeed we probably ought
to cap here instead of randomly getting to uninitialized. It may make
sense to make these enable checking only ICEs.   I will look into why
the overflow happens.

Honza=