HomeSort by: relevance | last modified time | path
    Searched refs:SymReaper (Results 1 - 25 of 28) sorted by relevancy

1 2

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
MPIChecker.h 41 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const {
43 checkMissingWaits(SymReaper, Ctx);
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
MPIChecker.cpp 101 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper,
113 if (!SymReaper.isLiveRegion(Req.first)) {
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
Environment.cpp 152 SymbolReaper &SymReaper;
155 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {}
158 SymReaper.markLive(sym);
163 SymReaper.markLive(R);
179 SymbolReaper &SymReaper,
186 MarkLiveCallback CB(SymReaper);
202 if (SymReaper.isLive(E, BlkExpr.getLocationContext())) {
ProgramState.cpp 96 SymbolReaper &SymReaper) {
106 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
110 SymReaper);
112 SymReaper.setReapedStore(newStore);
RegionStore.cpp 622 SymbolReaper& SymReaper) override;
2463 SymbolReaper &SymReaper;
2469 RegionBindingsRef b, SymbolReaper &symReaper,
2472 SymReaper(symReaper), CurrentLCtx(LCtx) {}
2497 if (SymReaper.isLive(VR))
2504 if (SymReaper.isLive(SR->getSymbol()))
2536 SymReaper.markLive(SymR->getSymbol());
2540 SymReaper.markElementIndicesLive(I.getKey().getRegion());
2564 SymReaper.markLive(R)
    [all...]
CheckerManager.cpp 547 SymbolReaper &SymReaper) {
549 LiveSymbolsChecker(state, SymReaper);
589 SymbolReaper &SymReaper,
593 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K);
RangeConstraintManager.cpp 1403 SymbolReaper &SymReaper) override;
2035 SymbolReaper &SymReaper) {
2097 if (Class.isTriviallyDead(State, SymReaper)) {
2107 if (SymReaper.isDead(Sym)) {
2122 if (SymReaper.isDead(Member)) {
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
TrustNonnullChecker.cpp 133 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const {
136 State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State);
137 State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State);
147 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper,
150 if (!SymReaper.isLive(P.first) || !SymReaper.isLive(P.second))
InnerPointerChecker.cpp 115 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
262 void InnerPointerChecker::checkDeadSymbols(SymbolReaper &SymReaper,
268 if (!SymReaper.isLiveRegion(Entry.first)) {
276 if (!SymReaper.isLive(Symbol))
SimpleStreamChecker.cpp 76 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
174 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
182 bool IsSymDead = SymReaper.isDead(Sym);
ExprInspectionChecker.cpp 68 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
346 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper,
353 if (!SymReaper.isDead(Sym))
364 if (!SymReaper.isLive(Sym))
SmartPtrModeling.cpp 49 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
275 void SmartPtrModeling::checkDeadSymbols(SymbolReaper &SymReaper,
282 bool IsRegDead = !SymReaper.isLiveRegion(Region);
AnalysisOrderChecker.cpp 192 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const {
FuchsiaHandleChecker.cpp 201 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
506 void FuchsiaHandleChecker::checkDeadSymbols(SymbolReaper &SymReaper,
517 if (!SymReaper.isDead(CurItem.first) ||
518 (ErrorSym && !SymReaper.isDead(ErrorSym)))
PthreadLockChecker.cpp 216 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
636 void PthreadLockChecker::checkDeadSymbols(SymbolReaper &SymReaper,
644 if (SymReaper.isDead(I.second))
650 if (!SymReaper.isLiveRegion(I.first)) {
MoveChecker.cpp 680 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper,
686 bool IsRegDead = !SymReaper.isLiveRegion(Region);
BasicObjCFoundationChecks.cpp 822 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1118 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper,
1127 if (SymReaper.isDead(Sym)) {
StreamChecker.cpp 213 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1005 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
1015 if (!SymReaper.isDead(Sym))
MallocChecker.cpp 325 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
2585 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper,
2595 if (SymReaper.isDead(I->first)) {
2615 if (SymReaper.isDead(I->first) ||
2616 SymReaper.isDead(I->second.ReallocatedSym)) {
2624 if (SymReaper.isDead(I->first) ||
2625 SymReaper.isDead(I->second)) {
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 159 SymbolReaper& SymReaper) = 0;
Environment.h 117 SymbolReaper &SymReaper,
SMTConstraintManager.h 201 SymbolReaper &SymReaper) override {
206 if (SymReaper.isDead(I->first))
Store.h 187 SymbolReaper &SymReaper) = 0;
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 379 SymbolReaper &SymReaper);
388 SymbolReaper &SymReaper, const Stmt *S,
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
RetainCountChecker.h 330 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;

Completed in 127 milliseconds

1 2