HomeSort by: relevance | last modified time | path
    Searched refs:stateMgr (Results 1 - 7 of 7) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 48 : stateMgr(mgr),
53 stateMgr->getStoreManager().incrementReferenceCount(store);
58 stateMgr(RHS.stateMgr),
63 stateMgr->getStoreManager().incrementReferenceCount(store);
68 stateMgr->getStoreManager().decrementReferenceCount(store);
374 return stateMgr->getSValBuilder().areEqual(this, Lhs, Rhs);
439 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore);
441 stateMgr->getStoreManager().decrementReferenceCount(store);
486 return stateMgr->getOwningEngine().getAnalysisManager()
    [all...]
Store.cpp 42 StoreManager::StoreManager(ProgramStateManager &stateMgr)
43 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
75 ASTContext &Ctx = StateMgr.getContext();
SimpleSValBuilder.cpp 27 ProgramStateManager &stateMgr)
28 : SValBuilder(alloc, context, stateMgr) {}
55 ProgramStateManager &stateMgr) {
56 return new SimpleSValBuilder(alloc, context, stateMgr);
317 ProgramStateManager &StateMgr = State->getStateManager();
318 SValBuilder &SVB = StateMgr.getSValBuilder();
324 StateMgr.getOwningEngine().getAnalysisManager().getAnalyzerOptions();
991 Result = StateMgr.getStoreManager().evalDerivedToBase(
RegionStore.cpp 384 ExprEngine &Eng = StateMgr.getOwningEngine();
727 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
729 : RM(rm), Ctx(StateMgr.getContext()),
730 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {}
996 ProgramStateManager &stateMgr,
1004 : ClusterAnalysis<InvalidateRegionsWorker>(rm, stateMgr, b),
1346 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits,
2468 ProgramStateManager &stateMgr,
2471 : ClusterAnalysis<RemoveDeadBindingsWorker>(rm, stateMgr, b),
2602 RemoveDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx)
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 67 ProgramStateManager &StateMgr;
99 ProgramStateManager &stateMgr)
102 StateMgr(stateMgr), ArrayIndexTy(context.LongLongTy),
172 ProgramStateManager &getStateManager() { return StateMgr; }
403 ProgramStateManager &stateMgr);
Store.h 56 ProgramStateManager &StateMgr;
62 StoreManager(ProgramStateManager &stateMgr);
ProgramState.h 84 ProgramStateManager *stateMgr;
111 return *stateMgr;
657 return stateMgr->getConstraintManager();

Completed in 23 milliseconds