Searched refs:SymReaper (Results 1 - 25 of 27) sorted by relevance

12

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.h41 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { argument
43 checkMissingWaits(SymReaper, Ctx);
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
H A DMPIChecker.cpp100 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, argument
112 if (!SymReaper.isLiveRegion(Req.first)) {
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DEnvironment.cpp144 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 DProgramState.cpp96 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 DRegionStore.cpp622 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 DCheckerManager.cpp544 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 DRangeConstraintManager.cpp263 SymbolReaper &SymReaper) override;
416 SymbolReaper &SymReaper) {
423 if (SymReaper.isDead(Sym)) {
415 removeDeadBindings(ProgramStateRef State, SymbolReaper &SymReaper) argument
H A DExprEngine.cpp717 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 DTrustNonnullChecker.cpp133 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 DInnerPointerChecker.cpp111 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 DSimpleStreamChecker.cpp76 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
174 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
182 bool IsSymDead = SymReaper.isDead(Sym);
H A DExprInspectionChecker.cpp58 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 DStreamChecker.cpp59 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
325 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
334 if (!SymReaper.isDead(Sym) || !SS.isOpened())
H A DAnalysisOrderChecker.cpp154 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const {
H A DPthreadLockChecker.cpp82 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
462 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
474 bool IsSymDead = SymReaper.isDead(Sym);
H A DFuchsiaHandleChecker.cpp174 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
378 void FuchsiaHandleChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
384 if (!SymReaper.isDead(CurItem.first))
H A DMoveChecker.cpp685 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
691 bool IsRegDead = !SymReaper.isLiveRegion(Region);
H A DBasicObjCFoundationChecks.cpp822 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1119 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
1128 if (SymReaper.isDead(Sym)) {
H A DMallocChecker.cpp367 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 DConstraintManager.h163 SymbolReaper& SymReaper) = 0;
H A DEnvironment.h117 SymbolReaper &SymReaper,
H A DSMTConstraintManager.h200 SymbolReaper &SymReaper) override {
205 if (SymReaper.isDead(I->first))
H A DStore.h195 SymbolReaper &SymReaper) = 0;
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h342 SymbolReaper &SymReaper);
351 SymbolReaper &SymReaper, const Stmt *S,
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h330 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;

Completed in 248 milliseconds

12