| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 258 void SymbolReaper::markDependentsLive(SymbolRef sym) { in markDependentsLive()
275 void SymbolReaper::markLive(SymbolRef sym) { in markLive()
280 void SymbolReaper::markLive(const MemRegion *region) { in markLive()
285 void SymbolReaper::markLazilyCopied(const clang::ento::MemRegion *region) { in markLazilyCopied()
289 void SymbolReaper::markElementIndicesLive(const MemRegion *region) { in markElementIndicesLive()
300 void SymbolReaper::markInUse(SymbolRef sym) { in markInUse()
305 bool SymbolReaper::isLiveRegion(const MemRegion *MR) { in isLiveRegion()
327 bool SymbolReaper::isLazilyCopiedRegion(const MemRegion *MR) const { in isLazilyCopiedRegion()
332 bool SymbolReaper::isReadableRegion(const MemRegion *MR) { in isReadableRegion()
336 bool SymbolReaper::isLive(SymbolRef sym) { in isLive()
[all …]
|
| H A D | DynamicType.cpp | 157 static bool isLive(SymbolReaper &SR, const MemRegion *MR) { in isLive()
161 static bool isLive(SymbolReaper &SR, SymbolRef Sym) { return SR.isLive(Sym); } in isLive()
164 static ProgramStateRef removeDeadImpl(ProgramStateRef State, SymbolReaper &SR) { in removeDeadImpl()
174 ProgramStateRef removeDeadTypes(ProgramStateRef State, SymbolReaper &SR) { in removeDeadTypes()
178 ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR) { in removeDeadCasts()
183 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 | 612 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols()
623 SymbolReaper &SR;
628 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr, in CheckDeadSymbolsContext()
656 SymbolReaper &SymReaper, in runCheckersForDeadSymbols()
|
| /freebsd/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 | 100 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Environment.h | 29 class SymbolReaper; variable
117 SymbolReaper &SymReaper,
|
| H A D | Store.h | 49 class SymbolReaper; variable
197 SymbolReaper &SymReaper) = 0;
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckerDocumentation.cpp | 219 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {} in checkDeadSymbols()
287 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 | 57 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
161 SymbolReaper &SR) const { in checkLiveSymbols()
|
| H A D | InnerPointerChecker.cpp | 113 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
249 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| H A D | IteratorModeling.cpp | 158 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
159 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
305 SymbolReaper &SR) const { in checkLiveSymbols()
322 void IteratorModeling::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| H A D | SmartPtrModeling.cpp | 52 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
61 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 | 63 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
64 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
216 SymbolReaper &SR) const { in checkLiveSymbols()
234 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 | 63 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
531 void MacOSKeychainAPIChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| H A D | AnalysisOrderChecker.cpp | 191 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const { in checkLiveSymbols()
|
| H A D | ExprInspectionChecker.cpp | 72 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
388 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| H A D | MoveChecker.cpp | 54 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
686 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 57 class SymbolReaper; variable
386 SymbolReaper &SymReaper);
395 SymbolReaper &SymReaper, const Stmt *S,
523 CheckerFn<void (SymbolReaper &, CheckerContext &)>;
525 using CheckLiveSymbolsFunc = CheckerFn<void (ProgramStateRef,SymbolReaper &)>;
|
| H A D | Checker.h | 319 SymbolReaper &SR) { in _checkLiveSymbols()
334 SymbolReaper &SR, CheckerContext &C) { in _checkDeadSymbols()
|
| /freebsd/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()
|