| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicType.h | 75 ProgramStateRef removeDeadTypes(ProgramStateRef State, SymbolReaper &SR);
78 ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR);
82 SymbolReaper &SR);
|
| H A D | Environment.h | 29 class SymbolReaper; variable
117 SymbolReaper &SymReaper,
|
| H A D | ConstraintManager.h | 36 class SymbolReaper; variable
116 SymbolReaper& SymReaper) = 0;
|
| H A D | Store.h | 49 class SymbolReaper; variable
188 SymbolReaper &SymReaper) = 0;
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 391 void SymbolReaper::markDependentsLive(SymbolRef sym) { in markDependentsLive()
408 void SymbolReaper::markLive(SymbolRef sym) { in markLive()
413 void SymbolReaper::markLive(const MemRegion *region) { in markLive()
418 void SymbolReaper::markElementIndicesLive(const MemRegion *region) { in markElementIndicesLive()
429 void SymbolReaper::markInUse(SymbolRef sym) { in markInUse()
434 bool SymbolReaper::isLiveRegion(const MemRegion *MR) { in isLiveRegion()
457 bool SymbolReaper::isLive(SymbolRef sym) { in isLive()
509 SymbolReaper::isLive(const Expr *ExprVal, const LocationContext *ELCtx) const { in isLive()
529 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{ in isLive()
556 const_cast<SymbolReaper *>(this)->includedRegionCache[VR]; in isLive()
|
| H A D | DynamicType.cpp | 158 static bool isLive(SymbolReaper &SR, const MemRegion *MR) { in isLive()
162 static bool isLive(SymbolReaper &SR, SymbolRef Sym) { return SR.isLive(Sym); } in isLive()
165 static ProgramStateRef removeDeadImpl(ProgramStateRef State, SymbolReaper &SR) { in removeDeadImpl()
175 ProgramStateRef removeDeadTypes(ProgramStateRef State, SymbolReaper &SR) { in removeDeadTypes()
179 ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR) { in removeDeadCasts()
184 SymbolReaper &SR) { in removeDeadClassObjectTypes()
|
| H A D | Environment.cpp | 152 SymbolReaper &SymReaper;
155 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
179 SymbolReaper &SymReaper, in removeDeadBindings()
|
| H A D | CheckerManager.cpp | 547 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols()
558 SymbolReaper &SR;
563 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr, in CheckDeadSymbolsContext()
589 SymbolReaper &SymReaper, in runCheckersForDeadSymbols()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | SymbolReaperTest.cpp | 35 SymbolReaper SymReaper((StackFrameContext *)nullptr, (Stmt *)nullptr, in performTest()
63 TEST(SymbolReaper, SuperRegionLiveness) { in TEST() argument
|
| /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()
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
|
| H A D | MPIChecker.cpp | 101 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckerDocumentation.cpp | 180 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {} in checkDeadSymbols()
248 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {} in checkLiveSymbols()
|
| H A D | TrustNonnullChecker.cpp | 133 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const { in checkDeadSymbols()
147 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, in dropDeadFromGDM()
|
| H A D | SimpleStreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
161 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| H A D | ErrnoModeling.cpp | 52 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
200 SymbolReaper &SR) const { in checkLiveSymbols()
|
| H A D | InnerPointerChecker.cpp | 116 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
259 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| H A D | PointerArithChecker.cpp | 70 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
76 void PointerArithChecker::checkDeadSymbols(SymbolReaper &SR, in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| H A D | IteratorModeling.cpp | 156 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
157 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
303 SymbolReaper &SR) const { in checkLiveSymbols()
323 void IteratorModeling::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| H A D | SmartPtrModeling.cpp | 53 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
62 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
539 void SmartPtrModeling::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
586 SymbolReaper &SR) const { in checkLiveSymbols()
|
| H A D | ValistChecker.cpp | 54 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
204 void ValistChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| H A D | ContainerModeling.cpp | 64 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
65 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
208 SymbolReaper &SR) const { in checkLiveSymbols()
226 void ContainerModeling::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| H A D | CastValueChecker.cpp | 55 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
517 void CastValueChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 56 class SymbolReaper; variable
378 SymbolReaper &SymReaper);
387 SymbolReaper &SymReaper, const Stmt *S,
514 CheckerFn<void (SymbolReaper &, CheckerContext &)>;
516 using CheckLiveSymbolsFunc = CheckerFn<void (ProgramStateRef,SymbolReaper &)>;
|
| H A D | Checker.h | 305 SymbolReaper &SR) { in _checkLiveSymbols()
320 SymbolReaper &SR, CheckerContext &C) { in _checkDeadSymbols()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObjectChecker.cpp | 51 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
214 void UninitializedObjectChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|