Home
last modified time | relevance | path

Searched refs:ExplodedNodeSet (Results 1 – 11 of 11) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h84 class ExplodedNodeSet; variable
333 ExplodedNodeSet &Dst,
459 ExplodedNodeSet &Dst);
463 ExplodedNodeSet &Dst);
467 ExplodedNodeSet &Dst);
480 ExplodedNodeSet &Dst);
484 ExplodedNodeSet &Dst);
496 ExplodedNodeSet &Dst);
593 void evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src,
678 void evalLoad(ExplodedNodeSet &Dst,
[all …]
H A DCoreEngine.h156 ExplodedNodeSet &Dst);
186 void enqueue(ExplodedNodeSet &Set);
252 ExplodedNodeSet &Frontier;
275 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
281 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
310 const ExplodedNodeSet &getResults() { in getResults()
316 using iterator = ExplodedNodeSet::iterator;
333 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
339 void addNodes(const ExplodedNodeSet &S) { Frontier.insert(S); } in addNodes()
397 StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
[all …]
H A DExplodedGraph.h458 class ExplodedNodeSet {
463 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
468 ExplodedNodeSet() = default;
483 void insert(const ExplodedNodeSet &S) { in insert()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h48 class ExplodedNodeSet; variable
248 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
261 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
271 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
304 ExplodedNodeSet &Dst,
310 void runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, in runCheckersForPreCall()
316 void runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
330 void runCheckersForLocation(ExplodedNodeSet &Dst,
339 void runCheckersForBind(ExplodedNodeSet &Dst,
340 const ExplodedNodeSet &Src,
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp29 ExplodedNodeSet dstIvar; in VisitLvalObjCIvarRefExpr()
127 ExplodedNodeSet dstLocation; in VisitObjCForCollectionStmt()
130 ExplodedNodeSet Tmp; in VisitObjCForCollectionStmt()
209 ExplodedNodeSet dstNil; in VisitObjCMessage()
219 ExplodedNodeSet dstPostCheckers; in VisitObjCMessage()
227 ExplodedNodeSet dstNonNil; in VisitObjCMessage()
243 ExplodedNodeSet dstPrevisit; in VisitObjCMessage()
246 ExplodedNodeSet dstGenericPrevisit; in VisitObjCMessage()
251 ExplodedNodeSet dstEval; in VisitObjCMessage()
285 ExplodedNodeSet dstArgCleanup; in VisitObjCMessage()
[all …]
H A DCheckerManager.cpp110 ExplodedNodeSet &Dst, in expandGraphWithCheckers()
111 const ExplodedNodeSet &Src) { in expandGraphWithCheckers()
123 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers()
124 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers()
127 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers()
183 ExplodedNodeSet &Dst, in runCheckersForStmt()
391 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst, in runCheckersForBind()
438 ExplodedNodeSet Src; in runCheckersForBeginFunction()
496 ExplodedNodeSet Src; in runCheckersForBranchCondition()
537 ExplodedNodeSet Src; in runCheckersForNewAllocator()
[all …]
H A DExprEngineCXX.cpp67 ExplodedNodeSet Dst; in performTrivialCopy()
741 ExplodedNodeSet DstPreVisit; in handleConstructor()
773 ExplodedNodeSet DstPreCall; in handleConstructor()
837 ExplodedNodeSet DstPostCall; in handleConstructor()
852 ExplodedNodeSet &Dst) { in VisitCXXInheritedCtorInitExpr()
910 ExplodedNodeSet DstPreCall; in VisitCXXDestructor()
935 ExplodedNodeSet DstPreCall; in VisitCXXNewAllocatorCall()
939 ExplodedNodeSet DstPostCall; in VisitCXXNewAllocatorCall()
1134 ExplodedNodeSet DstPreCall; in VisitCXXDeleteExpr()
1136 ExplodedNodeSet DstPostCall; in VisitCXXDeleteExpr()
[all …]
H A DExprEngineC.cpp48 ExplodedNodeSet CheckedSet; in VisitBinaryOperator()
49 ExplodedNodeSet Tmp2; in VisitBinaryOperator()
132 ExplodedNodeSet Tmp; in VisitBinaryOperator()
244 ExplodedNodeSet Tmp; in VisitBlockExpr()
571 ExplodedNodeSet DstPre; in VisitDeclStmt()
872 ExplodedNodeSet EvalSet; in VisitUnaryExprOrTypeTraitExpr()
927 ExplodedNodeSet EvalSet; in VisitUnaryOperator()
934 ExplodedNodeSet Tmp; in VisitUnaryOperator()
1069 ExplodedNodeSet Tmp; in VisitIncrementDecrementOperator()
1072 ExplodedNodeSet Dst2; in VisitIncrementDecrementOperator()
[all …]
H A DExprEngine.cpp1127 ExplodedNodeSet Dst; in ProcessStmt()
1143 ExplodedNodeSet Dst; in ProcessLoopExit()
1174 ExplodedNodeSet Tmp; in ProcessInitializer()
1242 ExplodedNodeSet Dst; in ProcessInitializer()
1292 ExplodedNodeSet Dst; in ProcessImplicitDtor()
1319 ExplodedNodeSet Dst; in ProcessNewAllocator()
1716 ExplodedNodeSet Dst; in Visit()
2953 ExplodedNodeSet Dst; in processEndOfFunction()
3636 ExplodedNodeSet Tmp; in evalStore()
3661 ExplodedNodeSet Tmp; in evalLoad()
[all …]
H A DExprEngineCallAndReturn.cpp69 ExplodedNodeSet DstBegin; in processCallEnter()
353 ExplodedNodeSet CleanedNodes; in processCallExit()
398 ExplodedNodeSet DstPostCall; in processCallExit()
414 ExplodedNodeSet Dst; in processCallExit()
605 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
616 ExplodedNodeSet dstCallEvaluated; in VisitCallExpr()
682 ExplodedNodeSet dstPreVisit; in evalCall()
689 ExplodedNodeSet dstCallEvaluated; in evalCall()
695 ExplodedNodeSet dstArgumentCleanup; in evalCall()
699 ExplodedNodeSet dstPostCall; in evalCall()
[all …]
H A DCoreEngine.cpp123 ExplodedNodeSet DstBegin; in ExecuteWorkList()
228 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
260 ExplodedNodeSet Dst; in HandleBlockEdge()
292 ExplodedNodeSet dstNodes; in HandleBlockEdge()
457 ExplodedNodeSet Dst; in HandleBranch()
469 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
480 ExplodedNodeSet Dst; in HandleStaticInit()
606 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
611 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
617 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) { in enqueueEndOfFunction()