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 1D9C73857352; Wed, 21 Dec 2022 17:37:15 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1D9C73857352
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1671644235;
	bh=75NM5WtP/WEXf5fympBx6oqhPluaEhpniGnABMv7fQI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=anW2ybkWHeQQAQqdChPqFXo3S/g302A9bim4oqATIEHOGesldD3xTNQQxGkC4mQB3
	 zoWqJZJP0//26tRopXYPcHeBYcPhiYD5La/8xQVckk1GMVLhZijdijxYd4ciGAmMru
	 oLe33m8FFxbSOc6AIXxUun5D2t2+FYFyMkfi6bKQ=
From: "joseph at codesourcery dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/108068] [10/11/12/13 Regression] decimal
 floating point signed zero is not honored
Date: Wed, 21 Dec 2022 17:37:14 +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: 12.2.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: joseph at codesourcery dot com
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 10.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-108068-4-R1svwmg5nf@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-108068-4@http.gcc.gnu.org/bugzilla/>
References: <bug-108068-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=3D108068

--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery =
dot com> ---
For DFP it's not just zero for which you can't infer an equivalence of=20
values from an equality comparison; any finite value that can be=20
represented with more than one quantum exponent (any value that can be=20
represented with less precision than the type, unless it can only be=20
represented with the largest or smallest possible quantum exponent) has=20
the same property.  So handling DFP zero here probably isn't enough to=20
avoid bugs.=