167   enum RangeKind { OutOfRange, WithinRange };  enumerator
205       case OutOfRange:  in apply()
216       case OutOfRange:  in negate()
220         Tmp.Kind = OutOfRange;  in negate()
806   Kind == OutOfRange ? Result += "out of" : Result += "within";  in describe()
1433                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1442                    0U, OutOfRange,  in initFunctionSummaries()
1452                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1458                      0U, OutOfRange,  in initFunctionSummaries()
1466                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1468           .Case({ArgumentCondition(0U, OutOfRange, Range(0, 127)),  in initFunctionSummaries()
1476                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1478           .Case({ArgumentCondition(0U, OutOfRange, {{'\t', '\t'}, {' ', ' '}}),  in initFunctionSummaries()
1486                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1489           .Case({ArgumentCondition(0U, OutOfRange, {{0, 32}, {127, 127}}),  in initFunctionSummaries()
1497                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1499           .Case({ArgumentCondition(0U, OutOfRange, Range('0', '9')),  in initFunctionSummaries()
1506                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1510               {ArgumentCondition(0U, OutOfRange, Range(33, 126)),  in initFunctionSummaries()
1519                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1523                  ArgumentCondition(0U, OutOfRange, Range('a', 'z')),  in initFunctionSummaries()
1531           .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)),  in initFunctionSummaries()
1538                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1540           .Case({ArgumentCondition(0U, OutOfRange, Range(32, 126)),  in initFunctionSummaries()
1549                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1552                      0U, OutOfRange,  in initFunctionSummaries()
1562                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1568           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
1578                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1585           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
1595                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1598           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
1747         ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))};  in initFunctionSummaries()
3131             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
3142             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))  in initFunctionSummaries()
3143             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));  in initFunctionSummaries()