Am 27.10.2008 um 18:42 schrieb Christian Biere:
Uhm, no... that's just nonsense and quite backwards. This switch is for people trying to code C whilst thinking Java.
The man page is quite confusing. If it basically means that signed integers can overflow, which is acording to ANSI C undefined behaviour. This more or less defines it, as it means it should be handled like intended by the CPU architecture. On x86, this means that for example for int8_t 127 + 1 = -128 or -128 - 1 = 127. Some applications need that to check for integer overflows.
Description: This is a digitally signed message part