Searched defs:stateMgr (Results 1 – 5 of 5) sorted by relevance
42 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager()
63 ProgramStateManager &stateMgr) in SimpleSValBuilder()88 ProgramStateManager &stateMgr) { in createSimpleSValBuilder()
53 ProgramStateManager &stateMgr) in SValBuilder()
991 ProgramStateManager &stateMgr, in InvalidateRegionsWorker()2762 ProgramStateManager &stateMgr, in RemoveDeadBindingsWorker()
84 ProgramStateManager *stateMgr; variable