------- Additional Comments From konstantin at mysql dot com 2004-12-15 15:06
-------
Could you elaborate how comes that you are certain that the bug is a duplicate
of #323?
The problem as I described is that the comparison (line 8) reports success,
while numbers
are actually different, not the other way - failed comparison for equal (or
expected-to-be-equal) numbers.
Note that the comparison is performed against integer numbers, not floating
point numbers.
I guess the reason of the success is that the cast in the comparison somehow
gets optimized away.
Thank you.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Resolution|DUPLICATE |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19011
