/external/clang/lib/StaticAnalyzer/Core/ |
H A D | Environment.cpp | 123 SymbolReaper &SymReaper; member in class:__anon16510::MarkLiveCallback 125 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} 127 SymReaper.markLive(sym); 131 SymReaper.markLive(R); 146 SymbolReaper &SymReaper, 154 MarkLiveCallback CB(SymReaper); 168 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { 174 SymReaper.markLive(R->getRegion()); 182 SymReaper.maybeDead(*SI); 145 removeDeadBindings(Environment Env, SymbolReaper &SymReaper, ProgramStateRef ST) argument
|
H A D | RegionStore.cpp | 561 SymbolReaper& SymReaper); 2181 SymbolReaper &SymReaper; member in class:__anon16525::removeDeadBindingsWorker 2190 SymReaper(symReaper), CurrentLCtx(LCtx) {} 2206 if (SymReaper.isLive(VR)) 2213 if (SymReaper.isLive(SR->getSymbol())) 2245 SymReaper.markLive(SymR->getSymbol()); 2283 SymReaper.markLive(*SI); 2294 if (SymReaper.isLive(SR->getSymbol())) { 2306 SymbolReaper& SymReaper) { 2308 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCt 2304 removeDeadBindings(Store store, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument [all...] |
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 | 318 ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper); 368 SymbolReaper& SymReaper) { 375 if (SymReaper.maybeDead(sym)) 367 removeDeadBindings(ProgramStateRef state, SymbolReaper& SymReaper) argument
|
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 | ExprEngine.cpp | 353 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); 355 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); 360 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); 365 if (!SymReaper.hasDeadSymbols()) { 376 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, 389 SymReaper);
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 113 SymbolReaper& SymReaper) = 0;
|
H A D | Environment.h | 120 SymbolReaper &SymReaper,
|
H A D | Store.h | 145 SymbolReaper& SymReaper) = 0;
|
H A D | ProgramState.h | 515 SymbolReaper& SymReaper);
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
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 | 75 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 395 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 398 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), 399 E = SymReaper.dead_end(); I != E; ++I) {
|
H A D | BasicObjCFoundationChecks.cpp | 808 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 1047 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 1056 if (SymReaper.isDead(Sym))
|
H A D | MallocChecker.cpp | 190 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 1629 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 1632 if (!SymReaper.hasDeadSymbols()) 1641 if (SymReaper.isDead(I->first)) { 1653 if (SymReaper.isDead(I->first) || 1654 SymReaper.isDead(I->second.ReallocatedSym)) { 1662 if (SymReaper.isDead(I->first) || 1663 SymReaper.isDead(I->second)) {
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 324 SymbolReaper &SymReaper); 333 SymbolReaper &SymReaper, const Stmt *S,
|