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()
2154         ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))};  in initFunctionSummaries()
3718             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(0))));  in initFunctionSummaries()
3722             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
3726             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(1, 2))));  in initFunctionSummaries()
3730             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-1, 1))));  in initFunctionSummaries()
3734             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-2, -1))));  in initFunctionSummaries()
3738             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-10, 10))));  in initFunctionSummaries()
3743                                     0U, OutOfRange, Range(-1, IntMax))));  in initFunctionSummaries()
3748                                     0U, OutOfRange, Range(0, IntMax))));  in initFunctionSummaries()
3753                                     0U, OutOfRange, Range(1, IntMax))));  in initFunctionSummaries()
3758                                     0U, OutOfRange, Range(IntMin, -1))));  in initFunctionSummaries()
3763                                     0U, OutOfRange, Range(IntMin, 0))));  in initFunctionSummaries()
3768                                     0U, OutOfRange, Range(IntMin, 1))));  in initFunctionSummaries()
3773                                     0U, OutOfRange, Range({1, 2}, {4, 6}))));  in initFunctionSummaries()
3778                 ArgumentCondition(0U, OutOfRange, Range({1, 2}, {4, IntMax}))));  in initFunctionSummaries()
3788             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
3799             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))  in initFunctionSummaries()
3800             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));  in initFunctionSummaries()