Searched refs:LastReturnState (Results 1 – 1 of 1) sorted by relevance
496 ProgramStateRef LastReturnState = N->getState(); in findModifyingFrames() local497 SVal ValueAtReturn = LastReturnState->getSVal(RegionOfInterest); in findModifyingFrames()505 LastReturnState = State; in findModifyingFrames()506 ValueAtReturn = LastReturnState->getSVal(RegionOfInterest); in findModifyingFrames()