https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108639
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> --- Yes, they should compare equal. Integer constant ranges do not need a type. Not even FP constant ranges. Symbolic ranges need a type, but then the endpoints in their symbolic form have one (and those might even differ).