------- Comment #2 from jakub at gcc dot gnu dot org 2007-07-09 12:52 ------- x86_64-linux. Rebuilding gcc 4.2 with --enable-checking yields a verify_stmt failure already after ccp, which changes WordS64D.1870 xD.1876; long long intD.5 D.1879; ... D.1879_7 = 9223372036854775807 - cD.1875_4; if (D.1879_7 < xD.1876_6) goto <L2>; else goto <L6>; into: WordS64D.1870 xD.1876; if ((long long intD.5) xD.1876_6 == 9223372036854775807) goto <L2>; else goto <L6>; which is invalid gimple. But the operands of the comparison had different types of arguments already before. Guess the gimple type system patches cured this on the trunk.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32694
