http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49705
--- Comment #5 from Ian Lance Taylor <ian at airs dot com> 2011-07-12 16:42:07 UTC --- My proposed patch also fixes the larger test case. Without the patch I see this: strict-overflow-bug.c: In function ‘check_image_width’: strict-overflow-bug.c:14:4: warning: assuming signed overflow does not occur when assuming that (X + c) >= X is always true [-Wstrict-overflow] With the patch I see no warning. This is compiling with -O2 -Wstrict-overflow.
