Swift: Update dropFirst / dropLast / reversed models for Swift 6.

Author: geoffw0

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

@@ -21,7 +21,9 @@ private class CollectionSummaries extends SummaryModelCsv {
         ";Collection;true;suffix(_:);;;Argument[-1];ReturnValue;taint",
         ";Collection;true;suffix(from:);;;Argument[-1];ReturnValue;taint",
         ";Collection;true;dropFirst(_:);;;Argument[-1];ReturnValue;taint",
+        ";Collection;true;dropFirst(_:);;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
         ";Collection;true;dropLast(_:);;;Argument[-1];ReturnValue;taint",
+        ";Collection;true;dropLast(_:);;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
         ";Collection;true;split(maxSplits:omittingEmptySubsequences:whereSeparator:);;;Argument[-1];ReturnValue;taint",
         ";Collection;true;split(separator:maxSplits:omittingEmptySubsequences:);;;Argument[-1];ReturnValue;taint",
         ";Collection;true;removeFirst();;;Argument[-1];ReturnValue;taint",
@@ -38,9 +40,13 @@ private class CollectionSummaries extends SummaryModelCsv {
         ";RangeReplaceableCollection;true;insert(_:at:);;;Argument[0];Argument[-1];taint",
         ";RangeReplaceableCollection;true;replaceSubrange(_:with:);;;Argument[1];Argument[-1];taint",
         ";RangeReplaceableCollection;true;replaceSubrange(_:with:);;;Argument[1].CollectionElement;Argument[-1].CollectionElement;value",
+        ";BidirectionalCollection;true;dropLast(_:);;;Argument[-1];ReturnValue;taint",
+        ";BidirectionalCollection;true;dropLast(_:);;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
         ";BidirectionalCollection;true;joined(separator:);;;Argument[-1..0];ReturnValue;taint",
         ";BidirectionalCollection;true;last(where:);;;Argument[-1];ReturnValue;taint",
         ";BidirectionalCollection;true;popLast();;;Argument[-1];ReturnValue;taint",
+        ";BidirectionalCollection;true;reversed();;;Argument[-1];ReturnValue;taint",
+        ";BidirectionalCollection;true;reversed();;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
         ";MutableCollection;true;withContiguousMutableStorageIfAvailable(_:);;;Argument[-1];Argument[0].Parameter[0].CollectionElement;taint",
         ";MutableCollection;true;withContiguousMutableStorageIfAvailable(_:);;;Argument[-1].CollectionElement;Argument[0].Parameter[0].CollectionElement;value",
         ";MutableCollection;true;withContiguousMutableStorageIfAvailable(_:);;;Argument[0].Parameter[0].CollectionElement;Argument[-1].CollectionElement;value",

swift/ql/test/library-tests/dataflow/taint/libraries/TaintInline.expected

@@ -1,8 +1,6 @@
 testFailures
 | optionset.swift:60:49:61:1 | // $ tainted=60\n | Missing result: tainted=60 |
 | optionset.swift:65:58:66:1 | // $ tainted=65\n | Missing result: tainted=65 |
-| string.swift:237:35:238:1 | // $ tainted=217\n | Missing result: tainted=217 |
-| string.swift:244:33:245:1 | // $ tainted=217\n | Missing result: tainted=217 |
 | string.swift:270:40:271:1 | // $ tainted=217\n | Missing result: tainted=217 |
 | string.swift:271:40:272:1 | // $ tainted=217\n | Missing result: tainted=217 |
 | string.swift:272:42:273:1 | // $ tainted=217\n | Missing result: tainted=217 |