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 A9167385841E; Mon,  9 Oct 2023 17:10:19 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A9167385841E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1696871419;
	bh=dMd25E/mDiZ2r7B3XDj9a4EhRFARQWeoECyy4rWkbnQ=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=OajdOcabiCBIMchYXJQtkkIWVkRvnDXPdczE+neDaCJlP+V92t1TBlsXBtn/LPsIW
	 y6aGM6EEjR6J3YSNdP9oNf8/Cjqhoyooe8f1OiUZEzWlWbzSj4Kda+xAJmVoZP9uwY
	 GKNboNR5Hkn/4xBTTfunD3+S4mshBuIZQM3uGuUI=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/111694] [13/14 Regression] Wrong behavior for
 signbit of negative zero when optimizing
Date: Mon, 09 Oct 2023 17:10:19 +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.2.0
X-Bugzilla-Keywords: wrong-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: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-111694-4-mvZ7KEKomO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-111694-4@http.gcc.gnu.org/bugzilla/>
References: <bug-111694-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=3D111694

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andrew Macleod <amacleod@gcc.gnu.org>:

https://gcc.gnu.org/g:b0892b1fc637fadf14d7016858983bc5776a1e69

commit r14-4520-gb0892b1fc637fadf14d7016858983bc5776a1e69
Author: Andrew MacLeod <amacleod@redhat.com>
Date:   Mon Oct 9 10:15:07 2023 -0400

    Ensure float equivalences include + and - zero.

    A floating point equivalence may not properly reflect both signs of
    zero, so be pessimsitic and ensure both signs are included.

            PR tree-optimization/111694
            gcc/
            * gimple-range-cache.cc (ranger_cache::fill_block_cache): Adjust
            equivalence range.
            * value-relation.cc (adjust_equivalence_range): New.
            * value-relation.h (adjust_equivalence_range): New prototype.

            gcc/testsuite/
            * gcc.dg/pr111694.c: New.=