http://gcc.gnu.org/bugzilla/show_bug.cgi?id=61034
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- points-to cannot be improved here as it is flow-insensitive for memory accesses and the pointers are copied: D.2327.o = _2; D.2327.o = _79; thus they blend together. So we have to improve alias walking by also making get_continuation_for_phi (and callees) use the 'translate' callback and improve the 'translate' callback in VN to handle calls (which it doesn't at the moment, and it's also somewhat difficult to do that ... if done generically, we can of course special-case builtins we can ignore for CSE/PRE purposes here).
