https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85957
Luke Shumaker <lukeshu at lukeshu dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Resolution|DUPLICATE |---
--- Comment #2 from Luke Shumaker <lukeshu at lukeshu dot com> ---
I do not believe that this is a duplicate of bug 323. As I wrote:
> As I understand why floating point math could result in a6 and b6 being
> different; my concern is that a6 and b6 (which are integer types)
> appear to be different, yet compare as being equal.
"a6" and "b6" are both variables with types that resolve to "long long unsigned
integer".
printf ("a6 = %llu\n", a6); // prints "a6 = 1"
printf ("b6 = %llu\n", b6); // prints "b6 = 0"
That's fine, I understand that a6 and b6 could be different because of
differing round-off between intermediate steps. That's not my concern.
Note that a6 and b6 have should have concrete values at this point, as we have
printed them.
My concern is the following:
printf ("(a6 == b6) = %s\n",
(a6 == b6) ? "true" : "false"); // prints "(a6 == b6) = true"
That is, the entire output of the POC program is:
a6 = 1
b6 = 0
a6 == b6
I am not concerned that a6 and b6 disagree, or that they are equal. I am
concerned that *both* are true.
