Searched refs:getPersistentStateWithGDM (Results 1 – 3 of 3) sorted by relevance
417 ProgramStateRef ProgramStateManager::getPersistentStateWithGDM( in getPersistentStateWithGDM() function in ProgramStateManager
1104 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState); in removeDead()
607 ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,