/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | DynamicType.h | 61 ProgramStateRef removeDeadTypes(ProgramStateRef State, SymbolReaper &SR); 64 ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR);
|
H A D | ConstraintManager.h | 36 class SymbolReaper; 163 SymbolReaper& SymReaper) = 0;
|
H A D | Environment.h | 29 class SymbolReaper; 117 SymbolReaper &SymReaper,
|
H A D | Store.h | 49 class SymbolReaper; 195 SymbolReaper &SymReaper) = 0;
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.h | 41 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { 72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
|
H A D | MPIChecker.cpp | 100 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper,
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CheckerDocumentation.cpp | 176 /// \param SR The SymbolReaper object can be queried to determine which 180 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {} 243 /// Allows modifying SymbolReaper object. For example, checkers can explicitly 248 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {}
|
H A D | SimpleStreamChecker.cpp | 76 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 174 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
H A D | TrustNonnullChecker.cpp | 133 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const { 147 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper,
|
H A D | AnalysisOrderChecker.cpp | 154 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const {
|
H A D | InnerPointerChecker.cpp | 111 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 234 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
H A D | PointerArithChecker.cpp | 70 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; 76 void PointerArithChecker::checkDeadSymbols(SymbolReaper &SR,
|
H A D | ExprInspectionChecker.cpp | 58 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 261 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
H A D | StreamChecker.cpp | 59 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 325 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
H A D | ValistChecker.cpp | 53 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; 203 void ValistChecker::checkDeadSymbols(SymbolReaper &SR,
|
H A D | FuchsiaHandleChecker.cpp | 174 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 378 void FuchsiaHandleChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
H A D | MacOSKeychainAPIChecker.cpp | 61 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; 541 void MacOSKeychainAPIChecker::checkDeadSymbols(SymbolReaper &SR,
|
H A D | MoveChecker.cpp | 55 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; 685 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
H A D | PthreadLockChecker.cpp | 82 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 462 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | SymbolManager.cpp | 384 void SymbolReaper::markDependentsLive(SymbolRef sym) { 401 void SymbolReaper::markLive(SymbolRef sym) { 406 void SymbolReaper::markLive(const MemRegion *region) { 411 void SymbolReaper::markElementIndicesLive(const MemRegion *region) { 422 void SymbolReaper::markInUse(SymbolRef sym) { 427 bool SymbolReaper::isLiveRegion(const MemRegion *MR) { 462 bool SymbolReaper::isLive(SymbolRef sym) { 511 SymbolReaper::isLive(const Stmt *ExprVal, const LocationContext *ELCtx) const { 530 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{ 552 const_cast<SymbolReaper *>(thi [all...] |
H A D | DynamicType.cpp | 123 SymbolReaper &SR) { 131 ProgramStateRef removeDeadTypes(ProgramStateRef State, SymbolReaper &SR) { 135 ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR) {
|
H A D | Environment.cpp | 144 SymbolReaper &SymReaper; 147 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} 166 // - Mark their reachable symbols live in SymbolReaper, 171 SymbolReaper &SymReaper,
|
H A D | CheckerManager.cpp | 544 SymbolReaper &SymReaper) { 555 SymbolReaper &SR; 560 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr, 586 SymbolReaper &SymReaper,
|
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 53 class SymbolReaper; 338 /// Allows modifying SymbolReaper object. For example, checkers can explicitly 342 SymbolReaper &SymReaper); 351 SymbolReaper &SymReaper, const Stmt *S, 478 CheckerFn<void (SymbolReaper &, CheckerContext &)>; 480 using CheckLiveSymbolsFunc = CheckerFn<void (ProgramStateRef,SymbolReaper &)>;
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
H A D | UninitializedObjectChecker.cpp | 51 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; 216 void UninitializedObjectChecker::checkDeadSymbols(SymbolReaper &SR,
|