Searched refs:removeDead (Results 1 - 3 of 3) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 172 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCallAndReturn.cpp | 194 removeDead(BindedRetNode, CleanedNodes, 0, callerCtx, LastSt,
|
| H A D | ExprEngine.cpp | 253 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, function in class:ExprEngine
332 removeDead(EntryNode, CleanedStates, currStmt,
|
Completed in 51 milliseconds