[Bug tree-optimization/23659] Should able to add dereferencing (statements with VUSE) without rerunning may_alias

[rakdver at gcc dot gnu dot org]

------- Comment #4 from rakdver at gcc dot gnu dot org  2006-03-01 12:10 -------
Created an attachment (id=10944)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10944&action=view)
Possible patch

(In reply to comment #2)
> Working on it.
> 

are you still working on this PR?

I think something similar to the attached patch should fix the problem -- it
makes us remember alias class --> TMT mapping globally, and uses it to set up
TMT's for the new pointers.  Could you please comment on whether you consider
this the right approach, or propose an alternative one?

On a side note, things like this might become even more difficult with the new
memory ssa approach.


-- 


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