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.h131 ExplodedNodeSet &Dst);
167 void enqueue(ExplodedNodeSet &Set);
171 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
175 void enqueueEndOfFunction(ExplodedNodeSet &Set);
221 ExplodedNodeSet &Frontier;
247 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
253 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
280 const ExplodedNodeSet &getResults() { in getResults()
286 typedef ExplodedNodeSet::iterator iterator;
301 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
[all …]
DSubEngine.h31 class ExplodedNodeSet; variable
71 ExplodedNodeSet &Dst,
81 ExplodedNodeSet &Dst,
90 ExplodedNodeSet &Dst,
106 ExplodedNodeSet &Dst,
DExplodedGraph.h407 class ExplodedNodeSet {
412 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
417 ExplodedNodeSet() {} in ExplodedNodeSet() function
431 void insert(const ExplodedNodeSet &S) { in insert()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h41 class ExplodedNodeSet; variable
187 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
188 const ExplodedNodeSet &Src, in runCheckersForPreStmt()
200 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
201 const ExplodedNodeSet &Src,
210 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
215 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, in runCheckersForPreObjCMessage()
216 const ExplodedNodeSet &Src, in runCheckersForPreObjCMessage()
223 void runCheckersForPostObjCMessage(ExplodedNodeSet &Dst,
224 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 …]
DExprEngine.cpp343 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
393 ExplodedNodeSet CheckedSet; in removeDead()
401 for (ExplodedNodeSet::const_iterator in removeDead()
436 ExplodedNodeSet CleanedStates; in ProcessStmt()
443 ExplodedNodeSet Dst; in ProcessStmt()
444 for (ExplodedNodeSet::iterator I = CleanedStates.begin(), in ProcessStmt()
446 ExplodedNodeSet DstI; in ProcessStmt()
473 ExplodedNodeSet Tmp(Pred); in ProcessInitializer()
533 ExplodedNodeSet Dst; in ProcessInitializer()
535 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E; ++I) { in ProcessInitializer()
[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 …]
DExprEngineCallAndReturn.cpp65 ExplodedNodeSet DstBegin; in processCallEnter()
164 ExplodedNodeSet &Dst) { in removeDeadOnEndOfFunction()
286 ExplodedNodeSet CleanedNodes; in processCallExit()
310 for (ExplodedNodeSet::iterator I = CleanedNodes.begin(), in processCallExit()
333 ExplodedNodeSet DstPostCall; in processCallExit()
338 ExplodedNodeSet Dst; in processCallExit()
351 for (ExplodedNodeSet::iterator PSI = Dst.begin(), PSE = Dst.end(); in processCallExit()
471 ExplodedNodeSet &dst) { in VisitCallExpr()
473 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
484 ExplodedNodeSet dstCallEvaluated; in VisitCallExpr()
[all …]
DCoreEngine.cpp203 ExplodedNodeSet DstBegin; in ExecuteWorkList()
287 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
321 ExplodedNodeSet dstNodes; in HandleBlockEdge()
480 ExplodedNodeSet Dst; in HandleBranch()
492 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
503 ExplodedNodeSet Dst; in HandleStaticInit()
608 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
609 for (ExplodedNodeSet::iterator I = Set.begin(), in enqueue()
615 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
617 for (ExplodedNodeSet::iterator I = Set.begin(), in enqueue()
[all …]