Perhaps you missed my earlier comment. > Except signed overflow invoking Undefined Behaviour in any C compiler, whereas unsigned overflow does not. We aren't

Perhaps you missed my earlier comment. > Except signed overflow invoking Undefined Behaviour in any C compiler, whereas unsigned overflow does not. We aren't talking about unsigned integer types. We're talking about the behaviour of signed integer types.