/external/clang/lib/StaticAnalyzer/Core/ |
Environment.cpp | 124 SymbolReaper &SymReaper; 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()) [all...] |
RegionStore.cpp | 563 SymbolReaper& SymReaper) override; [all...] |
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);
|
RangeConstraintManager.cpp | 320 SymbolReaper& SymReaper) override; 370 SymbolReaper& SymReaper) { 377 if (SymReaper.maybeDead(sym))
|
CheckerManager.cpp | 413 SymbolReaper &SymReaper) { 415 LiveSymbolsCheckers[i](state, SymReaper); 452 SymbolReaper &SymReaper, 456 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K);
|
ExprEngine.cpp | 369 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); 371 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); 376 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); 381 if (!SymReaper.hasDeadSymbols()) { 392 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, 405 SymReaper); [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ConstraintManager.h | 113 SymbolReaper& SymReaper) = 0;
|
Environment.h | 119 SymbolReaper &SymReaper,
|
Store.h | 145 SymbolReaper& SymReaper) = 0;
|
ProgramState.h | 515 SymbolReaper& SymReaper);
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
SimpleStreamChecker.cpp | 79 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 184 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, 192 bool IsSymDead = SymReaper.isDead(Sym);
|
StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 399 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, 402 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), 403 E = SymReaper.dead_end(); I != E; ++I) {
|
BasicObjCFoundationChecks.cpp | 852 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; [all...] |
MallocChecker.cpp | 205 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/ |
CheckerManager.h | 292 SymbolReaper &SymReaper); 301 SymbolReaper &SymReaper, const Stmt *S,
|