Searched refs:AfterRemovedDead (Results 1 – 1 of 1) sorted by relevance
3072 ExplodedNodeSet AfterRemovedDead; in processEndOfFunction() local3073 removeDeadOnEndOfFunction(BC, Pred, AfterRemovedDead); in processEndOfFunction()3076 for (const auto I : AfterRemovedDead) in processEndOfFunction()