Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h204 void enqueueEndOfPath(ExplodedNodeSet &S);
299 ExplodedNodeSet &Dst,
417 ExplodedNodeSet &Dst);
421 ExplodedNodeSet &Dst);
434 ExplodedNodeSet &Dst);
438 ExplodedNodeSet &Dst);
450 ExplodedNodeSet &Dst);
544 void evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src,
633 void evalLoad(ExplodedNodeSet &Dst,
676 void evalLoadCommon(ExplodedNodeSet &Dst,
[all …]
H A DCoreEngine.h145 ExplodedNodeSet &Dst);
184 void enqueue(ExplodedNodeSet &Set);
242 ExplodedNodeSet &Frontier;
265 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
271 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
298 const ExplodedNodeSet &getResults() { in getResults()
304 using iterator = ExplodedNodeSet::iterator;
321 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
327 void addNodes(const ExplodedNodeSet &S) { Frontier.insert(S); } in addNodes()
385 StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
[all …]
H A DSubEngine.h35 class ExplodedNodeSet; variable
78 ExplodedNodeSet &Dst,
88 ExplodedNodeSet &Dst,
97 ExplodedNodeSet &Dst,
113 ExplodedNodeSet &Dst,
H A DExplodedGraph.h422 class ExplodedNodeSet {
427 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
432 ExplodedNodeSet() = default;
447 void insert(const ExplodedNodeSet &S) { in insert()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h47 class ExplodedNodeSet; variable
190 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
203 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
213 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
246 ExplodedNodeSet &Dst,
252 void runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, in runCheckersForPreCall()
258 void runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
272 void runCheckersForLocation(ExplodedNodeSet &Dst,
281 void runCheckersForBind(ExplodedNodeSet &Dst,
282 const ExplodedNodeSet &Src,
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp30 ExplodedNodeSet dstIvar; in VisitLvalObjCIvarRefExpr()
131 ExplodedNodeSet dstLocation; in VisitObjCForCollectionStmt()
134 ExplodedNodeSet Tmp; in VisitObjCForCollectionStmt()
200 ExplodedNodeSet dstNil; in VisitObjCMessage()
210 ExplodedNodeSet dstPostCheckers; in VisitObjCMessage()
218 ExplodedNodeSet dstNonNil; in VisitObjCMessage()
234 ExplodedNodeSet dstPrevisit; in VisitObjCMessage()
237 ExplodedNodeSet dstGenericPrevisit; in VisitObjCMessage()
242 ExplodedNodeSet dstEval; in VisitObjCMessage()
276 ExplodedNodeSet dstArgCleanup; in VisitObjCMessage()
[all …]
H A DExprEngineCXX.cpp71 ExplodedNodeSet Dst; in performTrivialCopy()
487 ExplodedNodeSet DstPrepare; in VisitCXXConstructExpr()
500 ExplodedNodeSet DstPreVisit; in VisitCXXConstructExpr()
532 ExplodedNodeSet DstPreCall; in VisitCXXConstructExpr()
536 ExplodedNodeSet DstEvaluated; in VisitCXXConstructExpr()
593 ExplodedNodeSet DstPostCall; in VisitCXXConstructExpr()
622 ExplodedNodeSet DstPreCall; in VisitCXXDestructor()
632 ExplodedNodeSet DstPostCall; in VisitCXXDestructor()
649 ExplodedNodeSet DstPreCall; in VisitCXXNewAllocatorCall()
653 ExplodedNodeSet DstPostCall; in VisitCXXNewAllocatorCall()
[all …]
H A DCheckerManager.cpp102 ExplodedNodeSet &Dst, in expandGraphWithCheckers()
103 const ExplodedNodeSet &Src) { in expandGraphWithCheckers()
115 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers()
116 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers()
119 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers()
175 ExplodedNodeSet &Dst, in runCheckersForStmt()
383 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst, in runCheckersForBind()
430 ExplodedNodeSet Src; in runCheckersForBeginFunction()
488 ExplodedNodeSet Src; in runCheckersForBranchCondition()
526 ExplodedNodeSet Src; in runCheckersForNewAllocator()
[all …]
H A DExprEngineC.cpp49 ExplodedNodeSet CheckedSet; in VisitBinaryOperator()
50 ExplodedNodeSet Tmp2; in VisitBinaryOperator()
129 ExplodedNodeSet Tmp; in VisitBinaryOperator()
246 ExplodedNodeSet Tmp; in VisitBlockExpr()
837 ExplodedNodeSet EvalSet; in VisitUnaryExprOrTypeTraitExpr()
895 ExplodedNodeSet EvalSet; in VisitUnaryOperator()
903 ExplodedNodeSet Tmp; in VisitUnaryOperator()
1037 ExplodedNodeSet Tmp; in VisitIncrementDecrementOperator()
1040 ExplodedNodeSet Dst2; in VisitIncrementDecrementOperator()
1054 ExplodedNodeSet Dst3; in VisitIncrementDecrementOperator()
[all …]
H A DExprEngine.cpp736 ExplodedNodeSet Dst; in ProcessStmt()
752 ExplodedNodeSet Dst; in ProcessLoopExit()
783 ExplodedNodeSet Tmp; in ProcessInitializer()
843 ExplodedNodeSet Dst; in ProcessInitializer()
856 ExplodedNodeSet Dst; in ProcessImplicitDtor()
883 ExplodedNodeSet Dst; in ProcessNewAllocator()
1151 ExplodedNodeSet Dst; in Visit()
2263 ExplodedNodeSet Dst; in processEndOfFunction()
2775 ExplodedNodeSet Tmp; in evalStore()
2800 ExplodedNodeSet Tmp; in evalLoad()
[all …]
H A DExprEngineCallAndReturn.cpp65 ExplodedNodeSet DstBegin; in processCallEnter()
278 ExplodedNodeSet CleanedNodes; in processCallExit()
326 ExplodedNodeSet DstPostCall; in processCallExit()
328 ExplodedNodeSet DstPostPostCallCallback; in processCallExit()
345 ExplodedNodeSet Dst; in processCallExit()
482 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
493 ExplodedNodeSet dstCallEvaluated; in VisitCallExpr()
561 ExplodedNodeSet dstPreVisit; in evalCall()
568 ExplodedNodeSet dstCallEvaluated; in evalCall()
574 ExplodedNodeSet dstArgumentCleanup; in evalCall()
[all …]
H A DCoreEngine.cpp116 ExplodedNodeSet DstBegin; in ExecuteWorkList()
201 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
245 ExplodedNodeSet dstNodes; in HandleBlockEdge()
400 ExplodedNodeSet Dst; in HandleBranch()
412 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
423 ExplodedNodeSet Dst; in HandleStaticInit()
526 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
531 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
537 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) { in enqueueEndOfFunction()