> If not, this is seriously confused, lia-1 is MUCH more than just > wrapping integer types.
Then indeed there is confusion here. It was sounding to me like GCC would already had support for lia-1, but just needed to define signed overflows. If GCC does not and will not support lia-1, why are we talking about it?
