http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46316
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2010-11-05 18:42:38 UTC --- > It only happens on 32bit host. It doesn't happen with -m32 > on Linux/x86-64. Ah, interesting, thanks. The wrong transformation is done by VRP2 but I fail to see which recent change has triggered this exactly. According to our internal daily tester, this was introduced on 11/03.