Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.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 …]
DCoreEngine.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 …]
DSubEngine.h31 class ExplodedNodeSet; variable
71 ExplodedNodeSet &Dst,
81 ExplodedNodeSet &Dst,
90 ExplodedNodeSet &Dst,
DExplodedGraph.h397 class ExplodedNodeSet {
402 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
407 ExplodedNodeSet() {} in ExplodedNodeSet() function
421 void insert(const ExplodedNodeSet &S) { in insert()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h40 class ExplodedNodeSet; variable
188 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
189 const ExplodedNodeSet &Src, in runCheckersForPreStmt()
201 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
202 const ExplodedNodeSet &Src,
211 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
216 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, in runCheckersForPreObjCMessage()
217 const ExplodedNodeSet &Src, in runCheckersForPreObjCMessage()
224 void runCheckersForPostObjCMessage(ExplodedNodeSet &Dst,
225 const ExplodedNodeSet &Src,
[all …]
/external/clang/lib/StaticAnalyzer/Core/
DExprEngineObjC.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()
197 ExplodedNodeSet dstNonNil; in VisitObjCMessage()
213 ExplodedNodeSet dstPrevisit; in VisitObjCMessage()
[all …]
DExprEngineCXX.cpp27 ExplodedNodeSet &Dst) { in CreateCXXTemporaryObject()
58 ExplodedNodeSet Dst; in performTrivialCopy()
74 for (ExplodedNodeSet::iterator I = Dst.begin(), E = Dst.end(); in performTrivialCopy()
235 ExplodedNodeSet &destNodes) { in VisitCXXConstructExpr()
294 ExplodedNodeSet DstPreVisit; in VisitCXXConstructExpr()
297 ExplodedNodeSet PreInitialized; in VisitCXXConstructExpr()
304 for (ExplodedNodeSet::iterator I = DstPreVisit.begin(), in VisitCXXConstructExpr()
327 ExplodedNodeSet DstPreCall; in VisitCXXConstructExpr()
331 ExplodedNodeSet DstEvaluated; in VisitCXXConstructExpr()
339 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end(); in VisitCXXConstructExpr()
[all …]
DExprEngineC.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()
239 ExplodedNodeSet Tmp; in VisitBlockExpr()
250 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast()
252 ExplodedNodeSet dstPreStmt; in VisitCast()
[all …]
DCheckerManager.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()
222 ExplodedNodeSet &Dst, in runCheckersForObjCMessage()
223 const ExplodedNodeSet &Src, in runCheckersForObjCMessage()
[all …]
DExprEngine.cpp342 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
392 ExplodedNodeSet CheckedSet; in removeDead()
400 for (ExplodedNodeSet::const_iterator in removeDead()
435 ExplodedNodeSet CleanedStates; in ProcessStmt()
442 ExplodedNodeSet Dst; in ProcessStmt()
443 for (ExplodedNodeSet::iterator I = CleanedStates.begin(), in ProcessStmt()
445 ExplodedNodeSet DstI; in ProcessStmt()
472 ExplodedNodeSet Tmp(Pred); in ProcessInitializer()
532 ExplodedNodeSet Dst; in ProcessInitializer()
534 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E; ++I) { in ProcessInitializer()
[all …]
DExprEngineCallAndReturn.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()
484 ExplodedNodeSet &dst) { in VisitCallExpr()
486 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
497 ExplodedNodeSet dstCallEvaluated; in VisitCallExpr()
498 for (ExplodedNodeSet::iterator I = dstPreVisit.begin(), E = dstPreVisit.end(); in VisitCallExpr()
[all …]
DCoreEngine.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 …]