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()
951 ProgramStateManager &stateMgr, in invalidateRegionsWorker()2184 ProgramStateManager &stateMgr, in removeDeadBindingsWorker()
63 ProgramStateManager &stateMgr) in SValBuilder()
84 ProgramStateManager *stateMgr; variable