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 83CD0385801E; Mon, 24 Oct 2022 13:33:59 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 83CD0385801E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1666618439;
	bh=0qzNIabDRhyranc7XLTDW/9W+5YQjkXPpYc1F1+3MZo=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=psaafxPbevsRFunYFti34y+AmOti+LKwDgvP/4U5n0fzyy3CwjQYr7FfQHuHiBzCj
	 bEY2SIfavUFkI9n5T/PdlB/14oNHL3zrsq/8hM0DuRupxdpFX3aopNEpnUFpdKV8CS
	 BnSqG4QTgQj2rBIQnheEJSYoBjvkFn2jjk2NqN/Q=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/107355] [13 Regression] ICE: in lower_bound, at
 value-range.h:350 with -fsanitize=float-cast-overflow since
 r13-3231-g706d8583706475fb
Date: Mon, 24 Oct 2022 13:33:58 +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: 13.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
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: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107355-4-iChddzXh42@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107355-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107355-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=3D107355

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <aldyh@gcc.gnu.org>:

https://gcc.gnu.org/g:5bcd92d0d4029f3d1d2eacc0e2bff1685545b74f

commit r13-3456-g5bcd92d0d4029f3d1d2eacc0e2bff1685545b74f
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Mon Oct 24 12:37:25 2022 +0200

    [PR tree-optimization/107355] Handle NANs in abs range-op entry.

    The problem here is that the threader is coming up with a path where
    the only valid result is a NAN.  When the abs op1_range entry is
    trying to add the negative posibility, it attempts to get the bounds
    of the working range.  NANs don't have bounds so they need to be
    special cased.

            PR tree-optimization/107355

    gcc/ChangeLog:

            * range-op-float.cc (foperator_abs::op1_range): Handle NAN.

    gcc/testsuite/ChangeLog:

            * gcc.dg/tree-ssa/pr107355.c: New test.=