| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 119 ExplodedNodeSet &Dst) {
146 void enqueueEndOfPath(ExplodedNodeSet &S);
188 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
205 ExplodedNode *Pred, ExplodedNodeSet &Dst);
207 ExplodedNode *Pred, ExplodedNodeSet &Dst);
209 ExplodedNode *Pred, ExplodedNodeSet &Dst);
211 ExplodedNode *Pred, ExplodedNodeSet &Dst);
223 ExplodedNodeSet &Dst,
243 ExplodedNodeSet &Dst);
303 void Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst)
[all...] |
| CoreEngine.h | 129 ExplodedNodeSet &Dst);
165 void enqueue(ExplodedNodeSet &Set);
169 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
173 void enqueueEndOfFunction(ExplodedNodeSet &Set);
219 ExplodedNodeSet &Frontier;
245 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
251 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
278 const ExplodedNodeSet &getResults() {
284 typedef ExplodedNodeSet::iterator iterator
[all...] |
| SubEngine.h | 31 class ExplodedNodeSet;
71 ExplodedNodeSet &Dst,
|
| ExplodedGraph.h | 394 class ExplodedNodeSet {
399 ExplodedNodeSet(ExplodedNode *N) {
404 ExplodedNodeSet() {}
418 void insert(const ExplodedNodeSet &S) {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineObjC.cpp | 24 ExplodedNodeSet &Dst) {
30 ExplodedNodeSet dstIvar;
41 ExplodedNodeSet &Dst) {
47 ExplodedNodeSet &Dst) {
87 ExplodedNodeSet dstLocation;
90 ExplodedNodeSet Tmp;
93 for (ExplodedNodeSet::iterator NI = dstLocation.begin(),
137 ExplodedNodeSet &Dst) {
143 ExplodedNodeSet dstPrevisit;
146 ExplodedNodeSet dstGenericPrevisit
[all...] |
| ExprEngineCXX.cpp | 27 ExplodedNodeSet &Dst) {
72 ExplodedNodeSet Dst;
88 for (ExplodedNodeSet::iterator I = Dst.begin(), E = Dst.end();
101 ExplodedNodeSet &destNodes) {
196 ExplodedNodeSet DstPreVisit;
198 ExplodedNodeSet DstPreCall;
202 ExplodedNodeSet DstEvaluated;
209 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end();
214 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end();
219 ExplodedNodeSet DstPostCall
[all...] |
| ExprEngineC.cpp | 24 ExplodedNodeSet &Dst) {
30 ExplodedNodeSet CheckedSet;
31 ExplodedNodeSet Tmp2;
35 for (ExplodedNodeSet::iterator it=CheckedSet.begin(), ei=CheckedSet.end();
114 ExplodedNodeSet Tmp;
118 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E;
179 ExplodedNodeSet &Dst) {
207 ExplodedNodeSet Tmp;
218 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
220 ExplodedNodeSet dstPreStmt
[all...] |
| CheckerManager.cpp | 95 ExplodedNodeSet &Dst,
96 const ExplodedNodeSet &Src) {
108 ExplodedNodeSet Tmp1, Tmp2;
109 const ExplodedNodeSet *PrevSet = &Src;
112 ExplodedNodeSet *CurrSet = 0;
121 for (ExplodedNodeSet::iterator NI = PrevSet->begin(), NE = PrevSet->end();
167 ExplodedNodeSet &Dst,
168 const ExplodedNodeSet &Src,
206 ExplodedNodeSet &Dst,
207 const ExplodedNodeSet &Src
[all...] |
| ExprEngine.cpp | 296 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out,
346 ExplodedNodeSet CheckedSet;
354 for (ExplodedNodeSet::const_iterator
389 ExplodedNodeSet CleanedStates;
396 ExplodedNodeSet Dst;
397 for (ExplodedNodeSet::iterator I = CleanedStates.begin(),
399 ExplodedNodeSet DstI;
427 ExplodedNodeSet Tmp(Pred);
453 ExplodedNodeSet Dst;
455 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E; ++I)
[all...] |
| ExprEngineCallAndReturn.cpp | 158 ExplodedNodeSet &Dst) {
280 ExplodedNodeSet CleanedNodes;
304 for (ExplodedNodeSet::iterator I = CleanedNodes.begin(),
327 ExplodedNodeSet DstPostCall;
332 ExplodedNodeSet Dst;
345 for (ExplodedNodeSet::iterator PSI = Dst.begin(), PSE = Dst.end();
480 ExplodedNodeSet &dst) {
482 ExplodedNodeSet dstPreVisit;
493 ExplodedNodeSet dstCallEvaluated;
494 for (ExplodedNodeSet::iterator I = dstPreVisit.begin(), E = dstPreVisit.end()
[all...] |
| CoreEngine.cpp | 274 ExplodedNodeSet &Dst) {
308 ExplodedNodeSet dstNodes;
452 ExplodedNodeSet Dst;
551 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
552 for (ExplodedNodeSet::iterator I = Set.begin(),
558 void CoreEngine::enqueue(ExplodedNodeSet &Set,
560 for (ExplodedNodeSet::iterator I = Set.begin(),
566 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set) {
567 for (ExplodedNodeSet::iterator I = Set.begin(), E = Set.end(); I != E; ++I) {
608 for (ExplodedNodeSet::iterator I = Frontier.begin()
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 40 class ExplodedNodeSet;
195 void runCheckersForPreStmt(ExplodedNodeSet &Dst,
196 const ExplodedNodeSet &Src,
208 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
209 const ExplodedNodeSet &Src,
218 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
223 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst,
224 const ExplodedNodeSet &Src,
231 void runCheckersForPostObjCMessage(ExplodedNodeSet &Dst
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| IdempotentOperationChecker.cpp | 104 ExplodedNodeSet explodedNodes; // Set of ExplodedNodes that refer to a
357 const ExplodedNodeSet &ES = Data.explodedNodes;
419 for (ExplodedNodeSet::iterator I = ES.begin(), E = ES.end(); I != E; ++I) {
|
