https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108447
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> --- As a workaround in stage4, perhaps, but long term the relations make a lot of sense even for floating point with NANs. If you know <= relation between 2 vars and know the range of one of them, the other can be computed from it, ...