Searched refs:removeDead (Results 1 - 3 of 3) sorted by relevance
| /freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 188 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
|
| /freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCallAndReturn.cpp | 175 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
296 removeDead(BindedRetNode, CleanedNodes, 0, calleeCtx,
|
| H A D | ExprEngine.cpp | 313 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, function in class:ExprEngine
408 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext());
|
Completed in 123 milliseconds