http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57124
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2013-05-02 08:01:39 UTC --- At least the reduced testcase contains undefined signed integer overflow. It multiplies 65531 by 65536 here: x3 = x2 * 65536; it's still "miscompiled" with -fno-strict-overflow though, a QOI issue (it works correctly with -fwrapv). The docs trying to point out the difference between -fno-strict-overflow and -fwrapv are especially poor (ISTR strongly objecting the notion of -f[no-]strict-overflow ...)
