Skip to content

Commit 3c6349c

Browse files
asgerfasgerf
committed
unified: Update consitency-query output
1 parent 75e57dd commit 3c6349c

8 files changed

Lines changed: 24 additions & 559 deletions

File tree

‎unified/ql/test/library-tests/BasicTest/CONSISTENCY/LocalSsaConsistency.expected‎

Lines changed: 0 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -1,25 +0,0 @@
1-
ambiguousReadNode
2-
| test.swift:8:9:8:26 | [variable post-update] item | test.swift:7:5:9:5 | self |
3-
| test.swift:8:9:8:26 | [variable post-update] item | test.swift:7:25:7:28 | item |
4-
| test.swift:8:9:8:26 | [variable post-update] self | test.swift:7:5:9:5 | self |
5-
| test.swift:8:9:8:26 | [variable post-update] self | test.swift:7:25:7:28 | item |
6-
| test.swift:12:16:12:35 | [variable post-update] item | test.swift:11:5:13:5 | self |
7-
| test.swift:12:16:12:35 | [variable post-update] item | test.swift:11:21:11:24 | item |
8-
| test.swift:12:16:12:35 | [variable post-update] self | test.swift:11:5:13:5 | self |
9-
| test.swift:12:16:12:35 | [variable post-update] self | test.swift:11:21:11:24 | item |
10-
| test.swift:27:13:27:33 | [variable post-update] item | test.swift:25:9:25:14 | result |
11-
| test.swift:27:13:27:33 | [variable post-update] item | test.swift:26:9:26:12 | item |
12-
| test.swift:27:13:27:33 | [variable post-update] result | test.swift:25:9:25:14 | result |
13-
| test.swift:27:13:27:33 | [variable post-update] result | test.swift:26:9:26:12 | item |
14-
| test.swift:28:13:28:31 | [variable post-update] item | test.swift:25:9:25:14 | result |
15-
| test.swift:28:13:28:31 | [variable post-update] item | test.swift:26:9:26:12 | item |
16-
| test.swift:28:13:28:31 | [variable post-update] result | test.swift:25:9:25:14 | result |
17-
| test.swift:28:13:28:31 | [variable post-update] result | test.swift:26:9:26:12 | item |
18-
| test.swift:49:16:49:26 | [variable post-update] index | test.swift:47:5:50:5 | self |
19-
| test.swift:49:16:49:26 | [variable post-update] index | test.swift:47:18:47:22 | index |
20-
| test.swift:49:16:49:26 | [variable post-update] self | test.swift:47:5:50:5 | self |
21-
| test.swift:49:16:49:26 | [variable post-update] self | test.swift:47:18:47:22 | index |
22-
| test.swift:53:9:53:25 | [variable post-update] item | test.swift:52:5:54:5 | self |
23-
| test.swift:53:9:53:25 | [variable post-update] item | test.swift:52:16:52:19 | item |
24-
| test.swift:53:9:53:25 | [variable post-update] self | test.swift:52:5:54:5 | self |
25-
| test.swift:53:9:53:25 | [variable post-update] self | test.swift:52:16:52:19 | item |

‎unified/ql/test/library-tests/constructors/CONSISTENCY/LocalSsaConsistency.expected‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +0,0 @@
1-
ambiguousReadNode
2-
| constructors.swift:35:9:35:29 | [variable post-update] self | constructors.swift:34:5:36:5 | self |
3-
| constructors.swift:35:9:35:29 | [variable post-update] self | constructors.swift:34:22:34:22 | x |
4-
| constructors.swift:35:9:35:29 | [variable post-update] x | constructors.swift:34:5:36:5 | self |
5-
| constructors.swift:35:9:35:29 | [variable post-update] x | constructors.swift:34:22:34:22 | x |

‎unified/ql/test/library-tests/dataflow/CONSISTENCY/LocalSsaConsistency.expected‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +0,0 @@
1-
ambiguousReadNode
2-
| test.swift:184:5:184:19 | [variable post-update] x | test.swift:182:9:182:9 | x |
3-
| test.swift:184:5:184:19 | [variable post-update] x | test.swift:183:9:183:9 | y |
4-
| test.swift:184:5:184:19 | [variable post-update] y | test.swift:182:9:182:9 | x |
5-
| test.swift:184:5:184:19 | [variable post-update] y | test.swift:183:9:183:9 | y |

