Searched refs:ValueAtReturn (Results 1 – 1 of 1) sorted by relevance
643 SVal ValueAtReturn = LastReturnState->getSVal(RegionOfInterest); in findModifyingFrames() local652 ValueAtReturn = LastReturnState->getSVal(RegionOfInterest); in findModifyingFrames()657 if (wasRegionOfInterestModifiedAt(RegionOfInterest, N, ValueAtReturn)) { in findModifyingFrames()