https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97965
--- Comment #3 from Jakub Jelinek ---
https://gcc.gnu.org/pipermail/gcc-patches/2020-November/560463.html
https://gcc.gnu.org/pipermail/gcc-patches/2020-November/560515.html
are some mails on the topic.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97965
--- Comment #2 from Jason Merrill ---
See also PR88683 and PR88173.
I notice that the match.pd REAL_CST patterns starting around line 4045 only
look at the RHS of the comparison, so that nan > inf is handled very
differently from inf < nan. And
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97965
--- Comment #1 from joseph at codesourcery dot com ---
I don't think there should be any difference between quiet and signaling
NaNs here, since < <= > >= comparisons with either kind of NaN raise
"invalid"; it's == != (and the __builtin_is* co
