Searched refs:removeDead (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineCallAndReturn.cpp | 181 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, in removeDeadOnEndOfFunction()
302 removeDead(BindedRetNode, CleanedNodes, nullptr, calleeCtx, in processCallExit()
|
| D | ExprEngine.cpp | 343 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() function in ExprEngine
438 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext()); in ProcessStmt()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 187 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
|