Searched refs:SymbolReaper (Results 1 - 25 of 41) sorted by relevance

12

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DDynamicType.h61 ProgramStateRef removeDeadTypes(ProgramStateRef State, SymbolReaper &SR);
64 ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR);
H A DConstraintManager.h36 class SymbolReaper;
163 SymbolReaper& SymReaper) = 0;
H A DEnvironment.h29 class SymbolReaper;
117 SymbolReaper &SymReaper,
H A DStore.h49 class SymbolReaper;
195 SymbolReaper &SymReaper) = 0;
H A DSymbolManager.h548 class SymbolReaper { class in namespace:clang::ento
577 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, function in class:clang::ento::SymbolReaper
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.h41 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const {
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
H A DMPIChecker.cpp100 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper,
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp176 /// \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 DTrustNonnullChecker.cpp133 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const {
147 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper,
H A DSimpleStreamChecker.cpp76 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
174 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
H A DAnalysisOrderChecker.cpp154 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const {
H A DPointerArithChecker.cpp70 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
76 void PointerArithChecker::checkDeadSymbols(SymbolReaper &SR,
H A DInnerPointerChecker.cpp111 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
234 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper,
H A DStreamChecker.cpp59 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
325 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
H A DValistChecker.cpp53 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
203 void ValistChecker::checkDeadSymbols(SymbolReaper &SR,
H A DExprInspectionChecker.cpp58 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
261 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper,
H A DMoveChecker.cpp55 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
685 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper,
H A DMacOSKeychainAPIChecker.cpp61 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
541 void MacOSKeychainAPIChecker::checkDeadSymbols(SymbolReaper &SR,
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp384 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 DDynamicType.cpp123 SymbolReaper &SR) {
131 ProgramStateRef removeDeadTypes(ProgramStateRef State, SymbolReaper &SR) {
135 ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR) {
H A DEnvironment.cpp144 SymbolReaper &SymReaper;
147 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {}
166 // - Mark their reachable symbols live in SymbolReaper,
171 SymbolReaper &SymReaper,
H A DCheckerManager.cpp544 SymbolReaper &SymReaper) {
555 SymbolReaper &SR;
560 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
586 SymbolReaper &SymReaper,
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h53 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 &)>;
H A DChecker.h305 SymbolReaper &SR) {
320 SymbolReaper &SR, CheckerContext &C) {
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObjectChecker.cpp51 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
216 void UninitializedObjectChecker::checkDeadSymbols(SymbolReaper &SR,

Completed in 255 milliseconds

12