[tree-ssa]: Dominator opts change LHS without changing VDEF's

[Diego Novillo]

On Sun, 2003-08-10 at 16:35, Daniel Berlin wrote:
> Diego, this is the bitmap.i problem i sent you.
> This is only visible with points-to on, because it better disambiguates.
> The problem is that dominator opts changes:
> 
> #   MT.564_34 = VDEF <MT.564_33>;
> #   VUSE <bitmap_free_32>;
> elt_29->next = (struct bitmap_element_def *)bitmap_free
> 
> into
> 
> elt_7->next = (struct bitmap_element_def *)bitmap_free
> 
> This causes the vdef's to changes, because the memory tag for elt isn't 
> the same as elt.
>
They aren't?  Both variables are aliased, are they not?  If so, they
should have the same memory tag.


Diego.