Searched refs:LastReturnState (Results 1 – 1 of 1) sorted by relevance
642 ProgramStateRef LastReturnState = N->getState(); in findModifyingFrames() local643 SVal ValueAtReturn = LastReturnState->getSVal(RegionOfInterest); in findModifyingFrames()651 LastReturnState = State; in findModifyingFrames()652 ValueAtReturn = LastReturnState->getSVal(RegionOfInterest); in findModifyingFrames()