| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Environment.cpp | 124 SymbolReaper &SymReaper; member in __anon227ce7860111::MarkLiveCallback
126 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
128 SymReaper.markLive(sym); in VisitSymbol()
132 SymReaper.markLive(R); in VisitMemRegion()
147 SymbolReaper &SymReaper, in removeDeadBindings() argument
155 MarkLiveCallback CB(SymReaper); in removeDeadBindings()
169 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { in removeDeadBindings()
175 SymReaper.markLive(R->getRegion()); in removeDeadBindings()
183 SymReaper.maybeDead(*SI); in removeDeadBindings()
|
| D | RegionStore.cpp | 563 SymbolReaper& SymReaper) override;
2180 SymbolReaper &SymReaper; member in __anon53e1adc20811::removeDeadBindingsWorker
2189 SymReaper(symReaper), CurrentLCtx(LCtx) {} in removeDeadBindingsWorker()
2205 if (SymReaper.isLive(VR)) in VisitAddedToCluster()
2212 if (SymReaper.isLive(SR->getSymbol())) in VisitAddedToCluster()
2244 SymReaper.markLive(SymR->getSymbol()); in VisitCluster()
2282 SymReaper.markLive(*SI); in VisitBinding()
2293 if (SymReaper.isLive(SR->getSymbol())) { in UpdatePostponed()
2305 SymbolReaper& SymReaper) { in removeDeadBindings() argument
2307 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx); in removeDeadBindings()
[all …]
|
| D | ProgramState.cpp | 92 SymbolReaper& SymReaper) { in removeDeadBindings() argument
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindings()
106 SymReaper); in removeDeadBindings()
108 SymReaper.setReapedStore(newStore); in removeDeadBindings()
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper); in removeDeadBindings()
|
| D | CheckerManager.cpp | 413 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols() argument
415 LiveSymbolsCheckers[i](state, SymReaper); in runCheckersForLiveSymbols()
452 SymbolReaper &SymReaper, in runCheckersForDeadSymbols() argument
456 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); in runCheckersForDeadSymbols()
|
| D | RangeConstraintManager.cpp | 320 SymbolReaper& SymReaper) override;
370 SymbolReaper& SymReaper) { in removeDeadBindings() argument
377 if (SymReaper.maybeDead(sym)) in removeDeadBindings()
|
| D | ExprEngine.cpp | 369 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead() local
371 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); in removeDead()
376 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
381 if (!SymReaper.hasDeadSymbols()) { in removeDead()
392 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
405 SymReaper); in removeDead()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | SimpleStreamChecker.cpp | 79 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
184 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
192 bool IsSymDead = SymReaper.isDead(Sym); in checkDeadSymbols()
|
| D | StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
399 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
402 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
403 E = SymReaper.dead_end(); I != E; ++I) { in checkDeadSymbols()
|
| D | MallocChecker.cpp | 205 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
2110 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
2113 if (!SymReaper.hasDeadSymbols()) in checkDeadSymbols()
2122 if (SymReaper.isDead(I->first)) { in checkDeadSymbols()
2134 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2135 SymReaper.isDead(I->second.ReallocatedSym)) { in checkDeadSymbols()
2143 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2144 SymReaper.isDead(I->second)) { in checkDeadSymbols()
|
| D | BasicObjCFoundationChecks.cpp | 852 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1157 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1166 if (SymReaper.isDead(Sym)) { in checkDeadSymbols()
|
| D | RetainCountChecker.cpp | 2627 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
3862 void RetainCountChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
3871 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
3872 E = SymReaper.dead_end(); I != E; ++I) { in checkDeadSymbols()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Environment.h | 119 SymbolReaper &SymReaper,
|
| D | ConstraintManager.h | 113 SymbolReaper& SymReaper) = 0;
|
| D | Store.h | 145 SymbolReaper& SymReaper) = 0;
|
| D | ProgramState.h | 515 SymbolReaper& SymReaper);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 292 SymbolReaper &SymReaper);
301 SymbolReaper &SymReaper, const Stmt *S,
|