| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | Environment.cpp | 143 SymbolReaper &SymReaper; member in __anonc0df28f30111::MarkLiveCallback
146 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
149 SymReaper.markLive(sym); in VisitSymbol()
154 SymReaper.markLive(R); in VisitMemRegion()
170 SymbolReaper &SymReaper, in removeDeadBindings() argument
177 MarkLiveCallback CB(SymReaper); in removeDeadBindings()
190 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { in removeDeadBindings()
|
| H A D | RegionStore.cpp | 581 SymbolReaper& SymReaper) override;
2398 SymbolReaper &SymReaper; member in __anonf243ef2f0811::RemoveDeadBindingsWorker
2407 SymReaper(symReaper), CurrentLCtx(LCtx) {} in RemoveDeadBindingsWorker()
2434 if (SymReaper.isLive(VR)) in VisitAddedToCluster()
2441 if (SymReaper.isLive(SR->getSymbol())) { in VisitAddedToCluster()
2474 SymReaper.markLive(SymR->getSymbol()); in VisitCluster()
2478 SymReaper.markElementIndicesLive(I.getKey().getRegion()); in VisitCluster()
2511 SymReaper.markLive(R); in VisitBinding()
2530 SymReaper.markLive(*SI); in VisitBinding()
2536 if (Loc::isLocType(SD->getType()) && !SymReaper.isLive(SD)) { in populateWorklistFromSymbol()
[all …]
|
| H A D | ProgramState.cpp | 98 SymbolReaper& SymReaper) { in removeDeadBindings() argument
108 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindings()
112 SymReaper); in removeDeadBindings()
114 SymReaper.setReapedStore(newStore); in removeDeadBindings()
117 return ConstraintMgr->removeDeadBindings(Result, SymReaper); in removeDeadBindings()
|
| H A D | CheckerManager.cpp | 534 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols() argument
536 LiveSymbolsChecker(state, SymReaper); in runCheckersForLiveSymbols()
576 SymbolReaper &SymReaper, in runCheckersForDeadSymbols() argument
580 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); in runCheckersForDeadSymbols()
|
| H A D | RangeConstraintManager.cpp | 242 SymbolReaper &SymReaper) override;
395 SymbolReaper &SymReaper) { in removeDeadBindings() argument
402 if (SymReaper.isDead(Sym)) { in removeDeadBindings()
|
| H A D | ExprEngine.cpp | 667 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead() local
671 SymReaper.markLive(Sym); in removeDead()
673 SymReaper.markLive(MR); in removeDead()
676 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); in removeDead()
681 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
689 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
701 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | TrustNonnullChecker.cpp | 134 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const { in checkDeadSymbols() argument
137 State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State); in checkDeadSymbols()
138 State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State); in checkDeadSymbols()
148 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, in dropDeadFromGDM() argument
151 if (!SymReaper.isLive(P.first) || !SymReaper.isLive(P.second)) in dropDeadFromGDM()
|
| H A D | InnerPointerChecker.cpp | 112 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
235 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
241 if (!SymReaper.isLiveRegion(Entry.first)) { in checkDeadSymbols()
249 if (!SymReaper.isLive(Symbol)) in checkDeadSymbols()
|
| H A 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()
|
| H A D | ExprInspectionChecker.cpp | 58 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
257 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
264 if (!SymReaper.isDead(Sym)) in checkDeadSymbols()
275 if (!SymReaper.isLive(Sym)) in checkDeadSymbols()
|
| H A D | StreamChecker.cpp | 76 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
384 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
393 if (!SymReaper.isDead(Sym) || !SS.isOpened()) in checkDeadSymbols()
|
| H A D | PthreadLockChecker.cpp | 83 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
461 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
473 bool IsSymDead = SymReaper.isDead(Sym); in checkDeadSymbols()
|
| H A D | AnalysisOrderChecker.cpp | 154 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const { in checkLiveSymbols()
|
| H A D | MoveChecker.cpp | 667 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
673 bool IsRegDead = !SymReaper.isLiveRegion(Region); in checkDeadSymbols()
|
| H A D | BasicObjCFoundationChecks.cpp | 822 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1119 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1128 if (SymReaper.isDead(Sym)) { in checkDeadSymbols()
|
| H A D | MallocChecker.cpp | 220 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
2345 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
2355 if (SymReaper.isDead(I->first)) { in checkDeadSymbols()
2375 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2376 SymReaper.isDead(I->second.ReallocatedSym)) { in checkDeadSymbols()
2384 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2385 SymReaper.isDead(I->second)) { in checkDeadSymbols()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 42 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { in checkDeadSymbols() argument
44 checkMissingWaits(SymReaper, Ctx); in checkDeadSymbols()
73 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
|
| H A D | MPIChecker.cpp | 101 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits() argument
113 if (!SymReaper.isLiveRegion(Req.first)) { in checkMissingWaits()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Environment.h | 118 SymbolReaper &SymReaper,
|
| H A D | SMTConstraintManager.h | 196 SymbolReaper &SymReaper) override { in removeDeadBindings() argument
201 if (SymReaper.isDead(I->first)) in removeDeadBindings()
|
| H A D | ConstraintManager.h | 161 SymbolReaper& SymReaper) = 0;
|
| H A D | Store.h | 196 SymbolReaper &SymReaper) = 0;
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 322 SymbolReaper &SymReaper);
331 SymbolReaper &SymReaper, const Stmt *S,
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.h | 331 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
|
| H A D | RetainCountChecker.cpp | 1457 void RetainCountChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1468 if (SymReaper.isDead(Sym)) { in checkDeadSymbols()
|