| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | TrustNonnullChecker.cpp | 132 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const { in checkDeadSymbols() argument
135 State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State); in checkDeadSymbols()
136 State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State); in checkDeadSymbols()
146 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, in dropDeadFromGDM() argument
149 if (!SymReaper.isLive(P.first) || !SymReaper.isLive(P.second)) in dropDeadFromGDM()
|
| H A D | InnerPointerChecker.cpp | 115 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
251 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
257 if (!SymReaper.isLiveRegion(Entry.first)) { in checkDeadSymbols()
265 if (!SymReaper.isLive(Symbol)) in checkDeadSymbols()
|
| H A D | SimpleStreamChecker.cpp | 78 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
144 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
150 bool IsSymDead = SymReaper.isDead(Sym); in checkDeadSymbols()
|
| H A D | PthreadLockChecker.cpp | 250 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
667 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
675 if (SymReaper.isDead(I.second)) in checkDeadSymbols()
681 if (!SymReaper.isLiveRegion(I.first)) { in checkDeadSymbols()
|
| H A D | AnalysisOrderChecker.cpp | 192 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const { in checkLiveSymbols()
|
| H A D | SmartPtrModeling.cpp | 54 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
541 void SmartPtrModeling::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
548 bool IsRegDead = !SymReaper.isLiveRegion(Region); in checkDeadSymbols()
|
| H A D | MoveChecker.cpp | 682 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
688 bool IsRegDead = !SymReaper.isLiveRegion(Region); in checkDeadSymbols()
|
| H A D | BasicObjCFoundationChecks.cpp | 827 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1119 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1126 if (SymReaper.isDead(Sym)) { in checkDeadSymbols()
|
| H A D | MallocChecker.cpp | 339 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
2845 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
2855 if (SymReaper.isDead(Sym)) { in checkDeadSymbols()
2875 if (SymReaper.isDead(Sym) || SymReaper.isDead(ReallocPair.ReallocatedSym)) { in checkDeadSymbols()
2883 if (SymReaper.isDead(Sym) || SymReaper.isDead(RetSym)) { in checkDeadSymbols()
|
| H A D | StreamChecker.cpp | 273 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1974 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1984 if (!SymReaper.isDead(Sym)) in checkDeadSymbols()
|
| /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() argument
43 checkMissingWaits(SymReaper, Ctx); in checkDeadSymbols()
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
|
| H A D | MPIChecker.cpp | 101 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits() argument
113 if (!SymReaper.isLiveRegion(Req.first)) { in checkMissingWaits()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RegionStore.cpp | 628 SymbolReaper& SymReaper) override;
2742 SymbolReaper &SymReaper; member in __anonfa909ae00711::RemoveDeadBindingsWorker
2751 SymReaper(symReaper), CurrentLCtx(LCtx) {} in RemoveDeadBindingsWorker()
2776 if (SymReaper.isLive(VR)) in VisitAddedToCluster()
2783 if (SymReaper.isLive(SR->getSymbol())) in VisitAddedToCluster()
2815 SymReaper.markLive(SymR->getSymbol()); in VisitCluster()
2819 SymReaper.markElementIndicesLive(Key.getRegion()); in VisitCluster()
2829 SymReaper.markLazilyCopied(LCS->getRegion()); in VisitBinding()
2833 SymReaper.markLazilyCopied(DepLCS->getRegion()); in VisitBinding()
2844 SymReaper.markLive(R); in VisitBinding()
[all …]
|
| H A D | ProgramState.cpp | 93 SymbolReaper &SymReaper) { in removeDeadBindingsFromEnvironmentAndStore() argument
103 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
107 SymReaper); in removeDeadBindingsFromEnvironmentAndStore()
109 SymReaper.setReapedStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()
|
| H A D | CheckerManager.cpp | 545 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols() argument
547 LiveSymbolsChecker(state, SymReaper); in runCheckersForLiveSymbols()
587 SymbolReaper &SymReaper, in runCheckersForDeadSymbols() argument
591 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); in runCheckersForDeadSymbols()
|
| H A D | ExprEngine.cpp | 1057 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead() local
1061 SymReaper.markLive(Sym); in removeDead()
1063 SymReaper.markLive(MR); in removeDead()
1066 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); in removeDead()
1072 CleanedState, SFC, SymReaper); in removeDead()
1080 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
1092 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
|
| H A D | RangeConstraintManager.cpp | 1886 SymbolReaper &SymReaper) override;
2897 SymbolReaper &SymReaper) { in removeDeadBindings() argument
2959 if (Class.isTriviallyDead(State, SymReaper)) { in removeDeadBindings()
2969 if (SymReaper.isDead(Sym)) { in removeDeadBindings()
2984 if (SymReaper.isDead(Member)) { in removeDeadBindings()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Environment.h | 117 SymbolReaper &SymReaper,
|
| H A D | SMTConstraintManager.h | 205 SymbolReaper &SymReaper) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
210 if (SymReaper.isDead(Entry.first)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | Store.h | 189 SymbolReaper &SymReaper) = 0;
|
| H A D | ProgramState.h | 588 SymbolReaper &SymReaper);
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 378 SymbolReaper &SymReaper);
387 SymbolReaper &SymReaper, const Stmt *S,
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 1409 void RetainCountChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
1419 if (SymReaper.isDead(Sym)) { in checkDeadSymbols()
|