This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/34703] (Unsafe) optization of IF(A>B/C) as IF(A*C>B)
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 7 Jan 2008 16:57:49 -0000
- Subject: [Bug tree-optimization/34703] (Unsafe) optization of IF(A>B/C) as IF(A*C>B)
- References: <bug-34703-12313@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #1 from rguenth at gcc dot gnu dot org 2008-01-07 16:57 -------
-ffinite-math-only is not enoug - that only assumes input operands are never
Inf or Nan and results of operations in the source are not Inf or Nan. But
as you say you cannot guarantee that RADIUS * 100.0 does not overflow, so
this transformation is invalid.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34703