/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.h | 41 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { argument 43 checkMissingWaits(SymReaper, Ctx); 72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
|
H A D | MPIChecker.cpp | 100 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, argument 112 if (!SymReaper.isLiveRegion(Req.first)) {
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | Environment.cpp | 144 SymbolReaper &SymReaper; member in class:__anon884::final 147 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} 150 SymReaper.markLive(sym); 155 SymReaper.markLive(R); 171 SymbolReaper &SymReaper, 178 MarkLiveCallback CB(SymReaper); 191 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { 170 removeDeadBindings(Environment Env, SymbolReaper &SymReaper, ProgramStateRef ST) argument
|
H A D | ProgramState.cpp | 96 SymbolReaper &SymReaper) { 106 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); 110 SymReaper); 112 SymReaper.setReapedStore(newStore); 94 removeDeadBindingsFromEnvironmentAndStore( ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper &SymReaper) argument
|
H A D | RegionStore.cpp | 622 SymbolReaper& SymReaper) override; 2507 SymbolReaper &SymReaper; member in class:__anon901::RemoveDeadBindingsWorker 2516 SymReaper(symReaper), CurrentLCtx(LCtx) {} 2541 if (SymReaper.isLive(VR)) 2548 if (SymReaper.isLive(SR->getSymbol())) 2580 SymReaper.markLive(SymR->getSymbol()); 2584 SymReaper.markElementIndicesLive(I.getKey().getRegion()); 2608 SymReaper.markLive(R); 2622 SymReaper.markLive(*SI); 2632 if (SymReaper 2642 removeDeadBindings(Store store, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument [all...] |
H A D | CheckerManager.cpp | 544 SymbolReaper &SymReaper) { 546 LiveSymbolsChecker(state, SymReaper); 586 SymbolReaper &SymReaper, 590 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); 543 runCheckersForLiveSymbols(ProgramStateRef state, SymbolReaper &SymReaper) argument 584 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument
|
H A D | RangeConstraintManager.cpp | 263 SymbolReaper &SymReaper) override; 416 SymbolReaper &SymReaper) { 423 if (SymReaper.isDead(Sym)) { 415 removeDeadBindings(ProgramStateRef State, SymbolReaper &SymReaper) argument
|
H A D | ExprEngine.cpp | 717 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); 721 SymReaper.markLive(Sym); 723 SymReaper.markLive(MR); 726 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); 732 CleanedState, SFC, SymReaper); 740 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, 752 getConstraintManager().removeDeadBindings(CheckerState, SymReaper);
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | TrustNonnullChecker.cpp | 133 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const { argument 136 State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State); 137 State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State); 147 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, argument 150 if (!SymReaper.isLive(P.first) || !SymReaper.isLive(P.second))
|
H A D | InnerPointerChecker.cpp | 111 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 234 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 240 if (!SymReaper.isLiveRegion(Entry.first)) { 248 if (!SymReaper.isLive(Symbol))
|
H A D | SimpleStreamChecker.cpp | 76 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 174 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 182 bool IsSymDead = SymReaper.isDead(Sym);
|
H A D | ExprInspectionChecker.cpp | 58 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 261 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 268 if (!SymReaper.isDead(Sym)) 279 if (!SymReaper.isLive(Sym))
|
H A D | StreamChecker.cpp | 59 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 325 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 334 if (!SymReaper.isDead(Sym) || !SS.isOpened())
|
H A D | AnalysisOrderChecker.cpp | 154 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const {
|
H A D | PthreadLockChecker.cpp | 82 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 462 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 474 bool IsSymDead = SymReaper.isDead(Sym);
|
H A D | FuchsiaHandleChecker.cpp | 174 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 378 void FuchsiaHandleChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 384 if (!SymReaper.isDead(CurItem.first))
|
H A D | MoveChecker.cpp | 685 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 691 bool IsRegDead = !SymReaper.isLiveRegion(Region);
|
H A D | BasicObjCFoundationChecks.cpp | 822 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 1119 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 1128 if (SymReaper.isDead(Sym)) {
|
H A D | MallocChecker.cpp | 367 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 2619 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument 2629 if (SymReaper.isDead(I->first)) { 2649 if (SymReaper.isDead(I->first) || 2650 SymReaper.isDead(I->second.ReallocatedSym)) { 2658 if (SymReaper.isDead(I->first) || 2659 SymReaper.isDead(I->second)) {
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 163 SymbolReaper& SymReaper) = 0;
|
H A D | Environment.h | 117 SymbolReaper &SymReaper,
|
H A D | SMTConstraintManager.h | 200 SymbolReaper &SymReaper) override { 205 if (SymReaper.isDead(I->first))
|
H A D | Store.h | 195 SymbolReaper &SymReaper) = 0;
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 342 SymbolReaper &SymReaper); 351 SymbolReaper &SymReaper, const Stmt *S,
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
H A D | RetainCountChecker.h | 330 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
|