------- Comment #14 from fxcoudert at gcc dot gnu dot org  2007-05-25 13:55 -------
Rev. 124497 of mainline fails to bootstrap with these patches on i686-linux:

[during stage2]
../../../trunk3/gcc/df-scan.c: In function ‘df_ref_record’:
../../../trunk3/gcc/df-scan.c:1057: error: types mismatch in comparsion
long unsigned int

int

shifttmp.1580_150 == 0;

../../../trunk3/gcc/df-scan.c:1057: internal compiler error: verify_stmts
failed

Debugging this error yields:

Breakpoint 5, verify_expr (tp=0xb70f1b5c, walk_subtrees=0xbfa475f0, data=0x0)
    at ../../../trunk3/gcc/tree-cfg.c:3298
3298                error ("types mismatch in comparsion");
(gdb) p debug_tree(lhs)
 <ssa_name 0xb73e498c
    type <integer_type 0xb7bf1438 long unsigned int sizes-gimplified
asm_written public unsigned SI
        size <integer_cst 0xb7be1658 constant invariant 32>
        unit size <integer_cst 0xb7be1444 constant invariant 4>
        align 32 symtab -1211504504 alias set -1 canonical type 0xb7bf1438
precision 32 min <integer_cst 0xb7be16e4 0> max <integer_cst 0xb7be16c8
4294967295>
        pointer_to_this <pointer_type 0xb7a82a8c>>
    var <var_decl 0xb7b3d284 shifttmp.1580> def_stmt <gimple_modify_stmt
0xb7387214>
    version 150>
$1 = void
(gdb) p debug_tree(rhs)
 <integer_cst 0xb7be1c40 type <integer_type 0xb7bf12f4 int> constant invariant
0>
$2 = void


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fxcoudert at gcc dot gnu dot
                   |                            |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22368