‎unified/ql/test/library-tests/dataflow/test.expected‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -179,9 +179,7 @@ edges
179179
| test.swift:175:42:175:66 | ... + ... | test.swift:175:14:175:67 | TupleExpr [1] | provenance | |
180180
| test.swift:175:52:175:66 | source(...) | test.swift:175:42:175:66 | ... + ... | provenance | |
181181
| test.swift:182:9:182:9 | x | test.swift:185:10:185:10 | x | provenance | |
182-
| test.swift:182:9:182:9 | x | test.swift:186:10:186:10 | y | provenance | |
183182
| test.swift:182:13:182:27 | source(...) | test.swift:182:9:182:9 | x | provenance | |
184-
| test.swift:183:9:183:9 | y | test.swift:185:10:185:10 | x | provenance | |
185183
| test.swift:183:9:183:9 | y | test.swift:186:10:186:10 | y | provenance | |
186184
| test.swift:183:13:183:27 | source(...) | test.swift:183:9:183:9 | y | provenance | |
187185
nodes
@@ -489,6 +487,4 @@ testFailures
489487
| test.swift:176:10:176:10 | a | test.swift:175:25:175:39 | source(...) | test.swift:176:10:176:10 | a | $@ | test.swift:175:25:175:39 | source(...) | source(...) |
490488
| test.swift:177:10:177:10 | b | test.swift:175:52:175:66 | source(...) | test.swift:177:10:177:10 | b | $@ | test.swift:175:52:175:66 | source(...) | source(...) |
491489
| test.swift:185:10:185:10 | x | test.swift:182:13:182:27 | source(...) | test.swift:185:10:185:10 | x | $@ | test.swift:182:13:182:27 | source(...) | source(...) |
492-
| test.swift:185:10:185:10 | x | test.swift:183:13:183:27 | source(...) | test.swift:185:10:185:10 | x | $@ | test.swift:183:13:183:27 | source(...) | source(...) |
493-
| test.swift:186:10:186:10 | y | test.swift:182:13:182:27 | source(...) | test.swift:186:10:186:10 | y | $@ | test.swift:182:13:182:27 | source(...) | source(...) |
494490
| test.swift:186:10:186:10 | y | test.swift:183:13:183:27 | source(...) | test.swift:186:10:186:10 | y | $@ | test.swift:183:13:183:27 | source(...) | source(...) |

‎unified/ql/test/library-tests/mad/CONSISTENCY/LocalSsaConsistency.expected‎

Lines changed: 0 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +0,0 @@
1-
ambiguousReadNode
2-
| test.swift:74:9:84:31 | [variable post-update] encryptionKey | test.swift:67:5:67:17 | encryptionKey |
3-
| test.swift:74:9:84:31 | [variable post-update] encryptionKey | test.swift:68:5:68:11 | fileURL |
4-
| test.swift:74:9:84:31 | [variable post-update] fileURL | test.swift:67:5:67:17 | encryptionKey |
5-
| test.swift:74:9:84:31 | [variable post-update] fileURL | test.swift:68:5:68:11 | fileURL |
6-
| test.swift:86:9:96:31 | [variable post-update] encryptionKey | test.swift:67:5:67:17 | encryptionKey |
7-
| test.swift:86:9:96:31 | [variable post-update] encryptionKey | test.swift:68:5:68:11 | fileURL |
8-
| test.swift:86:9:96:31 | [variable post-update] fileURL | test.swift:67:5:67:17 | encryptionKey |
9-
| test.swift:86:9:96:31 | [variable post-update] fileURL | test.swift:68:5:68:11 | fileURL |
10-
| test.swift:98:9:109:31 | [variable post-update] encryptionKey | test.swift:67:5:67:17 | encryptionKey |
11-
| test.swift:98:9:109:31 | [variable post-update] encryptionKey | test.swift:68:5:68:11 | fileURL |
12-
| test.swift:98:9:109:31 | [variable post-update] encryptionKey | test.swift:69:5:69:16 | seedFilePath |
13-
| test.swift:98:9:109:31 | [variable post-update] fileURL | test.swift:67:5:67:17 | encryptionKey |
14-
| test.swift:98:9:109:31 | [variable post-update] fileURL | test.swift:68:5:68:11 | fileURL |
15-
| test.swift:98:9:109:31 | [variable post-update] fileURL | test.swift:69:5:69:16 | seedFilePath |
16-
| test.swift:98:9:109:31 | [variable post-update] seedFilePath | test.swift:67:5:67:17 | encryptionKey |
17-
| test.swift:98:9:109:31 | [variable post-update] seedFilePath | test.swift:68:5:68:11 | fileURL |
18-
| test.swift:98:9:109:31 | [variable post-update] seedFilePath | test.swift:69:5:69:16 | seedFilePath |

‎unified/ql/test/library-tests/type-inference/CONSISTENCY/LocalSsaConsistency.expected‎

