On 17 January 2017 at 10:29, Andrew Haley wrote: > On 17/01/17 10:20, Lee Duhem wrote: >> In C, integer overflow is an undefined behavior. > > -fno-strict-overflow is supposed to fix that. Is it? That would make it equivalent to -fwrapv and I don't think that's true. -fno-strict-overflow means the compiler doesn't make certain assumptions about overflow, but if overflow actually happens (as in this program) it is still undefined.