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?