[Bug tree-optimization/29801] [4.3 regression] ICE in set_lattice_value (tree-ssa-ccp.c)

["rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #2 from rguenth at gcc dot gnu dot org  2006-11-11 10:58 -------
Confirmed.

#1  0x0817ee57 in set_lattice_value (var=0xb7bd3150, new_val=
      {lattice_val = 1, value = 0x0, mem_ref = 0x0})
    at /home/richard/src/trunk/gcc/tree-ssa-ccp.c:418
418       gcc_assert (old_val->lattice_val <= new_val.lattice_val
(gdb) list
413
414       /* Lattice transitions must always be monotonically increasing in
415          value.  If *OLD_VAL and NEW_VAL are the same, return false to
416          inform the caller that this was a non-transition.  */
417
418       gcc_assert (old_val->lattice_val <= new_val.lattice_val
419                   || (old_val->lattice_val == new_val.lattice_val
420                       && old_val->value == new_val.value
421                       && old_val->mem_ref == new_val.mem_ref));
422
(gdb) call debug_tree (var)
 <ssa_name 0xb7bd3150
    type <array_type 0xb7bc2da8
        type <integer_type 0xb7b3f2e0 char readonly sizes-gimplified
string-flag QI
            size <integer_cst 0xb7b241f8 constant invariant 8>
            unit size <integer_cst 0xb7b24210 constant invariant 1>
            align 8 symtab 0 alias set -1 precision 8 min <integer_cst
0xb7b24258 -128> max <integer_cst 0xb7b242b8 127>
            pointer_to_this <pointer_type 0xb7b3f33c>>
        sizes-gimplified BLK
        size <integer_cst 0xb7bc1bb8 constant invariant 136>
        unit size <integer_cst 0xb7bc1b88 constant invariant 17>
        align 8 symtab 0 alias set -1
        domain <integer_type 0xb7bc2cf0 type <integer_type 0xb7b36000 unsigned
int>
            sizes-gimplified SI
            size <integer_cst 0xb7b243f0 constant invariant 32>
            unit size <integer_cst 0xb7b24180 constant invariant 4>
            align 32 symtab 0 alias set -1 precision 32 min <integer_cst
0xb7b24198 0> max <integer_cst 0xb7b24678 16>>>
    var <var_decl 0xb7b30528 __FUNCTION__> def_stmt <modify_expr 0xb7b2b630>
    version 93>

SSA_NAME of array type?  uh...

(gdb) print *old_val
$3 = {lattice_val = 2, value = 0xb7b336b8, mem_ref = 0xb7b30528}
(gdb) print new_val
$4 = {lattice_val = 1, value = 0x0, mem_ref = 0x0}

we are looking at

(gdb) call debug_generic_expr (stmt)
#   __FUNCTION__D.1651_93 = V_MAY_DEF <__FUNCTION__D.1651_91>;
#   NONLOCAL.11D.1717_94 = V_MAY_DEF <NONLOCAL.11D.1717_92>;
gdpD.1639_27->bg_free_blocks_countD.1628 = D.1690_60


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
             Status|ASSIGNED                    |NEW
   Last reconfirmed|2006-11-11 10:51:28         |2006-11-11 10:58:19
               date|                            |


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