| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ExprInspectionChecker.cpp | 34 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
161 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
167 if (!SymReaper.isDead(Sym))
|
| H A D | SimpleStreamChecker.cpp | 79 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
184 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
192 bool IsSymDead = SymReaper.isDead(Sym);
|
| H A D | StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
397 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
400 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(),
401 E = SymReaper.dead_end(); I != E; ++I) {
|
| H A D | MallocChecker.cpp | 205 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
2118 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
2121 if (!SymReaper.hasDeadSymbols())
2130 if (SymReaper.isDead(I->first)) {
2142 if (SymReaper.isDead(I->first) ||
2143 SymReaper.isDead(I->second.ReallocatedSym)) {
2151 if (SymReaper.isDead(I->first) ||
2152 SymReaper.isDead(I->second)) {
|
| H A D | RetainCountChecker.cpp | 2651 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
3916 void RetainCountChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
3925 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(),
3926 E = SymReaper.dead_end(); I != E; ++I) {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | Environment.cpp | 125 SymbolReaper &SymReaper; member in class:__anon1751::final
127 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {}
129 SymReaper.markLive(sym);
133 SymReaper.markLive(R);
148 SymbolReaper &SymReaper,
156 MarkLiveCallback CB(SymReaper);
170 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) {
180 SymReaper.maybeDead(*SI);
147 removeDeadBindings(Environment Env, SymbolReaper &SymReaper, ProgramStateRef ST) argument
|
| H A D | RangeConstraintManager.cpp | 337 SymbolReaper& SymReaper) override;
401 SymbolReaper& SymReaper) {
408 if (SymReaper.maybeDead(sym))
400 removeDeadBindings(ProgramStateRef state, SymbolReaper& SymReaper) argument
|
| H A D | CheckerManager.cpp | 440 SymbolReaper &SymReaper) {
442 LiveSymbolsCheckers[i](state, SymReaper);
479 SymbolReaper &SymReaper,
483 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K);
439 runCheckersForLiveSymbols(ProgramStateRef state, SymbolReaper &SymReaper) argument
477 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument
|
| H A D | ProgramState.cpp | 92 SymbolReaper& SymReaper) {
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
106 SymReaper);
108 SymReaper.setReapedStore(newStore);
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper);
90 removeDeadBindings(ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument
|
| H A D | RegionStore.cpp | 557 SymbolReaper& SymReaper) override;
2276 SymbolReaper &SymReaper; member in class:__anon1765::removeDeadBindingsWorker
2285 SymReaper(symReaper), CurrentLCtx(LCtx) {}
2310 if (SymReaper.isLive(VR))
2317 if (SymReaper.isLive(SR->getSymbol()))
2349 SymReaper.markLive(SymR->getSymbol());
2353 SymReaper.markElementIndicesLive(I.getKey().getRegion());
2377 SymReaper.markLive(R);
2392 SymReaper.markLive(*SI);
2403 if (SymReaper
2413 removeDeadBindings(Store store, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument
[all...] |