Re:Using signed or unsigned int by default in C (2015)
by Asooka on Wednesday August 24, 2022 @01:24PM
(#32582707)
That's fine. Define it as saturating on those architectures. Just being defined as "this never happens" is hugely detrimental to predicting how you're program behaves.
The benefit is that architectures are free to implement it with saturating arithmetic.