Searched refs:ValueAtN (Results 1 – 1 of 1) sorted by relevance
335 SVal ValueAtN = N->getState()->getSVal(RegionOfInterest); in wasRegionOfInterestModifiedAt() local337 .areEqual(State, ValueAtN, ValueAfter) in wasRegionOfInterestModifiedAt()339 (!ValueAtN.isUndef() || !ValueAfter.isUndef())) in wasRegionOfInterestModifiedAt()