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 E4C613858C74; Tue, 20 Sep 2022 14:47:23 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E4C613858C74
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1663685243;
	bh=JDh6LlzhkruzJUtt8HQnekro4kKw3Fy9MqHPVbrTqX0=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=F03ZPYV1PEmhZWlXkS1PEXUWSUsB8cbCt9ea58/rJ1ufO7rcV79LxTpCL8UtutN1Y
	 8Kuc5gV6s0Bz7HduUAcZOt4KB1cReOJLduhk43FsZ11rnXjhcXdBHcwF1iD/aJjUkK
	 huSj0V/YORZX/mXPqpSQa0QI5+6spUjCBLs3fdk0=
From: "dcb314 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/106970] [13 Regression] ICE in verify_range,
 at value-range.cc:702 since r13-2713-g917461478d3bb733
Date: Tue, 20 Sep 2022 14:47:23 +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: 13.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dcb314 at hotmail dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: DUPLICATE
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-106970-4-McoHZhQDQr@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-106970-4@http.gcc.gnu.org/bugzilla/>
References: <bug-106970-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=3D106970

--- Comment #7 from David Binderman <dcb314 at hotmail dot com> ---
I am not too sure that what I found is the same as the original bug report.

Reduced C code is:

int script_obj_as_number_obj, script_obj_as_number_obj_0_0;

double script_obj_as_number() {
  if (script_obj_as_number_obj)
    return script_obj_as_number_obj_0_0;
  return __builtin_nanf("");
}
void script_obj_cmp() {
  double num_b =3D script_obj_as_number();
  if (0 < num_b)
    return;
}

This code crashes with gcc from an hour or so ago, with git hash
d99821624c340429.

I would be grateful if Aldy could confirm that the above code works fine
in his version with -Ofast.

My apologies for not making clear which version of gcc trunk I meant.=