[Bug middle-end/21360] wrong result of 'if' statement with comparing of floating point with gcc.

[rguenth at gcc dot gnu dot org]

--- Comment #8 from rguenth at gcc dot gnu dot org  2007-09-23 12:47 ---
6.3.1.4/1 says this is undefined.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21360

[Bug middle-end/21360] wrong result of 'if' statement with comparing of floating point with gcc.

[jsm28 at gcc dot gnu dot org]

--- Additional Comments From jsm28 at gcc dot gnu dot org  2005-06-29 21:59 
---
It's come to my attention that C99 Annex F.4#1 specifies that the result is an
unspecified value, with the invalid exception raised at runtime, rather than
undefined behavior (in the absence of defining __STDC_IEC_559__, it's still
undefined behavior).  We don't currently implement FENV_ACCESS at all so the
exception is irrelevant and I don't think we currently have any optimizations
relying on the conversion being undefined rather than unspecified, but in any
case the decimal fp work will answer the questions of what optimizations we do
here and whether there is any performance cost to defining the results the way
the decimal fp proposals do unconditionally.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21360

[Bug middle-end/21360] wrong result of 'if' statement with comparing of floating point with gcc.

[mmitchel at gcc dot gnu dot org]

--- Additional Comments From mmitchel at gcc dot gnu dot org  2005-05-10 
01:51 ---
To the extent this is a bug, it's a failure to comply to a future standard.  As
such, it's certainly not release-critical, and it's not even really a
regression.  Removed target milestone and regression markers.

-- 
   What|Removed |Added

Summary|[3.4/4.0/4.1 Regression]|wrong result of 'if'
   |wrong result of 'if'|statement with  comparing of
   |statement with  comparing of|floating point with gcc.
   |floating point with gcc.|
   Target Milestone|3.4.4   |---


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21360

[Bug middle-end/21360] wrong result of 'if' statement with comparing of floating point with gcc.

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

  Component|c   |middle-end


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21360

[Bug middle-end/21360] wrong result of 'if' statement with comparing of floating point with gcc.

[dtemirbulatov at ru dot mvista dot com]

--- Additional Comments From dtemirbulatov at ru dot mvista dot com  
2005-05-03 15:09 ---
Created an attachment (id=8806)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8806action=view)
testcase


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21360

[Bug middle-end/21360] wrong result of 'if' statement with comparing of floating point with gcc.

[dtemirbulatov at ru dot mvista dot com]

--- Additional Comments From dtemirbulatov at ru dot mvista dot com  
2005-05-03 15:11 ---
Created an attachment (id=8807)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8807action=view)
proposed patch


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21360

[Bug middle-end/21360] wrong result of 'if' statement with comparing of floating point with gcc.

[dtemirbulatov at ru dot mvista dot com]

-- 
   What|Removed |Added

  Known to fail||3.4.0 4.0.0 4.1.0
  Known to work||3.3.5


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21360