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 37AC53858436; Wed, 27 Oct 2021 13:28:17 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 37AC53858436
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/84407] incorrect constant propagation with
 -frounding-math
Date: Wed, 27 Oct 2021 13:28:16 +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: 7.3.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-84407-4-rVHCn58tMY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-84407-4@http.gcc.gnu.org/bugzilla/>
References: <bug-84407-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
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 27 Oct 2021 13:28:17 -0000

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D84407

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Created attachment 51676
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D51676&action=3Dedit
patch

Testing for exact real-to-int / int-to-real conversions is a bit awkward but
maybe I am missing interesting details in real.c that could be exercised he=
re.

Also a question is the behavior on overflow when converting a real to an
integer (IIRC the behavior here is undefined, but we constant fold to the
largest/smallest integer here).

For integer to float conversions is the overflow considered before or after
applying the rounding?  That is, are there integer values that invoke
undefined behavior when converted to a real dependent on the rounding mode?=