HomeSort by relevance Sort by last modified time
    Searched refs:stateMgr (Results 1 - 7 of 7) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
332 ProgramStateManager &stateMgr);
Store.h 43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
ProgramState.h 86 ProgramStateManager *stateMgr;
111 return *stateMgr;
634 return stateMgr->getConstraintManager();
  /external/clang/lib/StaticAnalyzer/Core/
Store.cpp 24 StoreManager::StoreManager(ProgramStateManager &stateMgr)
25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
64 ASTContext &Ctx = StateMgr.getContext();
ProgramState.cpp 47 : stateMgr(mgr),
52 stateMgr->getStoreManager().incrementReferenceCount(store);
57 stateMgr(RHS.stateMgr),
62 stateMgr->getStoreManager().incrementReferenceCount(store);
67 stateMgr->getStoreManager().decrementReferenceCount(store);
412 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore);
414 stateMgr->getStoreManager().decrementReferenceCount(store);
SimpleSValBuilder.cpp 30 ProgramStateManager &stateMgr)
31 : SValBuilder(alloc, context, stateMgr) {}
54 ProgramStateManager &stateMgr) {
55 return new SimpleSValBuilder(alloc, context, stateMgr);
    [all...]
RegionStore.cpp 351 if (SubEngine *Eng = StateMgr.getOwningEngine()) {
669 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
671 : RM(rm), Ctx(StateMgr.getContext()),
672 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {}
    [all...]

Completed in 311 milliseconds