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