170   enum RangeKind { OutOfRange, WithinRange };  enumerator
208       case OutOfRange:  in apply()
219       case OutOfRange:  in negate()
223         Tmp.Kind = OutOfRange;  in negate()
801   Kind == OutOfRange ? Result += "out of" : Result += "within";  in describe()
1399                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1408                    0U, OutOfRange,  in initFunctionSummaries()
1418                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1424                      0U, OutOfRange,  in initFunctionSummaries()
1432                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1434           .Case({ArgumentCondition(0U, OutOfRange, Range(0, 127)),  in initFunctionSummaries()
1442                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1444           .Case({ArgumentCondition(0U, OutOfRange, {{'\t', '\t'}, {' ', ' '}}),  in initFunctionSummaries()
1452                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1455           .Case({ArgumentCondition(0U, OutOfRange, {{0, 32}, {127, 127}}),  in initFunctionSummaries()
1463                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1465           .Case({ArgumentCondition(0U, OutOfRange, Range('0', '9')),  in initFunctionSummaries()
1472                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1476               {ArgumentCondition(0U, OutOfRange, Range(33, 126)),  in initFunctionSummaries()
1485                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1489                  ArgumentCondition(0U, OutOfRange, Range('a', 'z')),  in initFunctionSummaries()
1497           .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)),  in initFunctionSummaries()
1504                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1506           .Case({ArgumentCondition(0U, OutOfRange, Range(32, 126)),  in initFunctionSummaries()
1515                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1518                      0U, OutOfRange,  in initFunctionSummaries()
1528                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1534           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
1544                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1551           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
1561                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1564           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
2953             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
2964             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))  in initFunctionSummaries()
2965             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));  in initFunctionSummaries()