Escape analysis done as a post-optimization step