| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Environment.cpp | 125 SymbolReaper &SymReaper; member in __anon6b3137ad0111::MarkLiveCallback
127 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
129 SymReaper.markLive(sym); in VisitSymbol()
133 SymReaper.markLive(R); in VisitMemRegion()
148 SymbolReaper &SymReaper, in removeDeadBindings() argument
156 MarkLiveCallback CB(SymReaper); in removeDeadBindings()
170 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { in removeDeadBindings()
180 SymReaper.maybeDead(*SI); in removeDeadBindings()
|
| D | RegionStore.cpp | 559 SymbolReaper& SymReaper) override;
2276 SymbolReaper &SymReaper; member in __anon9c95fde90811::removeDeadBindingsWorker
2285 SymReaper(symReaper), CurrentLCtx(LCtx) {} in removeDeadBindingsWorker()
2310 if (SymReaper.isLive(VR)) in VisitAddedToCluster()
2317 if (SymReaper.isLive(SR->getSymbol())) in VisitAddedToCluster()
2349 SymReaper.markLive(SymR->getSymbol()); in VisitCluster()
2353 SymReaper.markElementIndicesLive(I.getKey().getRegion()); in VisitCluster()
2377 SymReaper.markLive(R); in VisitBinding()
2392 SymReaper.markLive(*SI); in VisitBinding()
2403 if (SymReaper.isLive(SR->getSymbol())) { in UpdatePostponed()
[all …]
|
| D | ProgramState.cpp | 92 SymbolReaper& SymReaper) { in removeDeadBindings() argument
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindings()
106 SymReaper); in removeDeadBindings()
108 SymReaper.setReapedStore(newStore); in removeDeadBindings()
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper); in removeDeadBindings()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | Environment.cpp | 152 SymbolReaper &SymReaper; member in __anonfd44971b0111::MarkLiveCallback
155 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
158 SymReaper.markLive(sym); in VisitSymbol()
163 SymReaper.markLive(R); in VisitMemRegion()
179 SymbolReaper &SymReaper, in removeDeadBindings() argument
186 MarkLiveCallback CB(SymReaper); in removeDeadBindings()
202 if (SymReaper.isLive(E, BlkExpr.getLocationContext())) { in removeDeadBindings()
|
| D | RegionStore.cpp | 623 SymbolReaper& SymReaper) override;
2464 SymbolReaper &SymReaper; member in __anon2ea95d570811::RemoveDeadBindingsWorker
2473 SymReaper(symReaper), CurrentLCtx(LCtx) {} in RemoveDeadBindingsWorker()
2498 if (SymReaper.isLive(VR)) in VisitAddedToCluster()
2505 if (SymReaper.isLive(SR->getSymbol())) in VisitAddedToCluster()
2537 SymReaper.markLive(SymR->getSymbol()); in VisitCluster()
2541 SymReaper.markElementIndicesLive(I.getKey().getRegion()); in VisitCluster()
2565 SymReaper.markLive(R); in VisitBinding()
2579 SymReaper.markLive(*SI); in VisitBinding()
2589 if (SymReaper.isLive(SR->getSymbol())) { in UpdatePostponed()
[all …]
|
| D | ProgramState.cpp | 96 SymbolReaper &SymReaper) { in removeDeadBindingsFromEnvironmentAndStore() argument
106 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
110 SymReaper); in removeDeadBindingsFromEnvironmentAndStore()
112 SymReaper.setReapedStore(newStore); in removeDeadBindingsFromEnvironmentAndStore()
|
| D | CheckerManager.cpp | 547 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols() argument
549 LiveSymbolsChecker(state, SymReaper); in runCheckersForLiveSymbols()
589 SymbolReaper &SymReaper, in runCheckersForDeadSymbols() argument
593 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K); in runCheckersForDeadSymbols()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | TrustNonnullChecker.cpp | 133 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const { in checkDeadSymbols() argument
136 State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State); in checkDeadSymbols()
137 State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State); in checkDeadSymbols()
147 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, in dropDeadFromGDM() argument
150 if (!SymReaper.isLive(P.first) || !SymReaper.isLive(P.second)) in dropDeadFromGDM()
|
| D | InnerPointerChecker.cpp | 111 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
234 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
240 if (!SymReaper.isLiveRegion(Entry.first)) { in checkDeadSymbols()
248 if (!SymReaper.isLive(Symbol)) in checkDeadSymbols()
|
| D | SimpleStreamChecker.cpp | 76 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
174 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
182 bool IsSymDead = SymReaper.isDead(Sym); in checkDeadSymbols()
|
| D | ExprInspectionChecker.cpp | 64 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
282 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
289 if (!SymReaper.isDead(Sym)) in checkDeadSymbols()
300 if (!SymReaper.isLive(Sym)) in checkDeadSymbols()
|
| D | FuchsiaHandleChecker.cpp | 179 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
449 void FuchsiaHandleChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
460 if (!SymReaper.isDead(CurItem.first) || in checkDeadSymbols()
461 (ErrorSym && !SymReaper.isDead(ErrorSym))) in checkDeadSymbols()
|
| D | PthreadLockChecker.cpp | 216 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
627 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
635 if (SymReaper.isDead(I.second)) in checkDeadSymbols()
641 if (!SymReaper.isLiveRegion(I.first)) in checkDeadSymbols()
|
| /external/llvm-project/clang/unittests/StaticAnalyzer/ |
| D | SymbolReaperTest.cpp | 35 SymbolReaper SymReaper((StackFrameContext *)nullptr, (Stmt *)nullptr, in performTest() local
38 SymReaper.markLive(FR); in performTest()
39 EXPECT_TRUE(SymReaper.isLiveRegion(VR)); in performTest()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.h | 42 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { in checkDeadSymbols() argument
44 checkMissingWaits(SymReaper, Ctx); in checkDeadSymbols()
75 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
|
| D | MPIChecker.cpp | 99 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits() argument
101 if (!SymReaper.hasDeadSymbols()) in checkMissingWaits()
114 if (!SymReaper.isLiveRegion(Req.first)) { in checkMissingWaits()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| 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,
|
| D | MPIChecker.cpp | 101 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits() argument
113 if (!SymReaper.isLiveRegion(Req.first)) { in checkMissingWaits()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ExprInspectionChecker.cpp | 39 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
184 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
190 if (!SymReaper.isDead(Sym)) in checkDeadSymbols()
|
| D | SimpleStreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
175 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
183 bool IsSymDead = SymReaper.isDead(Sym); in checkDeadSymbols()
|
| D | StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
397 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols() argument
400 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
401 E = SymReaper.dead_end(); I != E; ++I) { in checkDeadSymbols()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Environment.h | 117 SymbolReaper &SymReaper,
|
| D | ConstraintManager.h | 159 SymbolReaper& SymReaper) = 0;
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Environment.h | 120 SymbolReaper &SymReaper,
|
| D | ConstraintManager.h | 142 SymbolReaper& SymReaper) = 0;
|