Skip to content

Commit 3f12d65

Browse files
asgerfasgerf
committed
Revert "unified: Update consitency-query output"
This reverts commit 3c6349c.
1 parent 0e5938d commit 3f12d65

8 files changed

Lines changed: 559 additions & 24 deletions

File tree

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

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
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: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
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: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
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: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -179,7 +179,9 @@ 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 | |
182183
| 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 | |
183185
| test.swift:183:9:183:9 | y | test.swift:186:10:186:10 | y | provenance | |
184186
| test.swift:183:13:183:27 | source(...) | test.swift:183:9:183:9 | y | provenance | |
185187
nodes
@@ -487,4 +489,6 @@ testFailures
487489
| 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(...) |
488490
| 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(...) |
489491
| 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(...) |
490494
| 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: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
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: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
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)