https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126240
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- We have just a single range rather than a union of 2+ for frange, either that would need to change or we'd need to add anti-range flag to it or something. Note, when NaNs can be present, x_1(D) != 1.0 is true for anything but 1.0, including NaNs.
