[Bug tree-optimization/39074] PTA constraint processing for *x = y is wrong

[dberlin at gcc dot gnu dot org]

------- Comment #3 from dberlin at gcc dot gnu dot org  2009-02-02 19:42 -------
Eyeballing this, I think y should not end up empty anyway.

Shouldn't it have i in it's points-to set?


-- 


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