Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h83 class ExplodedNodeSet; variable
237 void enqueueEndOfPath(ExplodedNodeSet &S);
332 ExplodedNodeSet &Dst,
462 ExplodedNodeSet &Dst);
479 ExplodedNodeSet &Dst);
483 ExplodedNodeSet &Dst);
495 ExplodedNodeSet &Dst);
592 void evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src,
679 void evalLoad(ExplodedNodeSet &Dst,
764 void evalLoadCommon(ExplodedNodeSet &Dst,
[all …]
H A DCoreEngine.h155 ExplodedNodeSet &Dst);
195 void enqueue(ExplodedNodeSet &Set);
255 ExplodedNodeSet &Frontier;
278 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
284 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
313 const ExplodedNodeSet &getResults() { in getResults()
319 using iterator = ExplodedNodeSet::iterator;
336 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
342 void addNodes(const ExplodedNodeSet &S) { Frontier.insert(S); } in addNodes()
400 StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
[all …]
H A DExplodedGraph.h461 class ExplodedNodeSet {
466 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
471 ExplodedNodeSet() = default;
486 void insert(const ExplodedNodeSet &S) { in insert()
/llvm-project-15.0.7/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 …]
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp29 ExplodedNodeSet dstIvar; in VisitLvalObjCIvarRefExpr()
127 ExplodedNodeSet dstLocation; in VisitObjCForCollectionStmt()
130 ExplodedNodeSet Tmp; in VisitObjCForCollectionStmt()
196 ExplodedNodeSet dstNil; in VisitObjCMessage()
206 ExplodedNodeSet dstPostCheckers; in VisitObjCMessage()
214 ExplodedNodeSet dstNonNil; in VisitObjCMessage()
230 ExplodedNodeSet dstPrevisit; in VisitObjCMessage()
233 ExplodedNodeSet dstGenericPrevisit; in VisitObjCMessage()
238 ExplodedNodeSet dstEval; in VisitObjCMessage()
272 ExplodedNodeSet dstArgCleanup; in VisitObjCMessage()
[all …]
H A DExprEngineC.cpp47 ExplodedNodeSet CheckedSet; in VisitBinaryOperator()
48 ExplodedNodeSet Tmp2; in VisitBinaryOperator()
131 ExplodedNodeSet Tmp; in VisitBinaryOperator()
248 ExplodedNodeSet Tmp; in VisitBlockExpr()
579 ExplodedNodeSet DstPre; in VisitDeclStmt()
880 ExplodedNodeSet EvalSet; in VisitUnaryExprOrTypeTraitExpr()
938 ExplodedNodeSet EvalSet; in VisitUnaryOperator()
946 ExplodedNodeSet Tmp; in VisitUnaryOperator()
1082 ExplodedNodeSet Tmp; in VisitIncrementDecrementOperator()
1085 ExplodedNodeSet Dst2; in VisitIncrementDecrementOperator()
[all …]
H A DExprEngineCXX.cpp70 ExplodedNodeSet Dst; in performTrivialCopy()
683 ExplodedNodeSet DstPreVisit; in handleConstructor()
717 ExplodedNodeSet DstPreCall; in handleConstructor()
782 ExplodedNodeSet DstPostCall; in handleConstructor()
797 ExplodedNodeSet &Dst) { in VisitCXXInheritedCtorInitExpr()
854 ExplodedNodeSet DstPreCall; in VisitCXXDestructor()
880 ExplodedNodeSet DstPreCall; in VisitCXXNewAllocatorCall()
884 ExplodedNodeSet DstPostCall; in VisitCXXNewAllocatorCall()
1074 ExplodedNodeSet DstPreCall; in VisitCXXDeleteExpr()
1076 ExplodedNodeSet DstPostCall; in VisitCXXDeleteExpr()
[all …]
H A DCheckerManager.cpp112 ExplodedNodeSet &Dst, in expandGraphWithCheckers()
113 const ExplodedNodeSet &Src) { in expandGraphWithCheckers()
125 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers()
126 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers()
129 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers()
185 ExplodedNodeSet &Dst, in runCheckersForStmt()
393 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst, in runCheckersForBind()
440 ExplodedNodeSet Src; in runCheckersForBeginFunction()
498 ExplodedNodeSet Src; in runCheckersForBranchCondition()
539 ExplodedNodeSet Src; in runCheckersForNewAllocator()
[all …]
H A DExprEngine.cpp956 ExplodedNodeSet Dst; in ProcessStmt()
972 ExplodedNodeSet Dst; in ProcessLoopExit()
1003 ExplodedNodeSet Tmp; in ProcessInitializer()
1063 ExplodedNodeSet Dst; in ProcessInitializer()
1076 ExplodedNodeSet Dst; in ProcessImplicitDtor()
1103 ExplodedNodeSet Dst; in ProcessNewAllocator()
1375 ExplodedNodeSet Dst; in Visit()
2611 ExplodedNodeSet Dst; in processEndOfFunction()
3285 ExplodedNodeSet Tmp; in evalStore()
3310 ExplodedNodeSet Tmp; in evalLoad()
[all …]
H A DExprEngineCallAndReturn.cpp68 ExplodedNodeSet DstBegin; in processCallEnter()
298 ExplodedNodeSet CleanedNodes; in processCallExit()
346 ExplodedNodeSet DstPostCall; in processCallExit()
362 ExplodedNodeSet Dst; in processCallExit()
553 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
564 ExplodedNodeSet dstCallEvaluated; in VisitCallExpr()
632 ExplodedNodeSet dstPreVisit; in evalCall()
639 ExplodedNodeSet dstCallEvaluated; in evalCall()
645 ExplodedNodeSet dstArgumentCleanup; in evalCall()
649 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()
458 ExplodedNodeSet Dst; in HandleBranch()
470 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
481 ExplodedNodeSet Dst; in HandleStaticInit()
607 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
612 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
618 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) { in enqueueEndOfFunction()