80   enum RangeKind { OutOfRange, WithinRange };  enumerator
84     case OutOfRange:  in negateKind()
87       return OutOfRange;  in negateKind()
343       case OutOfRange:  in applyOnRange()
1836                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1845                    0U, OutOfRange,  in initFunctionSummaries()
1856                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1862                      0U, OutOfRange,  in initFunctionSummaries()
1870                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1872           .Case({ArgumentCondition(0U, OutOfRange, Range(0, 127)),  in initFunctionSummaries()
1880                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1882           .Case({ArgumentCondition(0U, OutOfRange, {{'\t', '\t'}, {' ', ' '}}),  in initFunctionSummaries()
1890                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1893           .Case({ArgumentCondition(0U, OutOfRange, {{0, 32}, {127, 127}}),  in initFunctionSummaries()
1901                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1903           .Case({ArgumentCondition(0U, OutOfRange, Range('0', '9')),  in initFunctionSummaries()
1910                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1914               {ArgumentCondition(0U, OutOfRange, Range(33, 126)),  in initFunctionSummaries()
1923                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1927                  ArgumentCondition(0U, OutOfRange, Range('a', 'z')),  in initFunctionSummaries()
1935           .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)),  in initFunctionSummaries()
1942                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1944           .Case({ArgumentCondition(0U, OutOfRange, Range(32, 126)),  in initFunctionSummaries()
1953                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1956                      0U, OutOfRange,  in initFunctionSummaries()
1966                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1972           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
1982                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1989           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
1999                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
2002           .Case({ArgumentCondition(0U, OutOfRange,  in initFunctionSummaries()
2157         ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))};  in initFunctionSummaries()
2260             .Case({ArgumentCondition(0, OutOfRange, Range(0, UCharRangeMax)),  in initFunctionSummaries()
3786             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(0))));  in initFunctionSummaries()
3790             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
3794             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(1, 2))));  in initFunctionSummaries()
3798             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-1, 1))));  in initFunctionSummaries()
3802             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-2, -1))));  in initFunctionSummaries()
3806             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-10, 10))));  in initFunctionSummaries()
3811                                     0U, OutOfRange, Range(-1, IntMax))));  in initFunctionSummaries()
3816                                     0U, OutOfRange, Range(0, IntMax))));  in initFunctionSummaries()
3821                                     0U, OutOfRange, Range(1, IntMax))));  in initFunctionSummaries()
3826                                     0U, OutOfRange, Range(IntMin, -1))));  in initFunctionSummaries()
3831                                     0U, OutOfRange, Range(IntMin, 0))));  in initFunctionSummaries()
3836                                     0U, OutOfRange, Range(IntMin, 1))));  in initFunctionSummaries()
3841                                     0U, OutOfRange, Range({1, 2}, {4, 6}))));  in initFunctionSummaries()
3846                 ArgumentCondition(0U, OutOfRange, Range({1, 2}, {4, IntMax}))));  in initFunctionSummaries()
3856             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
3867             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))  in initFunctionSummaries()
3868             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));  in initFunctionSummaries()