Searched refs:removeDead (Results 1 - 4 of 4) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicType.cpp122 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 DExprEngineCallAndReturn.cpp180 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
294 removeDead(BindedRetNode, CleanedNodes, nullptr, calleeCtx,
H A DExprEngine.cpp689 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 DExprEngine.h265 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,

Completed in 314 milliseconds