Searched refs:ExplodedNodeSet (Results 1 – 11 of 11) sorted by relevance
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 84 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 D | CoreEngine.h | 156 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 D | ExplodedGraph.h | 458 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 D | CheckerManager.h | 48 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 D | ExprEngineObjC.cpp | 29 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 D | CheckerManager.cpp | 110 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 D | ExprEngineCXX.cpp | 67 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 D | ExprEngineC.cpp | 48 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 D | ExprEngine.cpp | 1127 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 D | ExprEngineCallAndReturn.cpp | 69 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 D | CoreEngine.cpp | 123 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()
|