Signed integer overflow undefined behavior persists from C89 to C23
Goal: determine whether a signed integer overflow check written in C source can be expected to survive compilation at different optimization levels, given that signed overflow remains undefined behavior from C89 through C23. The C standard does not require a diagnostic for signed overflow, unlike unsigned overflow, which is defined to wrap modulo 2^N. GCC an
c