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