On Thu, Jul 25, 2013 at 17:54, Nickolai Zeldovich wrote: > Signed integer overflow is undefined behavior in C, and recent compilers > (such as gcc and Clang) can optimize away checks that rely on signed > integer overflow (see simple example below).
> .ident "GCC: (Ubuntu/Linaro 4.7.3-1ubuntu1) 4.7.3" Thanks, these are bugs worth fixing in any case, but the native gcc on OpenBSD has these optimizations disabled. fyi. (it also has the ident string feature disabled, fwiw.)
