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