| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Environment.cpp | 125 SymbolReaper &SymReaper; member in __anon5443c08b0111::MarkLiveCallback
127 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
129 SymReaper.markLive(sym); in VisitSymbol()
133 SymReaper.markLive(R); in VisitMemRegion()
148 SymbolReaper &SymReaper, in removeDeadBindings() argument
156 MarkLiveCallback CB(SymReaper); in removeDeadBindings()
170 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { in removeDeadBindings()
180 SymReaper.maybeDead(*SI); in removeDeadBindings()
|
| D | RegionStore.cpp | 557 SymbolReaper& SymReaper) override;
2276 SymbolReaper &SymReaper; member in __anon85a886c70811::removeDeadBindingsWorker
2285 SymReaper(symReaper), CurrentLCtx(LCtx) {} in removeDeadBindingsWorker()
2310 if (SymReaper.isLive(VR)) in VisitAddedToCluster()
2317 if (SymReaper.isLive(SR->getSymbol())) in VisitAddedToCluster()
2349 SymReaper.markLive(SymR->getSymbol()); in VisitCluster()
2353 SymReaper.markElementIndicesLive(I.getKey().getRegion()); in VisitCluster()
2377 SymReaper.markLive(R); in VisitBinding()
2392 SymReaper.markLive(*SI); in VisitBinding()
2403 if (SymReaper.isLive(SR->getSymbol())) { in UpdatePostponed()
[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 | 440 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols() argument
442 LiveSymbolsCheckers[i](state, SymReaper); in runCheckersForLiveSymbols()
479 SymbolReaper &SymReaper, in runCheckersForDeadSymbols() argument
483 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); in runCheckersForDeadSymbols()
|
| D | RangeConstraintManager.cpp | 337 SymbolReaper& SymReaper) override;
401 SymbolReaper& SymReaper) { in removeDeadBindings() argument
408 if (SymReaper.maybeDead(sym)) in removeDeadBindings()
|
| D | ExprEngine.cpp | 370 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead() local
372 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); in removeDead()
377 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
382 if (!SymReaper.hasDeadSymbols()) { in removeDead()
393 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
406 SymReaper); in removeDead()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ExprInspectionChecker.cpp | 34 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
161 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
167 if (!SymReaper.isDead(Sym)) in checkDeadSymbols()
|
| 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;
397 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
400 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
401 E = SymReaper.dead_end(); I != E; ++I) { in checkDeadSymbols()
|
| D | MallocChecker.cpp | 205 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
2118 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
2121 if (!SymReaper.hasDeadSymbols()) in checkDeadSymbols()
2130 if (SymReaper.isDead(I->first)) { in checkDeadSymbols()
2142 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2143 SymReaper.isDead(I->second.ReallocatedSym)) { in checkDeadSymbols()
2151 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2152 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 | 2651 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
3916 void RetainCountChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
3925 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
3926 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 | 142 SymbolReaper& SymReaper) = 0;
|
| D | Store.h | 145 SymbolReaper& SymReaper) = 0;
|
| D | ProgramState.h | 522 SymbolReaper& SymReaper);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 307 SymbolReaper &SymReaper);
316 SymbolReaper &SymReaper, const Stmt *S,
|