| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | Environment.cpp | 152 SymbolReaper &SymReaper; member in __anonb7adabd40111::MarkLiveCallback
155 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
158 SymReaper.markLive(sym); in VisitSymbol()
163 SymReaper.markLive(R); in VisitMemRegion()
179 SymbolReaper &SymReaper, in removeDeadBindings() argument
186 MarkLiveCallback CB(SymReaper); in removeDeadBindings()
202 if (SymReaper.isLive(E, BlkExpr.getLocationContext())) { in removeDeadBindings()
|
| H A D | RegionStore.cpp | 620 SymbolReaper& SymReaper) override;
2749 SymbolReaper &SymReaper; member in __anone91272100711::RemoveDeadBindingsWorker
2758 SymReaper(symReaper), CurrentLCtx(LCtx) {} in RemoveDeadBindingsWorker()
2783 if (SymReaper.isLive(VR)) in VisitAddedToCluster()
2790 if (SymReaper.isLive(SR->getSymbol())) in VisitAddedToCluster()
2822 SymReaper.markLive(SymR->getSymbol()); in VisitCluster()
2826 SymReaper.markElementIndicesLive(I.getKey().getRegion()); in VisitCluster()
2850 SymReaper.markLive(R); in VisitBinding()
2864 SymReaper.markLive(*SI); in VisitBinding()
2874 if (SymReaper.isLive(SR->getSymbol())) { in UpdatePostponed()
[all …]
|
| H A D | ProgramState.cpp | 92 SymbolReaper &SymReaper) { in removeDeadBindingsFromEnvironmentAndStore() argument
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
106 SymReaper); in removeDeadBindingsFromEnvironmentAndStore()
108 SymReaper.setReapedStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()
|
| H A D | CheckerManager.cpp | 547 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols() argument
549 LiveSymbolsChecker(state, SymReaper); in runCheckersForLiveSymbols()
589 SymbolReaper &SymReaper, in runCheckersForDeadSymbols() argument
593 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); in runCheckersForDeadSymbols()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | TrustNonnullChecker.cpp | 133 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const { in checkDeadSymbols() argument
136 State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State); in checkDeadSymbols()
137 State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State); in checkDeadSymbols()
147 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, in dropDeadFromGDM() argument
150 if (!SymReaper.isLive(P.first) || !SymReaper.isLive(P.second)) in dropDeadFromGDM()
|
| H A D | InnerPointerChecker.cpp | 116 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
259 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
265 if (!SymReaper.isLiveRegion(Entry.first)) { in checkDeadSymbols()
273 if (!SymReaper.isLive(Symbol)) in checkDeadSymbols()
|
| H A D | SimpleStreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
161 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
169 bool IsSymDead = SymReaper.isDead(Sym); in checkDeadSymbols()
|
| H A D | ExprInspectionChecker.cpp | 71 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
389 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
396 if (!SymReaper.isDead(Sym)) in checkDeadSymbols()
407 if (!SymReaper.isLive(Sym)) in checkDeadSymbols()
|
| H A D | FuchsiaHandleChecker.cpp | 201 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
502 void FuchsiaHandleChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
513 if (!SymReaper.isDead(CurItem.first) || in checkDeadSymbols()
514 (ErrorSym && !SymReaper.isDead(ErrorSym))) in checkDeadSymbols()
|
| H A D | PthreadLockChecker.cpp | 217 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
637 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
645 if (SymReaper.isDead(I.second)) in checkDeadSymbols()
651 if (!SymReaper.isLiveRegion(I.first)) { in checkDeadSymbols()
|
| H A D | AnalysisOrderChecker.cpp | 192 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const { in checkLiveSymbols()
|
| H A D | SmartPtrModeling.cpp | 53 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
539 void SmartPtrModeling::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
546 bool IsRegDead = !SymReaper.isLiveRegion(Region); in checkDeadSymbols()
|
| H A D | MoveChecker.cpp | 679 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
685 bool IsRegDead = !SymReaper.isLiveRegion(Region); in checkDeadSymbols()
|
| H A D | BasicObjCFoundationChecks.cpp | 820 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1116 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1125 if (SymReaper.isDead(Sym)) { in checkDeadSymbols()
|
| H A D | StreamChecker.cpp | 226 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1053 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1063 if (!SymReaper.isDead(Sym)) in checkDeadSymbols()
|
| H A D | MallocChecker.cpp | 337 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
2801 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
2811 if (SymReaper.isDead(I->first)) { in checkDeadSymbols()
2831 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2832 SymReaper.isDead(I->second.ReallocatedSym)) { in checkDeadSymbols()
2840 if (SymReaper.isDead(I->first) || in checkDeadSymbols()
2841 SymReaper.isDead(I->second)) { in checkDeadSymbols()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | SymbolReaperTest.cpp | 35 SymbolReaper SymReaper((StackFrameContext *)nullptr, (Stmt *)nullptr, in performTest() local
38 SymReaper.markLive(FR); in performTest()
39 EXPECT_TRUE(SymReaper.isLiveRegion(VR)); in performTest()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 41 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { in checkDeadSymbols() argument
43 checkMissingWaits(SymReaper, Ctx); in checkDeadSymbols()
72 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()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Environment.h | 117 SymbolReaper &SymReaper,
|
| H A D | ConstraintManager.h | 116 SymbolReaper& SymReaper) = 0;
|
| H A D | SMTConstraintManager.h | 201 SymbolReaper &SymReaper) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
206 if (SymReaper.isDead(I->first)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | Store.h | 188 SymbolReaper &SymReaper) = 0;
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 378 SymbolReaper &SymReaper);
387 SymbolReaper &SymReaper, const Stmt *S,
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.h | 330 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
|