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