1366   auto SingleValue = [](RangeInt v) {  in initFunctionSummaries()  local
1399                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1410                ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1418                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1426                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1432                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1435                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1442                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1445                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1452                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1456                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1463                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1466                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1472                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1477                ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1485                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1490                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1498                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1504                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1507                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1515                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1520                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1528                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1536                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1544                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1553                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1561                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1566                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1708         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))};  in initFunctionSummaries()
1710         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))};  in initFunctionSummaries()
2336             .Case({ReturnValueCondition(WithinRange, SingleValue(-1))},  in initFunctionSummaries()
2345             .Case({ReturnValueCondition(WithinRange, SingleValue(-1))},  in initFunctionSummaries()
2934             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));  in initFunctionSummaries()
2949             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));  in initFunctionSummaries()
2953             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
2959             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))  in initFunctionSummaries()
2960             .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1))));  in initFunctionSummaries()
2964             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))  in initFunctionSummaries()
2965             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));  in initFunctionSummaries()