Swift: more ArrayContent tests

2026-04-26 01:05:15 +02:00 · 2023-07-17 14:58:40 +00:00
parent 42cc6448cc
commit ef9376d39c
1 changed files with 12 additions and 0 deletions
--- a/swift/ql/test/library-tests/dataflow/dataflow/test.swift
+++ b/swift/ql/test/library-tests/dataflow/dataflow/test.swift
@@ -645,4 +645,16 @@ func testArray() {
    var matrix = [[source()]]
    sink(arg: matrix[0])
    sink(arg: matrix[0][0]) // $ flow=645
+
+    var arr3 = [1]
+    var arr4 = arr2 + arr3
+    sink(arg: arr3)
+    sink(arg: arr4) // $ flow=642
+
+    var arr5 = Array(repeating: source(), count: 2)
+    sink(arg: arr5) // $ flow=654
+
+    var arr6 = [1,2,3]
+    arr6.insert(source(), at: 2)
+    sink(arg: arr6)
 }