https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84251
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com
--- Comment #10 from Jeffrey A. Law <law at redhat dot com> ---
Couldn't this be tackled in DOM?
For A UNORDERED_EXPR B, on the true arm we record A != B must be true.
A ORDERED_EXPR B, on the false arm we record A != B must be true.
We might also be able to record something about the NaN status of A and B on
the other arms as well.
