Comment by dzaima

C23 specifies that signed integers must be two's complement, but still leaves signed arithmetic overflow as undefined behavior.