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