| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIChecker.h | 42 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const {
44 checkMissingWaits(SymReaper, Ctx);
75 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
|
| MPIChecker.cpp | 99 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper,
101 if (!SymReaper.hasDeadSymbols())
114 if (!SymReaper.isLiveRegion(Req.first)) {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| Environment.cpp | 125 SymbolReaper &SymReaper;
127 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {}
129 SymReaper.markLive(sym);
133 SymReaper.markLive(R);
148 SymbolReaper &SymReaper,
156 MarkLiveCallback CB(SymReaper);
170 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) {
180 SymReaper.maybeDead(*SI)
[all...] |
| RegionStore.cpp | 559 SymbolReaper& SymReaper) override;
[all...] |
| ProgramState.cpp | 92 SymbolReaper& SymReaper) {
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
106 SymReaper);
108 SymReaper.setReapedStore(newStore);
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper);
|
| CheckerManager.cpp | 474 SymbolReaper &SymReaper) {
476 LiveSymbolsCheckers[i](state, SymReaper);
513 SymbolReaper &SymReaper,
517 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K);
|
| RangeConstraintManager.cpp | 337 SymbolReaper& SymReaper) override;
401 SymbolReaper& SymReaper) {
408 if (SymReaper.maybeDead(sym))
|
| ExprEngine.cpp | 371 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
373 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper);
378 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
383 if (!SymReaper.hasDeadSymbols()) {
394 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper,
407 SymReaper);
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 120 SymbolReaper &SymReaper,
|
| ConstraintManager.h | 142 SymbolReaper& SymReaper) = 0;
|
| Store.h | 145 SymbolReaper& SymReaper) = 0;
|
| ProgramState.h | 523 SymbolReaper& SymReaper);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ExprInspectionChecker.cpp | 39 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
184 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper,
190 if (!SymReaper.isDead(Sym))
|
| SimpleStreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
175 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
183 bool IsSymDead = SymReaper.isDead(Sym);
|
| StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
397 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
400 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(),
401 E = SymReaper.dead_end(); I != E; ++I) {
|
| BasicObjCFoundationChecks.cpp | 850 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
[all...] |
| MallocChecker.cpp | 207 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 312 SymbolReaper &SymReaper);
321 SymbolReaper &SymReaper, const Stmt *S,
|
