------- 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
