Searched refs:AfterRemovedDead (Results 1 – 1 of 1) sorted by relevance
1785 ExplodedNodeSet AfterRemovedDead; in processEndOfFunction() local1786 removeDeadOnEndOfFunction(BC, Pred, AfterRemovedDead); in processEndOfFunction()1789 for (ExplodedNodeSet::iterator I = AfterRemovedDead.begin(), in processEndOfFunction()1790 E = AfterRemovedDead.end(); I != E; ++I) { in processEndOfFunction()