Searched refs:getPersistentState (Results 1 – 2 of 2) sorted by relevance
110 ProgramStateRef Result = getPersistentState(NewState); in removeDeadBindings()268 return getStateManager().getPersistentState(NewSt); in BindExpr()285 return getStateManager().getPersistentState(NewSt); in bindExprAndLocation()341 return getPersistentState(State); in getInitialState()349 return getPersistentState(NewState); in getPersistentStateWithGDM()352 ProgramStateRef ProgramStateManager::getPersistentState(ProgramState &State) { in getPersistentState() function in ProgramStateManager377 return getStateManager().getPersistentState(NewSt); in makeWithStore()464 return getPersistentState(NewSt); in addGDM()476 return getPersistentState(NewState); in removeGDM()
512 ProgramStateRef getPersistentState(ProgramState &Impl);