[Bug tree-optimization/27373] [4.2 Regression] ICE: add_virtual_operand with pointers to arrays

[dberlin at dberlin dot org]

------- Comment #5 from dberlin at gcc dot gnu dot org  2006-05-02 12:19 -------
Subject: Re:  [4.2 Regression] ICE:
        add_virtual_operand with pointers to arrays

On Tue, 2006-05-02 at 08:56 +0000, rguenth at gcc dot gnu dot org wrote:
> 
> ------- Comment #4 from rguenth at gcc dot gnu dot org  2006-05-02 08:56 -------
> ICEing in the propagator engine during copyprop:
> 
> Substituing values and folding statements
> 
> Folded statement: tt_19 = &D.1547_18->cg;
>             into: tt_19 = &D.1547_12->cg;
> 
> *kaboom*
> 
> but same usual place:
> 
> #1  0x081881af in add_virtual_operand (var=0xb7d8e410, s_ann=0xb7e1a7ec, 
>     flags=1, full_ref=0xb7e1a208, offset=32, size=32, for_clobber=0 '\0')
>     at /space/rguenther/src/svn/trunk/gcc/tree-ssa-operands.c:1284
> 1284                    gcc_assert (SMT_USED_ALONE (var));
> 
> (gdb) call debug_generic_expr(stmt)
> #   SMT.8D.1563_39 = V_MAY_DEF <SMT.8D.1563_14>;
> D.1547_12->cgD.1522[D.1552_21] = uD.1532_16

This is a different bug, in fact.
Those two (D.1547_18 and D.1547_12) should have had the exact same SMT
base, AFAICT, and thus, should have had the same result.

What do the alias dumps look like after the patch from 26626?


-- 


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