------- Comment #25 from dberlin at gcc dot gnu dot org 2007-04-25 03:14 ------- (In reply to comment #23) > This is a regression. Danny? >
It actually should get assigned anything as a points-to set, so the "bad" constraints are correct. We should also always get correct aliasing even if everything was assigned ANYTHING as a variable. Sadly, we don't in 4.2.0, as this case shows. I'm not going to get a chance to look at this for at least week, I have something taking priority this week. If you want to tackle it before then, I would suggest trying to see why we decide not to give the SFT's to the variable marked with anything. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30567