Lines changed: 0 additions & 41 deletions
Original file line numberDiff line numberDiff line change
@@ -1,41 +0,0 @@
1-
ambiguousReadNode
2-
| closures.swift:47:9:47:21 | [variable post-update] self | closures.swift:45:5:49:5 | self |
3-
| closures.swift:47:9:47:21 | [variable post-update] self | closures.swift:45:24:45:28 | value |
4-
| closures.swift:47:9:47:21 | [variable post-update] value | closures.swift:45:5:49:5 | self |
5-
| closures.swift:47:9:47:21 | [variable post-update] value | closures.swift:45:24:45:28 | value |
6-
| closures.swift:48:16:48:29 | [variable post-update] self | closures.swift:45:5:49:5 | self |
7-
| closures.swift:48:16:48:29 | [variable post-update] self | closures.swift:45:24:45:28 | value |
8-
| closures.swift:48:16:48:29 | [variable post-update] value | closures.swift:45:5:49:5 | self |
9-
| closures.swift:48:16:48:29 | [variable post-update] value | closures.swift:45:24:45:28 | value |
10-
| generics.swift:156:5:156:22 | [variable post-update] v1 | generics.swift:155:10:155:11 | v1 |
11-
| generics.swift:156:5:156:22 | [variable post-update] v1 | generics.swift:155:20:155:21 | v2 |
12-
| generics.swift:156:5:156:22 | [variable post-update] v2 | generics.swift:155:10:155:11 | v1 |
13-
| generics.swift:156:5:156:22 | [variable post-update] v2 | generics.swift:155:20:155:21 | v2 |
14-
| key_paths.swift:44:14:44:35 | [variable post-update] e | key_paths.swift:42:7:42:7 | s |
15-
| key_paths.swift:44:14:44:35 | [variable post-update] e | key_paths.swift:43:7:43:7 | e |
16-
| key_paths.swift:44:14:44:35 | [variable post-update] s | key_paths.swift:42:7:42:7 | s |
17-
| key_paths.swift:44:14:44:35 | [variable post-update] s | key_paths.swift:43:7:43:7 | e |
18-
| key_paths.swift:142:18:142:45 | [variable post-update] kpStart | key_paths.swift:140:7:140:13 | kpStart |
19-
| key_paths.swift:142:18:142:45 | [variable post-update] kpStart | key_paths.swift:141:7:141:9 | kpX |
20-
| key_paths.swift:142:18:142:45 | [variable post-update] kpX | key_paths.swift:140:7:140:13 | kpStart |
21-
| key_paths.swift:142:18:142:45 | [variable post-update] kpX | key_paths.swift:141:7:141:9 | kpX |
22-
| key_paths.swift:146:14:146:35 | [variable post-update] e | key_paths.swift:144:7:144:7 | s |
23-
| key_paths.swift:146:14:146:35 | [variable post-update] e | key_paths.swift:145:7:145:7 | e |
24-
| key_paths.swift:146:14:146:35 | [variable post-update] s | key_paths.swift:144:7:144:7 | s |
25-
| key_paths.swift:146:14:146:35 | [variable post-update] s | key_paths.swift:145:7:145:7 | e |
26-
| overload_resolution.swift:371:5:371:34 | [variable post-update] name | overload_resolution.swift:370:3:372:3 | self |
27-
| overload_resolution.swift:371:5:371:34 | [variable post-update] name | overload_resolution.swift:370:20:370:23 | name |
28-
| overload_resolution.swift:371:5:371:34 | [variable post-update] self | overload_resolution.swift:370:3:372:3 | self |
29-
| overload_resolution.swift:371:5:371:34 | [variable post-update] self | overload_resolution.swift:370:20:370:23 | name |
30-
| overload_resolution.swift:375:5:375:42 | [variable post-update] self | overload_resolution.swift:374:3:376:3 | self |
31-
| overload_resolution.swift:375:5:375:42 | [variable post-update] self | overload_resolution.swift:374:20:374:23 | size |
32-
| overload_resolution.swift:375:5:375:42 | [variable post-update] size | overload_resolution.swift:374:3:376:3 | self |
33-
| overload_resolution.swift:375:5:375:42 | [variable post-update] size | overload_resolution.swift:374:20:374:23 | size |
34-
| overload_resolution.swift:415:12:415:22 | [variable post-update] index | overload_resolution.swift:414:3:416:3 | self |
35-
| overload_resolution.swift:415:12:415:22 | [variable post-update] index | overload_resolution.swift:414:14:414:18 | index |
36-
| overload_resolution.swift:415:12:415:22 | [variable post-update] self | overload_resolution.swift:414:3:416:3 | self |
37-
| overload_resolution.swift:415:12:415:22 | [variable post-update] self | overload_resolution.swift:414:14:414:18 | index |
38-
| overload_resolution.swift:419:12:419:20 | [variable post-update] key | overload_resolution.swift:418:3:420:3 | self |
39-
| overload_resolution.swift:419:12:419:20 | [variable post-update] key | overload_resolution.swift:418:14:418:16 | key |
40-
| overload_resolution.swift:419:12:419:20 | [variable post-update] self | overload_resolution.swift:418:3:420:3 | self |
41-
| overload_resolution.swift:419:12:419:20 | [variable post-update] self | overload_resolution.swift:418:14:418:16 | key |

0 commit comments

Comments
 (0)