1275   const RangeInt UCharRangeMax =  in initFunctionSummaries()  local
1404           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1409                    {{'0', '9'}, {'A', 'Z'}, {'a', 'z'}, {128, UCharRangeMax}}),  in initFunctionSummaries()
1413               0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}})));  in initFunctionSummaries()
1421           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1425                      {{'A', 'Z'}, {'a', 'z'}, {128, UCharRangeMax}}),  in initFunctionSummaries()
1494           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1497           .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)),  in initFunctionSummaries()
1532           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1535                                    {{9, 13}, {' ', ' '}, {128, UCharRangeMax}}),  in initFunctionSummaries()
1548           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1552                                    {{'A', 'Z'}, {128, UCharRangeMax}}),  in initFunctionSummaries()
1573               0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}})));  in initFunctionSummaries()
1578               0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}})));  in initFunctionSummaries()
1583               0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}})));  in initFunctionSummaries()
1590                                       {{EOFv, EOFv}, {0, UCharRangeMax}})},  in initFunctionSummaries()
1596                                       {{EOFv, EOFv}, {0, UCharRangeMax}})},  in initFunctionSummaries()
2355             .Case({ReturnValueCondition(WithinRange, Range(-1, UCharRangeMax))},  in initFunctionSummaries()