Searched defs:stateMgr (Results 1 – 5 of 5) sorted by relevance
99 ProgramStateManager &stateMgr) in SValBuilder()
84 ProgramStateManager *stateMgr; variable
27 ProgramStateManager &stateMgr) in SimpleSValBuilder()55 ProgramStateManager &stateMgr) { in createSimpleSValBuilder()
42 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager()
996 ProgramStateManager &stateMgr, in InvalidateRegionsWorker()2468 ProgramStateManager &stateMgr, in RemoveDeadBindingsWorker()