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