| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Environment.cpp | 161 SymbolReaper &SymReaper; member in __anon79201acc0111::MarkLiveCallback
163 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
165 SymReaper.markLive(sym); in VisitSymbol()
169 SymReaper.markLive(R); in VisitMemRegion()
192 SymbolReaper &SymReaper, in removeDeadBindings() argument
202 MarkLiveCallback CB(SymReaper); in removeDeadBindings()
225 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { in removeDeadBindings()
232 SymReaper.markLive(R); in removeDeadBindings()
|
| D | RegionStore.cpp | 373 SymbolReaper& SymReaper);
1871 SymbolReaper &SymReaper; member in __anonaa84e1080711::removeDeadBindingsWorker
1881 SymReaper(symReaper), CurrentLCtx(LCtx) {} in removeDeadBindingsWorker()
1896 if (SymReaper.isLive(VR)) in VisitAddedToCluster()
1903 if (SymReaper.isLive(SR->getSymbol())) in VisitAddedToCluster()
1931 SymReaper.markLive(SymR->getSymbol()); in VisitCluster()
1980 SymReaper.markLive(*SI); in VisitBinding()
1991 if (SymReaper.isLive(SR->getSymbol())) { in UpdatePostponed()
2003 SymbolReaper& SymReaper) { in removeDeadBindings() argument
2005 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx); in removeDeadBindings()
[all …]
|
| D | ProgramState.cpp | 92 SymbolReaper& SymReaper) { in removeDeadBindings() argument
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindings()
106 SymReaper); in removeDeadBindings()
108 SymReaper.setReapedStore(newStore); in removeDeadBindings()
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper); in removeDeadBindings()
|
| D | CheckerManager.cpp | 414 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols() argument
416 LiveSymbolsCheckers[i](state, SymReaper); in runCheckersForLiveSymbols()
453 SymbolReaper &SymReaper, in runCheckersForDeadSymbols() argument
457 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); in runCheckersForDeadSymbols()
|
| D | RangeConstraintManager.cpp | 328 ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper);
354 SymbolReaper& SymReaper) { in removeDeadBindings() argument
361 if (SymReaper.maybeDead(sym)) in removeDeadBindings()
|
| D | ExprEngine.cpp | 263 SymbolReaper SymReaper(LC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead() local
265 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); in removeDead()
271 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
276 if (!SymReaper.hasDeadSymbols()) { in removeDead()
287 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
300 SymReaper); in removeDead()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
407 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
409 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
410 E = SymReaper.dead_end(); I != E; ++I) { in checkDeadSymbols()
|
| D | MallocChecker.cpp | 132 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1036 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1039 if (!SymReaper.hasDeadSymbols()) in checkDeadSymbols()
1049 if (SymReaper.isDead(I->first)) { in checkDeadSymbols()
1063 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
1064 SymReaper.isDead(I->second.ReallocatedSym)) { in checkDeadSymbols()
|
| D | RetainCountChecker.cpp | 2539 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
3645 void RetainCountChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
3653 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
3654 E = SymReaper.dead_end(); I != E; ++I) { in checkDeadSymbols()
3670 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
3671 E = SymReaper.dead_end(); I != E; ++I) { in checkDeadSymbols()
3685 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
3686 E = SymReaper.dead_end(); I != E; ++I) in checkDeadSymbols()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 90 SymbolReaper& SymReaper) = 0;
|
| D | Environment.h | 131 SymbolReaper &SymReaper,
|
| D | Store.h | 153 SymbolReaper& SymReaper) = 0;
|
| D | ProgramState.h | 494 SymbolReaper& SymReaper);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 283 SymbolReaper &SymReaper);
292 SymbolReaper &SymReaper, const Stmt *S,
|