165   enum RangeKind { OutOfRange, WithinRange };  enumerator
203       case OutOfRange:  in apply()
214       case OutOfRange:  in negate()
218         Tmp.Kind = OutOfRange;  in negate()
641   Kind == OutOfRange ? Result += "out of" : Result += "within";  in describe()
1213                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1220                    0U, OutOfRange,  in initFunctionSummaries()
1229                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1233                      0U, OutOfRange,  in initFunctionSummaries()
1240                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1241           .Case({ArgumentCondition(0U, OutOfRange, Range(0, 127)),  in initFunctionSummaries()
1247                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1248           .Case({ArgumentCondition(0U, OutOfRange, {{'\t', '\t'}, {' ', ' '}}),  in initFunctionSummaries()
1254                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1255           .Case({ArgumentCondition(0U, OutOfRange, {{0, 32}, {127, 127}}),  in initFunctionSummaries()
1261                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1262           .Case({ArgumentCondition(0U, OutOfRange, Range('0', '9')),  in initFunctionSummaries()
1268                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1269           .Case({ArgumentCondition(0U, OutOfRange, Range(33, 126)),  in initFunctionSummaries()
1276                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1279                  ArgumentCondition(0U, OutOfRange, Range('a', 'z')),  in initFunctionSummaries()
1284           .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)),  in initFunctionSummaries()
1290                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1291           .Case({ArgumentCondition(0U, OutOfRange, Range(32, 126)),  in initFunctionSummaries()
1299                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1301                      0U, OutOfRange,  in initFunctionSummaries()
1309                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1312           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
1320                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1324           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
1332                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1333           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
2595             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
2606             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))  in initFunctionSummaries()
2607             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));  in initFunctionSummaries()