Skip to content

Commit 0374414

Browse files
committed
Swift: Fix TupleElement syntax.
1 parent e31ca58 commit 0374414

File tree

1 file changed

+4
-4
lines changed
  • swift/ql/lib/codeql/swift/frameworks/StandardLibrary

1 file changed

+4
-4
lines changed

swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Numeric.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -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

Comments
 (0)