https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68835
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Because in set_value_range_to_nonnegative the type is <unnamed-unsigned:96> and its TYPE_MAX_VALUE is -1. Huh?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68835
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Because in set_value_range_to_nonnegative the type is <unnamed-unsigned:96> and its TYPE_MAX_VALUE is -1. Huh?