Searched refs:StOutOfRange (Results 1 – 1 of 1) sorted by relevance
119 ProgramStateRef StOutOfRange = assumeWithinInclusiveRange(State, Value, in assumeWithinInclusiveRangeDual() local121 if (!StOutOfRange) { in assumeWithinInclusiveRangeDual()128 return ProgramStatePair(StInRange, StOutOfRange); in assumeWithinInclusiveRangeDual()