https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107608
--- Comment #25 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Aldy Hernandez from comment #22) > Note that we currently can't represent +-inf or +-max, as we only have two > endpoints. So that would just be represented as VARYING. By +-inf I meant either [+inf, +inf] or [-inf, -inf], sorry for the shorthand. Sure, if we don't know if it is positive or negative infinity, right now it will be VARYING or close to VARYING and so nothing close to singleton.
