Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h87 class ExplodedNodeSet; variable
235 void enqueueEndOfPath(ExplodedNodeSet &S);
330 ExplodedNodeSet &Dst,
456 ExplodedNodeSet &Dst);
473 ExplodedNodeSet &Dst);
477 ExplodedNodeSet &Dst);
489 ExplodedNodeSet &Dst);
586 void evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src,
682 void evalLoad(ExplodedNodeSet &Dst,
754 void evalLoadCommon(ExplodedNodeSet &Dst,
[all …]
H A DCoreEngine.h152 ExplodedNodeSet &Dst);
191 void enqueue(ExplodedNodeSet &Set);
251 ExplodedNodeSet &Frontier;
274 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
280 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
307 const ExplodedNodeSet &getResults() { in getResults()
313 using iterator = ExplodedNodeSet::iterator;
330 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
336 void addNodes(const ExplodedNodeSet &S) { Frontier.insert(S); } in addNodes()
394 StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
[all …]
H A DExplodedGraph.h463 class ExplodedNodeSet {
468 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
473 ExplodedNodeSet() = default;
488 void insert(const ExplodedNodeSet &S) { in insert()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h49 class ExplodedNodeSet; variable
249 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
262 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
272 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
305 ExplodedNodeSet &Dst,
311 void runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, in runCheckersForPreCall()
317 void runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
331 void runCheckersForLocation(ExplodedNodeSet &Dst,
340 void runCheckersForBind(ExplodedNodeSet &Dst,
341 const ExplodedNodeSet &Src,
[all …]
/freebsd-13.1/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()
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.cpp48 ExplodedNodeSet CheckedSet; in VisitBinaryOperator()
49 ExplodedNodeSet Tmp2; in VisitBinaryOperator()
132 ExplodedNodeSet Tmp; in VisitBinaryOperator()
249 ExplodedNodeSet Tmp; in VisitBlockExpr()
575 ExplodedNodeSet DstPre; in VisitDeclStmt()
877 ExplodedNodeSet EvalSet; in VisitUnaryExprOrTypeTraitExpr()
935 ExplodedNodeSet EvalSet; in VisitUnaryOperator()
943 ExplodedNodeSet Tmp; in VisitUnaryOperator()
1078 ExplodedNodeSet Tmp; in VisitIncrementDecrementOperator()
1081 ExplodedNodeSet Dst2; in VisitIncrementDecrementOperator()
[all …]
H A DExprEngineCXX.cpp70 ExplodedNodeSet Dst; in performTrivialCopy()
563 ExplodedNodeSet DstPrepare; in handleConstructor()
580 ExplodedNodeSet DstPreVisit; in handleConstructor()
614 ExplodedNodeSet DstPreCall; in handleConstructor()
679 ExplodedNodeSet DstPostCall; in handleConstructor()
694 ExplodedNodeSet &Dst) { in VisitCXXInheritedCtorInitExpr()
751 ExplodedNodeSet DstPreCall; in VisitCXXDestructor()
777 ExplodedNodeSet DstPreCall; in VisitCXXNewAllocatorCall()
781 ExplodedNodeSet DstPostCall; in VisitCXXNewAllocatorCall()
949 ExplodedNodeSet DstPreCall; in VisitCXXDeleteExpr()
[all …]
H A DCheckerManager.cpp111 ExplodedNodeSet &Dst, in expandGraphWithCheckers()
112 const ExplodedNodeSet &Src) { in expandGraphWithCheckers()
124 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers()
125 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers()
128 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers()
184 ExplodedNodeSet &Dst, in runCheckersForStmt()
392 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst, in runCheckersForBind()
439 ExplodedNodeSet Src; in runCheckersForBeginFunction()
497 ExplodedNodeSet Src; in runCheckersForBranchCondition()
538 ExplodedNodeSet Src; in runCheckersForNewAllocator()
[all …]
H A DExprEngine.cpp787 ExplodedNodeSet Dst; in ProcessStmt()
803 ExplodedNodeSet Dst; in ProcessLoopExit()
834 ExplodedNodeSet Tmp; in ProcessInitializer()
894 ExplodedNodeSet Dst; in ProcessInitializer()
907 ExplodedNodeSet Dst; in ProcessImplicitDtor()
934 ExplodedNodeSet Dst; in ProcessNewAllocator()
1206 ExplodedNodeSet Dst; in Visit()
2427 ExplodedNodeSet Dst; in processEndOfFunction()
2946 ExplodedNodeSet Tmp; in evalStore()
2971 ExplodedNodeSet Tmp; in evalLoad()
[all …]
H A DExprEngineCallAndReturn.cpp68 ExplodedNodeSet DstBegin; in processCallEnter()
281 ExplodedNodeSet CleanedNodes; in processCallExit()
329 ExplodedNodeSet DstPostCall; in processCallExit()
345 ExplodedNodeSet Dst; in processCallExit()
500 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
511 ExplodedNodeSet dstCallEvaluated; in VisitCallExpr()
579 ExplodedNodeSet dstPreVisit; in evalCall()
586 ExplodedNodeSet dstCallEvaluated; in evalCall()
592 ExplodedNodeSet dstArgumentCleanup; in evalCall()
596 ExplodedNodeSet dstPostCall; in evalCall()
[all …]
H A DCoreEngine.cpp114 ExplodedNodeSet DstBegin; in ExecuteWorkList()
199 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
231 ExplodedNodeSet Dst; in HandleBlockEdge()
263 ExplodedNodeSet dstNodes; in HandleBlockEdge()
429 ExplodedNodeSet Dst; in HandleBranch()
441 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
452 ExplodedNodeSet Dst; in HandleStaticInit()
578 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
583 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
589 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) { in enqueueEndOfFunction()