| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 381 void SymbolReaper::markDependentsLive(SymbolRef sym) { in markDependentsLive()
398 void SymbolReaper::markLive(SymbolRef sym) { in markLive()
403 void SymbolReaper::markLive(const MemRegion *region) { in markLive()
408 void SymbolReaper::markLazilyCopied(const clang::ento::MemRegion *region) { in markLazilyCopied()
412 void SymbolReaper::markElementIndicesLive(const MemRegion *region) { in markElementIndicesLive()
423 void SymbolReaper::markInUse(SymbolRef sym) { in markInUse()
428 bool SymbolReaper::isLiveRegion(const MemRegion *MR) { in isLiveRegion()
450 bool SymbolReaper::isLazilyCopiedRegion(const MemRegion *MR) const { in isLazilyCopiedRegion()
455 bool SymbolReaper::isReadableRegion(const MemRegion *MR) { in isReadableRegion()
459 bool SymbolReaper::isLive(SymbolRef sym) { in isLive()
[all …]
|
| 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 | 154 SymbolReaper &SymReaper;
157 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
181 SymbolReaper &SymReaper, in removeDeadBindings()
|
| H A D | CheckerManager.cpp | 545 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols()
556 SymbolReaper &SR;
561 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr, in CheckDeadSymbolsContext()
587 SymbolReaper &SymReaper, in runCheckersForDeadSymbols()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicType.h | 73 ProgramStateRef removeDeadTypes(ProgramStateRef State, SymbolReaper &SR);
76 ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR);
80 SymbolReaper &SR);
|
| H A D | Environment.h | 29 class SymbolReaper; variable
117 SymbolReaper &SymReaper,
|
| H A D | ConstraintManager.h | 36 class SymbolReaper; variable
132 SymbolReaper& SymReaper) = 0;
|
| H A D | Store.h | 49 class SymbolReaper; variable
189 SymbolReaper &SymReaper) = 0;
|
| /src/contrib/llvm-project/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()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckerDocumentation.cpp | 183 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {} in checkDeadSymbols()
251 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {} in checkLiveSymbols()
|
| H A D | SimpleStreamChecker.cpp | 78 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
144 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| H A D | TrustNonnullChecker.cpp | 132 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const { in checkDeadSymbols()
146 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, in dropDeadFromGDM()
|
| H A D | ErrnoModeling.cpp | 59 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
163 SymbolReaper &SR) const { in checkLiveSymbols()
|
| H A D | InnerPointerChecker.cpp | 115 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
251 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| H A D | PointerArithChecker.cpp | 71 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
77 void PointerArithChecker::checkDeadSymbols(SymbolReaper &SR, in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| H A D | IteratorModeling.cpp | 157 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
158 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
304 SymbolReaper &SR) const { in checkLiveSymbols()
321 void IteratorModeling::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| H A D | SmartPtrModeling.cpp | 54 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
63 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
541 void SmartPtrModeling::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
588 SymbolReaper &SR) const { in checkLiveSymbols()
|
| H A D | ValistChecker.cpp | 54 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
202 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;
213 SymbolReaper &SR) const { in checkLiveSymbols()
231 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()
|
| H A D | MacOSKeychainAPIChecker.cpp | 64 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
532 void MacOSKeychainAPIChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 56 class SymbolReaper; variable
378 SymbolReaper &SymReaper);
387 SymbolReaper &SymReaper, const Stmt *S,
512 CheckerFn<void (SymbolReaper &, CheckerContext &)>;
514 using CheckLiveSymbolsFunc = CheckerFn<void (ProgramStateRef,SymbolReaper &)>;
|
| H A D | Checker.h | 303 SymbolReaper &SR) { in _checkLiveSymbols()
318 SymbolReaper &SR, CheckerContext &C) { in _checkDeadSymbols()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObjectChecker.cpp | 48 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
211 void UninitializedObjectChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|