http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56113
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-28 10:04:46 UTC --- Moving ->points_to to a separate obstack might also help (performing label_visit in topological order we could then free ->points_to once we have visited all successors of a node).