https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68835
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Marek Polacek from comment #4) > Because in set_value_range_to_nonnegative the type is <unnamed-unsigned:96> > and its TYPE_MAX_VALUE is -1. Huh? I think that's just a lack of debug printing being able to handle 96 bit constants.