| /freebsd/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 | CheckerManager.cpp | 545 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols()
556 SymbolReaper &SR;
561 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr, in CheckDeadSymbolsContext()
587 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 | 101 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
189 SymbolReaper &SymReaper) = 0;
|
| H A D | SymbolManager.h | 573 class SymbolReaper {
607 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, in SymbolReaper() function
|
| H A D | SMTConstraintManager.h | 205 SymbolReaper &SymReaper) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /freebsd/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 | 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 | AnalysisOrderChecker.cpp | 192 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const { in checkLiveSymbols()
|
| H A D | MoveChecker.cpp | 54 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
682 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| H A D | PthreadLockChecker.cpp | 250 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
667 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| H A D | BasicObjCFoundationChecks.cpp | 827 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1119 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| H A D | NullabilityChecker.cpp | 104 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
498 void NullabilityChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| /freebsd/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 &)>;
|