Searched refs:ValueAfter (Results 1 – 1 of 1) sorted by relevance
243 SVal ValueAfter) { in wasRegionOfInterestModifiedAt() argument261 if (!Mgr.getSValBuilder().areEqual(State, ValueAtN, ValueAfter).isConstrainedTrue() && in wasRegionOfInterestModifiedAt()262 (!ValueAtN.isUndef() || !ValueAfter.isUndef())) in wasRegionOfInterestModifiedAt()