https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103082
Jan Hubicka <hubicka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2021-11-04 Assignee|unassigned at gcc dot gnu.org |hubicka at gcc dot gnu.org --- Comment #1 from Jan Hubicka <hubicka at gcc dot gnu.org> --- The compuation is supposed to be working for negative values. Later we add the bitoffset which can make it positive again and range check will match. The computation is correct on any complement of two host and we do not really support others I believe, but I guess changing it to *HOST_BITS_PER_UNIT is easiest way to get ubsan quiet?