/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BasicObjCFoundationChecks.cpp | 852 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 1157 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 1166 if (SymReaper.isDead(Sym)) {
|
H A D | MallocChecker.cpp | 185 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 1800 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 1803 if (!SymReaper.hasDeadSymbols()) 1812 if (SymReaper.isDead(I->first)) { 1824 if (SymReaper.isDead(I->first) || 1825 SymReaper.isDead(I->second.ReallocatedSym)) { 1833 if (SymReaper.isDead(I->first) || 1834 SymReaper.isDead(I->second)) {
|
H A D | RetainCountChecker.cpp | 2591 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 3734 void RetainCountChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 3743 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), 3744 E = SymReaper.dead_end(); I != E; ++I) {
|
H A D | SimpleStreamChecker.cpp | 80 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 185 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 193 bool IsSymDead = SymReaper.isDead(Sym);
|
H A D | StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 399 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 402 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), 403 E = SymReaper.dead_end(); I != E; ++I) {
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | CheckerManager.cpp | 413 SymbolReaper &SymReaper) { 415 LiveSymbolsCheckers[i](state, SymReaper); 452 SymbolReaper &SymReaper, 456 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); 412 runCheckersForLiveSymbols(ProgramStateRef state, SymbolReaper &SymReaper) argument 450 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument
|
H A D | Environment.cpp | 124 SymbolReaper &SymReaper; member in class:__anon18270::MarkLiveCallback 126 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} 128 SymReaper.markLive(sym); 132 SymReaper.markLive(R); 147 SymbolReaper &SymReaper, 155 MarkLiveCallback CB(SymReaper); 169 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { 175 SymReaper.markLive(R->getRegion()); 183 SymReaper.maybeDead(*SI); 146 removeDeadBindings(Environment Env, SymbolReaper &SymReaper, ProgramStateRef ST) 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 | RangeConstraintManager.cpp | 320 SymbolReaper& SymReaper) override; 370 SymbolReaper& SymReaper) { 377 if (SymReaper.maybeDead(sym)) 369 removeDeadBindings(ProgramStateRef state, SymbolReaper& SymReaper) argument
|
H A D | RegionStore.cpp | 563 SymbolReaper& SymReaper) override; 2179 SymbolReaper &SymReaper; member in class:__anon18284::removeDeadBindingsWorker 2188 SymReaper(symReaper), CurrentLCtx(LCtx) {} 2204 if (SymReaper.isLive(VR)) 2211 if (SymReaper.isLive(SR->getSymbol())) 2243 SymReaper.markLive(SymR->getSymbol()); 2281 SymReaper.markLive(*SI); 2292 if (SymReaper.isLive(SR->getSymbol())) { 2304 SymbolReaper& SymReaper) { 2306 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCt 2302 removeDeadBindings(Store store, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument [all...] |