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