@yyp Yeah, at least since something like C11 or C23 it's two's complement and both gcc and clang have options to make it either trap or wrap.

The one that would still be there are the nasty pointer arithmetics but you could consider that those are explicitly unsafe.