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()
938 ProgramStateManager &stateMgr, in invalidateRegionsWorker()2281 ProgramStateManager &stateMgr, in removeDeadBindingsWorker()
64 ProgramStateManager &stateMgr) in SValBuilder()
86 ProgramStateManager *stateMgr; variable