Home
last modified time | relevance | path

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

/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDExprEngine.h118 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
145 void enqueueEndOfPath(ExplodedNodeSet &S);
187 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
206 ExplodedNode *Pred, ExplodedNodeSet &Dst);
208 ExplodedNode *Pred, ExplodedNodeSet &Dst);
210 ExplodedNode *Pred, ExplodedNodeSet &Dst);
212 ExplodedNode *Pred, ExplodedNodeSet &Dst);
214 ExplodedNode *Pred, ExplodedNodeSet &Dst);
226 ExplodedNodeSet &Dst,
235 ExplodedNode *Pred, ExplodedNodeSet &Dst,
[all …]
HDCoreEngine.h128 ExplodedNodeSet &Dst);
164 void enqueue(ExplodedNodeSet &Set);
168 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
172 void enqueueEndOfFunction(ExplodedNodeSet &Set);
218 ExplodedNodeSet &Frontier;
244 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
250 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
277 const ExplodedNodeSet &getResults() { in getResults()
283 typedef ExplodedNodeSet::iterator iterator;
298 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
[all …]
HDSubEngine.h31 class ExplodedNodeSet; variable
71 ExplodedNodeSet &Dst,
81 ExplodedNodeSet &Dst,
90 ExplodedNodeSet &Dst,
HDExplodedGraph.h397 class ExplodedNodeSet {
402 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
407 ExplodedNodeSet() {} in ExplodedNodeSet() function
421 void insert(const ExplodedNodeSet &S) { in insert()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
HDCheckerManager.h40 class ExplodedNodeSet; variable
183 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
184 const ExplodedNodeSet &Src, in runCheckersForPreStmt()
196 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
197 const ExplodedNodeSet &Src,
206 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
211 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, in runCheckersForPreObjCMessage()
212 const ExplodedNodeSet &Src, in runCheckersForPreObjCMessage()
219 void runCheckersForPostObjCMessage(ExplodedNodeSet &Dst,
220 const ExplodedNodeSet &Src,
[all …]
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDExprEngineObjC.cpp24 ExplodedNodeSet &Dst) { in VisitLvalObjCIvarRefExpr()
30 ExplodedNodeSet dstIvar; in VisitLvalObjCIvarRefExpr()
41 ExplodedNodeSet &Dst) { in VisitObjCAtSynchronizedStmt()
47 ExplodedNodeSet &Dst) { in VisitObjCForCollectionStmt()
87 ExplodedNodeSet dstLocation; in VisitObjCForCollectionStmt()
90 ExplodedNodeSet Tmp; in VisitObjCForCollectionStmt()
93 for (ExplodedNodeSet::iterator NI = dstLocation.begin(), in VisitObjCForCollectionStmt()
137 ExplodedNodeSet &Dst) { in VisitObjCMessage()
143 ExplodedNodeSet dstPrevisit; in VisitObjCMessage()
146 ExplodedNodeSet dstGenericPrevisit; in VisitObjCMessage()
[all …]
HDExprEngineCXX.cpp27 ExplodedNodeSet &Dst) { in CreateCXXTemporaryObject()
58 ExplodedNodeSet Dst; in performTrivialCopy()
74 for (ExplodedNodeSet::iterator I = Dst.begin(), E = Dst.end(); in performTrivialCopy()
179 ExplodedNodeSet &destNodes) { in VisitCXXConstructExpr()
238 ExplodedNodeSet DstPreVisit; in VisitCXXConstructExpr()
241 ExplodedNodeSet PreInitialized; in VisitCXXConstructExpr()
248 for (ExplodedNodeSet::iterator I = DstPreVisit.begin(), in VisitCXXConstructExpr()
271 ExplodedNodeSet DstPreCall; in VisitCXXConstructExpr()
275 ExplodedNodeSet DstEvaluated; in VisitCXXConstructExpr()
283 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end(); in VisitCXXConstructExpr()
[all …]
HDExprEngineC.cpp24 ExplodedNodeSet &Dst) { in VisitBinaryOperator()
30 ExplodedNodeSet CheckedSet; in VisitBinaryOperator()
31 ExplodedNodeSet Tmp2; in VisitBinaryOperator()
35 for (ExplodedNodeSet::iterator it=CheckedSet.begin(), ei=CheckedSet.end(); in VisitBinaryOperator()
123 ExplodedNodeSet Tmp; in VisitBinaryOperator()
127 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E; in VisitBinaryOperator()
188 ExplodedNodeSet &Dst) { in VisitBlockExpr()
217 ExplodedNodeSet Tmp; in VisitBlockExpr()
228 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast()
230 ExplodedNodeSet dstPreStmt; in VisitCast()
[all …]
HDCheckerManager.cpp95 ExplodedNodeSet &Dst, in expandGraphWithCheckers()
96 const ExplodedNodeSet &Src) { in expandGraphWithCheckers()
108 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers()
109 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers()
112 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers()
121 for (ExplodedNodeSet::iterator NI = PrevSet->begin(), NE = PrevSet->end(); in expandGraphWithCheckers()
167 ExplodedNodeSet &Dst, in runCheckersForStmt()
168 const ExplodedNodeSet &Src, in runCheckersForStmt()
206 ExplodedNodeSet &Dst, in runCheckersForObjCMessage()
207 const ExplodedNodeSet &Src, in runCheckersForObjCMessage()
[all …]
HDExprEngine.cpp341 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
391 ExplodedNodeSet CheckedSet; in removeDead()
399 for (ExplodedNodeSet::const_iterator in removeDead()
434 ExplodedNodeSet CleanedStates; in ProcessStmt()
441 ExplodedNodeSet Dst; in ProcessStmt()
442 for (ExplodedNodeSet::iterator I = CleanedStates.begin(), in ProcessStmt()
444 ExplodedNodeSet DstI; in ProcessStmt()
471 ExplodedNodeSet Tmp(Pred); in ProcessInitializer()
527 ExplodedNodeSet Dst; in ProcessInitializer()
529 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E; ++I) { in ProcessInitializer()
[all …]
HDExprEngineCallAndReturn.cpp161 ExplodedNodeSet &Dst) { in removeDeadOnEndOfFunction()
283 ExplodedNodeSet CleanedNodes; in processCallExit()
307 for (ExplodedNodeSet::iterator I = CleanedNodes.begin(), in processCallExit()
330 ExplodedNodeSet DstPostCall; in processCallExit()
335 ExplodedNodeSet Dst; in processCallExit()
348 for (ExplodedNodeSet::iterator PSI = Dst.begin(), PSE = Dst.end(); in processCallExit()
483 ExplodedNodeSet &dst) { in VisitCallExpr()
485 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
496 ExplodedNodeSet dstCallEvaluated; in VisitCallExpr()
497 for (ExplodedNodeSet::iterator I = dstPreVisit.begin(), E = dstPreVisit.end(); in VisitCallExpr()
[all …]
HDCoreEngine.cpp275 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
309 ExplodedNodeSet dstNodes; in HandleBlockEdge()
463 ExplodedNodeSet Dst; in HandleBranch()
475 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
486 ExplodedNodeSet Dst; in HandleStaticInit()
591 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
592 for (ExplodedNodeSet::iterator I = Set.begin(), in enqueue()
598 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
600 for (ExplodedNodeSet::iterator I = Set.begin(), in enqueue()
606 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set) { in enqueueEndOfFunction()
[all …]