Searched refs:removeDead (Results 1 – 3 of 3) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCallAndReturn.cpp | 184 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, in removeDeadOnEndOfFunction()
369 removeDead(BindedRetNode, CleanedNodes, nullptr, calleeCtx, in processCallExit()
|
| H A D | ExprEngine.cpp | 1023 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() function in ExprEngine
1115 removeDead(Pred, CleanedStates, currStmt, in ProcessStmt()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 292 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
|