[Bug middle-end/122307] FP compare reverse of LTGT and UNEQ should return UNKNOWN for HONOR_NANS and trapping math

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122307

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|FP compare reverse of LTGT  |FP compare reverse of LTGT
                   |and UNEQ should return      |and UNEQ should return
                   |UNKNOWN                     |UNKNOWN for HONOR_NANS and
                   |                            |trapping math
   Last reconfirmed|                            |2025-10-17
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
invert_tree_comparison in fold-const does the right thing by doing:

  if (honor_nans && flag_trapping_math && code != EQ_EXPR && code != NE_EXPR
      && code != ORDERED_EXPR && code != UNORDERED_EXPR)
    return ERROR_MARK;