Comment by colinrozzi

I think it is basically a garbage collector, just one that operates on a per-function level instead of at the general level of the program