[Bug tree-optimization/23384] escaped set should be flow sensitive

[steven at gcc dot gnu.org]

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

--- Comment #6 from Steven Bosscher <steven at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #5)

Would it be possible to compute ESCAPED per basic block as a local set,
compute transitive closure over the CFG, and use that information when
constructing the points-to graph?