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 45 ProgramStateManager &StateMgr;
63 ProgramStateManager &stateMgr)
67 StateMgr(stateMgr),
124 ProgramStateManager &getStateManager() { return StateMgr; }
327 ProgramStateManager &stateMgr);
Store.h 43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
ProgramState.h 85 ProgramStateManager *stateMgr;
110 return *stateMgr;
626 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 355 if (SubEngine *Eng = StateMgr.getOwningEngine()) {
683 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
685 : RM(rm), Ctx(StateMgr.getContext()),
686 svalBuilder(StateMgr.getSValBuilder()),
    [all...]

Completed in 53 milliseconds