Searched defs:stateMgr (Results 1 – 5 of 5) sorted by relevance
30 ProgramStateManager &stateMgr) in SimpleSValBuilder()54 ProgramStateManager &stateMgr) { in createSimpleSValBuilder()
24 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager()
937 ProgramStateManager &stateMgr, in invalidateRegionsWorker()2281 ProgramStateManager &stateMgr, in removeDeadBindingsWorker()
63 ProgramStateManager &stateMgr) in SValBuilder()
85 ProgramStateManager *stateMgr; variable