| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 368 void SymbolReaper::markDependentsLive(SymbolRef sym) { in markDependentsLive()
386 void SymbolReaper::markLive(SymbolRef sym) { in markLive()
392 void SymbolReaper::markLive(const MemRegion *region) { in markLive()
397 void SymbolReaper::markElementIndicesLive(const MemRegion *region) { in markElementIndicesLive()
408 void SymbolReaper::markInUse(SymbolRef sym) { in markInUse()
413 bool SymbolReaper::maybeDead(SymbolRef sym) { in maybeDead()
421 bool SymbolReaper::isLiveRegion(const MemRegion *MR) { in isLiveRegion()
452 bool SymbolReaper::isLive(SymbolRef sym) { in isLive()
501 SymbolReaper::isLive(const Stmt *ExprVal, const LocationContext *ELCtx) const { in isLive()
520 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{ in isLive()
[all …]
|
| D | Environment.cpp | 125 SymbolReaper &SymReaper;
127 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {} in MarkLiveCallback()
148 SymbolReaper &SymReaper, in removeDeadBindings()
|
| D | CheckerManager.cpp | 474 SymbolReaper &SymReaper) { in runCheckersForLiveSymbols()
483 SymbolReaper &SR;
491 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr, in CheckDeadSymbolsContext()
513 SymbolReaper &SymReaper, in runCheckersForDeadSymbols()
|
| D | RangeConstraintManager.cpp | 337 SymbolReaper& SymReaper) override;
401 SymbolReaper& SymReaper) { in removeDeadBindings()
|
| D | RegionStore.cpp | 559 SymbolReaper& SymReaper) override;
2276 SymbolReaper &SymReaper;
2282 RegionBindingsRef b, SymbolReaper &symReaper, in removeDeadBindingsWorker()
2415 SymbolReaper& SymReaper) { in removeDeadBindings()
2421 for (SymbolReaper::region_iterator I = SymReaper.region_begin(), in removeDeadBindings()
|
| D | ProgramState.cpp | 92 SymbolReaper& SymReaper) { in removeDeadBindings()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.h | 42 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { in checkDeadSymbols()
75 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
|
| D | MPIChecker.cpp | 99 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Environment.h | 29 class SymbolReaper; variable
120 SymbolReaper &SymReaper,
|
| D | ConstraintManager.h | 142 SymbolReaper& SymReaper) = 0;
|
| D | SymbolManager.h | 475 class SymbolReaper {
505 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, SymbolManager& symmgr, in SymbolReaper() function
|
| D | Store.h | 145 SymbolReaper& SymReaper) = 0;
|
| D | ProgramState.h | 523 SymbolReaper& SymReaper);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 47 class SymbolReaper; variable
312 SymbolReaper &SymReaper);
321 SymbolReaper &SymReaper, const Stmt *S,
443 typedef CheckerFn<void (SymbolReaper &, CheckerContext &)>
446 typedef CheckerFn<void (ProgramStateRef,SymbolReaper &)> CheckLiveSymbolsFunc;
|
| D | Checker.h | 289 SymbolReaper &SR) { in _checkLiveSymbols()
304 SymbolReaper &SR, CheckerContext &C) { in _checkDeadSymbols()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CheckerDocumentation.cpp | 163 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {} in checkDeadSymbols()
231 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {} in checkLiveSymbols()
|
| D | ExprInspectionChecker.cpp | 39 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
184 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| D | SimpleStreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
175 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|
| D | StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
397 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
400 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), in checkDeadSymbols()
|
| D | PointerArithChecker.cpp | 72 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
78 void PointerArithChecker::checkDeadSymbols(SymbolReaper &SR, in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| D | MacOSKeychainAPIChecker.cpp | 59 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
548 void MacOSKeychainAPIChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| D | DynamicTypePropagation.cpp | 106 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
115 void DynamicTypePropagation::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| D | CStringChecker.cpp | 64 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const;
65 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
2174 SymbolReaper &SR) const { in checkLiveSymbols()
2188 void CStringChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| D | NullabilityChecker.cpp | 117 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
474 void NullabilityChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
|
| D | BasicObjCFoundationChecks.cpp | 850 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1148 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
|