Searched refs:removeDead (Results 1 - 4 of 4) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | DynamicType.cpp | 122 ProgramStateRef removeDead(ProgramStateRef State, const MapTy &Map, function in namespace:clang::ento 132 return removeDead(State, State->get<DynamicTypeMap>(), SR); 136 return removeDead(State, State->get<DynamicCastMap>(), SR);
|
H A D | ExprEngineCallAndReturn.cpp | 180 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, 294 removeDead(BindedRetNode, CleanedNodes, nullptr, calleeCtx,
|
H A D | ExprEngine.cpp | 689 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, function in class:ExprEngine 781 removeDead(Pred, CleanedStates, currStmt,
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 265 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
|
Completed in 314 milliseconds