1180   auto SingleValue = [](RangeInt v) {  in initFunctionSummaries()  local
1213                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1222                ReturnValueCondition(WithinRange, SingleValue(0))})  in initFunctionSummaries()
1229                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1235                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1240                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1242                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1247                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1249                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1254                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1256                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1261                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1263                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1268                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1270                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1276                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1280                  ReturnValueCondition(WithinRange, SingleValue(0))})  in initFunctionSummaries()
1285                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1290                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1292                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1299                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1303                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1309                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1314                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1320                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1326                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
1332                  ReturnValueCondition(OutOfRange, SingleValue(0))})  in initFunctionSummaries()
1335                  ReturnValueCondition(WithinRange, SingleValue(0))}));  in initFunctionSummaries()
2013             .Case({ReturnValueCondition(WithinRange, SingleValue(-1))})  in initFunctionSummaries()
2021             .Case({ReturnValueCondition(WithinRange, SingleValue(-1))})  in initFunctionSummaries()
2576             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));  in initFunctionSummaries()
2591             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));  in initFunctionSummaries()
2595             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));  in initFunctionSummaries()
2601             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))  in initFunctionSummaries()
2602             .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1))));  in initFunctionSummaries()
2606             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))  in initFunctionSummaries()
2607             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));  in initFunctionSummaries()