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