Searched defs:removeDead (Results 1 – 2 of 2) sorted by relevance
343 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() function in ExprEngine
689 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() function in ExprEngine