Searched defs:stateMgr (Results 1 – 5 of 5) sorted by relevance
42 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager() argument
67 ProgramStateManager &stateMgr) in SimpleSValBuilder()102 ProgramStateManager &stateMgr) { in createSimpleSValBuilder()
53 ProgramStateManager &stateMgr) in SValBuilder()
987 ProgramStateManager &stateMgr, in InvalidateRegionsWorker() argument 2746 RemoveDeadBindingsWorker(RegionStoreManager & rm,ProgramStateManager & stateMgr,RegionBindingsRef b,SymbolReaper & symReaper,const StackFrameContext * LCtx) RemoveDeadBindingsWorker() argument
84 ProgramStateManager *stateMgr; variable