> I think I already rejected this and asked you to fix the users (like > layout_type is a user).
Yes, but that would be a pain, there are too many users in the Ada front-end. > Clearly 0 - 1 in unsigned arithmetic overflows. Not indicating this may > cause bugs elsewhere as easily as it fixes code not dealing with this fact. !?? There is no overflow in unsigned arithmetics. Instead size_binop forces overflows artificially and I don't see the problem in deciding that 0 - 1 is a special case, like [0, -1] is a special case for layout_type. And note that this was the historical behavior, before the latest sizetype changes. -- Eric Botcazou
