@@ -34,7 +34,7 @@ private class NumericSummaries extends SummaryModelCsv {
3434 ";BinaryInteger;true;init(_:strategy:);;;Argument[0];ReturnValue;taint" ,
3535 ";BinaryInteger;true;formatted();;;Argument[-1];ReturnValue;taint" ,
3636 ";BinaryInteger;true;formatted(_:);;;Argument[-1];ReturnValue;taint" ,
37- ";BinaryInteger;true;quotientAndRemainder(dividingBy:);;;Argument[-1..0];ReturnValue.TupleElement[0.. 1];taint" ,
37+ ";BinaryInteger;true;quotientAndRemainder(dividingBy:);;;Argument[-1..0];ReturnValue.TupleElement[0, 1];taint" ,
3838 ";FixedWidthInteger;true;init(_:radix:);;;Argument[0];ReturnValue.OptionalSome;taint" ,
3939 ";FixedWidthInteger;true;init(littleEndian:);;;Argument[0];ReturnValue;taint" ,
4040 ";FixedWidthInteger;true;init(bigEndian:);;;Argument[0];ReturnValue;taint" ,
@@ -43,9 +43,9 @@ private class NumericSummaries extends SummaryModelCsv {
4343 ";FixedWidthInteger;true;multipliedReportingOverflow(by:);;;Argument[-1..0];ReturnValue.TupleElement[0];taint" ,
4444 ";FixedWidthInteger;true;dividedReportingOverflow(by:);;;Argument[-1..0];ReturnValue.TupleElement[0];taint" ,
4545 ";FixedWidthInteger;true;remainderReportingOverflow(dividingBy:);;;Argument[-1..0];ReturnValue.TupleElement[0];taint" ,
46- ";FixedWidthInteger;true;dividingFullWidth(_:);;;Argument[-1];ReturnValue.TupleElement[0.. 1];taint" ,
47- ";FixedWidthInteger;true;dividingFullWidth(_:);;;Argument[1].TupleElement[0.. 1];ReturnValue.TupleElement[0.. 1];taint" ,
48- ";FixedWidthInteger;true;multipliedFullWidth(by:);;;Argument[-1..0];ReturnValue.TupleElement[0.. 1];taint" ,
46+ ";FixedWidthInteger;true;dividingFullWidth(_:);;;Argument[-1];ReturnValue.TupleElement[0, 1];taint" ,
47+ ";FixedWidthInteger;true;dividingFullWidth(_:);;;Argument[1].TupleElement[0, 1];ReturnValue.TupleElement[0, 1];taint" ,
48+ ";FixedWidthInteger;true;multipliedFullWidth(by:);;;Argument[-1..0];ReturnValue.TupleElement[0, 1];taint" ,
4949 ";FloatingPoint;true;init(_:);;;Argument[0];ReturnValue;taint" ,
5050 ";FloatingPoint;true;init(sign:exponent:significand:);;;Argument[1..2];ReturnValue;taint" ,
5151 ";FloatingPoint;true;init(signOf:magnitudeOf:);;;Argument[1];ReturnValue;taint" ,
0 commit comments