| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 118 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 ExplodedNodeSet &Dst,
[all …]
|
| D | CoreEngine.h | 133 ExplodedNodeSet &Dst);
169 void enqueue(ExplodedNodeSet &Set);
173 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
177 void enqueueEndOfFunction(ExplodedNodeSet &Set);
223 ExplodedNodeSet &Frontier;
249 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
255 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
282 const ExplodedNodeSet &getResults() { in getResults()
288 typedef ExplodedNodeSet::iterator iterator;
303 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
[all …]
|
| D | SubEngine.h | 31 class ExplodedNodeSet; variable
71 ExplodedNodeSet &Dst,
80 ExplodedNodeSet &Dst,
|
| D | ExplodedGraph.h | 398 class ExplodedNodeSet {
403 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
408 ExplodedNodeSet() {} in ExplodedNodeSet() function
422 void insert(const ExplodedNodeSet &S) { in insert()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineObjC.cpp | 24 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 …]
|
| D | ExprEngineCXX.cpp | 27 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 …]
|
| D | ExprEngineC.cpp | 24 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 …]
|
| D | CheckerManager.cpp | 95 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 …]
|
| D | ExprEngine.cpp | 332 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
382 ExplodedNodeSet CheckedSet; in removeDead()
390 for (ExplodedNodeSet::const_iterator in removeDead()
425 ExplodedNodeSet CleanedStates; in ProcessStmt()
432 ExplodedNodeSet Dst; in ProcessStmt()
433 for (ExplodedNodeSet::iterator I = CleanedStates.begin(), in ProcessStmt()
435 ExplodedNodeSet DstI; in ProcessStmt()
462 ExplodedNodeSet Tmp(Pred); in ProcessInitializer()
518 ExplodedNodeSet Dst; in ProcessInitializer()
520 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E; ++I) { in ProcessInitializer()
[all …]
|
| D | ExprEngineCallAndReturn.cpp | 161 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 …]
|
| D | CoreEngine.cpp | 274 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
308 ExplodedNodeSet dstNodes; in HandleBlockEdge()
457 ExplodedNodeSet Dst; in HandleBranch()
469 ExplodedNodeSet Dst; in HandleStaticInit()
574 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
575 for (ExplodedNodeSet::iterator I = Set.begin(), in enqueue()
581 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
583 for (ExplodedNodeSet::iterator I = Set.begin(), in enqueue()
589 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set) { in enqueueEndOfFunction()
590 for (ExplodedNodeSet::iterator I = Set.begin(), E = Set.end(); I != E; ++I) { in enqueueEndOfFunction()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 40 class ExplodedNodeSet; variable
236 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
237 const ExplodedNodeSet &Src, in runCheckersForPreStmt()
249 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
250 const ExplodedNodeSet &Src,
259 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
264 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, in runCheckersForPreObjCMessage()
265 const ExplodedNodeSet &Src, in runCheckersForPreObjCMessage()
272 void runCheckersForPostObjCMessage(ExplodedNodeSet &Dst,
273 const ExplodedNodeSet &Src,
[all …]
|