Swift: Add dataflow tests for tuples.

Author: geoffw0

swift/ql/test/library-tests/dataflow/dataflow/LocalFlow.expected

@@ -192,3 +192,33 @@
 | test.swift:266:15:266:15 | x | test.swift:267:15:267:15 | x |
 | test.swift:266:15:266:25 | call to signum() | test.swift:266:15:266:25 | OptionalEvaluationExpr |
 | test.swift:267:15:267:15 | x | test.swift:268:16:268:16 | x |
+| test.swift:277:9:277:9 | WriteDef | test.swift:279:15:279:15 | t1 |
+| test.swift:277:14:277:26 | (...) | test.swift:277:9:277:9 | WriteDef |
+| test.swift:279:15:279:15 | t1 | test.swift:280:15:280:15 | t1 |
+| test.swift:280:15:280:15 | t1 | test.swift:281:15:281:15 | t1 |
+| test.swift:281:15:281:15 | t1 | test.swift:283:5:283:5 | t1 |
+| test.swift:283:5:283:5 | t1 | test.swift:285:15:285:15 | t1 |
+| test.swift:285:15:285:15 | t1 | test.swift:286:15:286:15 | t1 |
+| test.swift:286:15:286:15 | t1 | test.swift:287:15:287:15 | t1 |
+| test.swift:287:15:287:15 | t1 | test.swift:289:5:289:5 | t1 |
+| test.swift:289:5:289:5 | t1 | test.swift:291:15:291:15 | t1 |
+| test.swift:291:15:291:15 | t1 | test.swift:292:15:292:15 | t1 |
+| test.swift:292:15:292:15 | t1 | test.swift:293:15:293:15 | t1 |
+| test.swift:297:9:297:9 | WriteDef | test.swift:298:14:298:14 | t1 |
+| test.swift:297:14:297:45 | (...) | test.swift:297:9:297:9 | WriteDef |
+| test.swift:298:9:298:9 | WriteDef | test.swift:305:15:305:15 | t2 |
+| test.swift:298:14:298:14 | t1 | test.swift:298:9:298:9 | WriteDef |
+| test.swift:298:14:298:14 | t1 | test.swift:299:21:299:21 | t1 |
+| test.swift:299:9:299:17 | WriteDef | test.swift:309:15:309:15 | a |
+| test.swift:299:9:299:17 | WriteDef | test.swift:310:15:310:15 | b |
+| test.swift:299:9:299:17 | WriteDef | test.swift:311:15:311:15 | c |
+| test.swift:299:21:299:21 | t1 | test.swift:299:9:299:17 | WriteDef |
+| test.swift:299:21:299:21 | t1 | test.swift:299:9:299:17 | WriteDef |
+| test.swift:299:21:299:21 | t1 | test.swift:299:9:299:17 | WriteDef |
+| test.swift:299:21:299:21 | t1 | test.swift:301:15:301:15 | t1 |
+| test.swift:301:15:301:15 | t1 | test.swift:302:15:302:15 | t1 |
+| test.swift:302:15:302:15 | t1 | test.swift:303:15:303:15 | t1 |
+| test.swift:303:15:303:15 | t1 | test.swift:304:15:304:15 | t1 |
+| test.swift:305:15:305:15 | t2 | test.swift:306:15:306:15 | t2 |
+| test.swift:306:15:306:15 | t2 | test.swift:307:15:307:15 | t2 |
+| test.swift:307:15:307:15 | t2 | test.swift:308:15:308:15 | t2 |

swift/ql/test/library-tests/dataflow/dataflow/test.swift

@@ -124,7 +124,7 @@ func forwarder() {
         return i
     })
     sink(arg: z) // $ flow=122
-    
+
     var clean: Int = forward(arg: source(), lambda: {
         (i: Int) -> Int in
         return 0
@@ -269,3 +269,44 @@ func test_optionals() {
         sink(arg: y) // $ MISSING: flow=259
     }
 }
+
+func sink(arg: (Int, Int)) {}
+func sink(arg: (Int, Int, Int)) {}
+
+func testTuples() {
+    var t1 = (1, source())
+
+    sink(arg: t1)
+    sink(arg: t1.0)
+    sink(arg: t1.1) // $ MISSING: flow=277
+
+    t1.1 = 2
+
+    sink(arg: t1)
+    sink(arg: t1.0)
+    sink(arg: t1.1)
+
+    t1.0 = source()
+
+    sink(arg: t1)
+    sink(arg: t1.0) // $ MISSING: flow=289
+    sink(arg: t1.1)
+}
+
+func testTuples2() {
+    let t1 = (x: source(), y: source(), z: 0)
+    let t2 = t1
+    let (a, b, c) = t1
+
+    sink(arg: t1)
+    sink(arg: t1.x) // $ MISSING: flow=297
+    sink(arg: t1.y) // $ MISSING: flow=297
+    sink(arg: t1.z)
+    sink(arg: t2)
+    sink(arg: t2.x) // $ MISSING: flow=297
+    sink(arg: t2.y) // $ MISSING: flow=297
+    sink(arg: t2.z)
+    sink(arg: a) // $ MISSING: flow=297
+    sink(arg: b) // $ MISSING: flow=297
+    sink(arg: c)
+}