https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108447
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I see fold_using_range::relation_fold_and_or which sees relation1 VREL_LE and relation2 VREL_GE and !is_and, and because of relation_union (relation1, relation2) == VREL_VARYING fold it to 1. But for floating point comparisons, LE | GE is not always true, it is true if neither operand is NAN, otherwise false.
