1392   auto SingleValue = [](RangeInt v) {  in initFunctionSummaries()  local
1433                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1444                ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1452                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1460                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1466                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1469                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1476                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1479                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1486                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1490                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1497                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1500                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1506                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1511                ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1519                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1524                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1532                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1538                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1541                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1549                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1554                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1562                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1570                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1578                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1587                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1595                  ReturnValueCondition(OutOfRange, SingleValue(0))},  in initFunctionSummaries()
1600                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1645           .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)),  in initFunctionSummaries()
1646                  ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
1741         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))};  in initFunctionSummaries()
1743         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))};  in initFunctionSummaries()
1747         ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))};  in initFunctionSummaries()
1789             .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},  in initFunctionSummaries()
2499             .Case({ReturnValueCondition(WithinRange, SingleValue(-1))},  in initFunctionSummaries()
2508             .Case({ReturnValueCondition(WithinRange, SingleValue(-1))},  in initFunctionSummaries()
3108             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(0))));  in initFunctionSummaries()
3112             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));  in initFunctionSummaries()
3127             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));  in initFunctionSummaries()
3131             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
3137             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))  in initFunctionSummaries()
3138             .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1))));  in initFunctionSummaries()
3142             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))  in initFunctionSummaries()
3143             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));  in initFunctionSummaries()
3182             .Case({ReturnValueCondition(WithinRange, SingleValue(0))},  in initFunctionSummaries()
3184             .Case({ReturnValueCondition(WithinRange, SingleValue(1))},  in initFunctionSummaries()