Searched refs:WithinRange (Results 1 – 1 of 1) sorted by relevance
80 enum RangeKind { OutOfRange, WithinRange }; enumerator85 return WithinRange; in negateKind()86 case WithinRange: in negateKind()346 case WithinRange: in applyOnRange()1071 if (Kind == WithinRange) { in describe()1834 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()1951 0U, WithinRange, in initFunctionSummaries()2030 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()2036 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()2099 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()[all …]