/external/clang/lib/StaticAnalyzer/Core/ |
Environment.cpp | 125 SymbolReaper &SymReaper; 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) [all...] |
RegionStore.cpp | 557 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);
|
CheckerManager.cpp | 440 SymbolReaper &SymReaper) { 442 LiveSymbolsCheckers[i](state, SymReaper); 479 SymbolReaper &SymReaper, 483 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K);
|
RangeConstraintManager.cpp | 337 SymbolReaper& SymReaper) override; 401 SymbolReaper& SymReaper) { 408 if (SymReaper.maybeDead(sym))
|
ExprEngine.cpp | 370 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); 372 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); 377 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); 382 if (!SymReaper.hasDeadSymbols()) { 393 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, 406 SymReaper); [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
ExprInspectionChecker.cpp | 34 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 161 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, 167 if (!SymReaper.isDead(Sym))
|
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; 397 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, 400 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), 401 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/PathSensitive/ |
Environment.h | 119 SymbolReaper &SymReaper,
|
ConstraintManager.h | 142 SymbolReaper& SymReaper) = 0;
|
Store.h | 145 SymbolReaper& SymReaper) = 0;
|
ProgramState.h | 522 SymbolReaper& SymReaper);
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
CheckerManager.h | 307 SymbolReaper &SymReaper); 316 SymbolReaper &SymReaper, const Stmt *S,
|