| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Environment.cpp | 125 SymbolReaper &SymReaper; member in __anoncf0307cb0111::MarkLiveCallback
127 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
129 SymReaper.markLive(sym); in VisitSymbol()
133 SymReaper.markLive(R); in VisitMemRegion()
148 SymbolReaper &SymReaper, in removeDeadBindings() argument
156 MarkLiveCallback CB(SymReaper); in removeDeadBindings()
170 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { in removeDeadBindings()
180 SymReaper.maybeDead(*SI); in removeDeadBindings()
|
| D | RegionStore.cpp | 559 SymbolReaper& SymReaper) override;
2276 SymbolReaper &SymReaper; member in __anon0067ce070811::removeDeadBindingsWorker
2285 SymReaper(symReaper), CurrentLCtx(LCtx) {} in removeDeadBindingsWorker()
2310 if (SymReaper.isLive(VR)) in VisitAddedToCluster()
2317 if (SymReaper.isLive(SR->getSymbol())) in VisitAddedToCluster()
2349 SymReaper.markLive(SymR->getSymbol()); in VisitCluster()
2353 SymReaper.markElementIndicesLive(I.getKey().getRegion()); in VisitCluster()
2377 SymReaper.markLive(R); in VisitBinding()
2392 SymReaper.markLive(*SI); in VisitBinding()
2403 if (SymReaper.isLive(SR->getSymbol())) { in UpdatePostponed()
[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 | 474 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols() argument
476 LiveSymbolsCheckers[i](state, SymReaper); in runCheckersForLiveSymbols()
513 SymbolReaper &SymReaper, in runCheckersForDeadSymbols() argument
517 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); in runCheckersForDeadSymbols()
|
| D | RangeConstraintManager.cpp | 337 SymbolReaper& SymReaper) override;
401 SymbolReaper& SymReaper) { in removeDeadBindings() argument
408 if (SymReaper.maybeDead(sym)) in removeDeadBindings()
|
| D | ExprEngine.cpp | 371 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead() local
373 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); in removeDead()
378 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
383 if (!SymReaper.hasDeadSymbols()) { in removeDead()
394 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
407 SymReaper); in removeDead()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.h | 42 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { in checkDeadSymbols() argument
44 checkMissingWaits(SymReaper, Ctx); in checkDeadSymbols()
75 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
|
| D | MPIChecker.cpp | 99 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits() argument
101 if (!SymReaper.hasDeadSymbols()) in checkMissingWaits()
114 if (!SymReaper.isLiveRegion(Req.first)) { in checkMissingWaits()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ExprInspectionChecker.cpp | 39 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
184 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
190 if (!SymReaper.isDead(Sym)) in checkDeadSymbols()
|
| D | SimpleStreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
175 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
183 bool IsSymDead = SymReaper.isDead(Sym); in checkDeadSymbols()
|
| D | StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
397 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
400 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
401 E = SymReaper.dead_end(); I != E; ++I) { in checkDeadSymbols()
|
| D | MallocChecker.cpp | 207 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
2126 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
2129 if (!SymReaper.hasDeadSymbols()) in checkDeadSymbols()
2138 if (SymReaper.isDead(I->first)) { in checkDeadSymbols()
2150 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2151 SymReaper.isDead(I->second.ReallocatedSym)) { in checkDeadSymbols()
2159 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2160 SymReaper.isDead(I->second)) { in checkDeadSymbols()
|
| D | BasicObjCFoundationChecks.cpp | 850 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1148 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1157 if (SymReaper.isDead(Sym)) { in checkDeadSymbols()
|
| D | RetainCountChecker.cpp | 2652 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
3909 void RetainCountChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
3918 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
3919 E = SymReaper.dead_end(); I != E; ++I) { in checkDeadSymbols()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Environment.h | 120 SymbolReaper &SymReaper,
|
| D | ConstraintManager.h | 142 SymbolReaper& SymReaper) = 0;
|
| D | Store.h | 145 SymbolReaper& SymReaper) = 0;
|
| D | ProgramState.h | 523 SymbolReaper& SymReaper);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 312 SymbolReaper &SymReaper);
321 SymbolReaper &SymReaper, const Stmt *S,
|