Searched refs:removeDeadBindingsFromEnvironmentAndStore (Results 1 – 3 of 3) sorted by relevance
91 ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore( in removeDeadBindingsFromEnvironmentAndStore() function in ProgramStateManager
1071 CleanedState = StateMgr.removeDeadBindingsFromEnvironmentAndStore( in removeDead()
586 removeDeadBindingsFromEnvironmentAndStore(ProgramStateRef St,