Skip to content

Commit 2fb670a

Browse files
hvitvedhvitved
committed
Rust: Do not print unit type in data flow
1 parent 511f791 commit 2fb670a

File tree

4 files changed

+97
-95
lines changed

4 files changed

+97
-95
lines changed

‎rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -450,7 +450,9 @@ module RustDataFlow implements InputSig<Location> {
450450

451451
// NOTE: For now we use the type `Unit` and do not benefit from type
452452
// information in the data flow analysis.
453-
final class DataFlowType = Unit;
453+
final class DataFlowType extends Unit {
454+
string toString() { result = "" }
455+
}
454456

455457
predicate compatibleTypes(DataFlowType t1, DataFlowType t2) { any() }
456458

‎rust/ql/test/library-tests/dataflow/barrier/inline-flow.expected

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,29 +1,29 @@
11
models
22
edges
3-
| main.rs:9:13:9:19 | ...: ... : unit | main.rs:9:30:14:1 | { ... } : unit | provenance | |
4-
| main.rs:21:13:21:21 | source(...) : unit | main.rs:22:10:22:10 | s | provenance | |
5-
| main.rs:26:13:26:21 | source(...) : unit | main.rs:27:22:27:22 | s : unit | provenance | |
6-
| main.rs:27:13:27:23 | sanitize(...) : unit | main.rs:28:10:28:10 | s | provenance | |
7-
| main.rs:27:22:27:22 | s : unit | main.rs:9:13:9:19 | ...: ... : unit | provenance | |
8-
| main.rs:27:22:27:22 | s : unit | main.rs:27:13:27:23 | sanitize(...) : unit | provenance | |
9-
| main.rs:32:13:32:21 | source(...) : unit | main.rs:33:10:33:10 | s | provenance | |
3+
| main.rs:9:13:9:19 | ...: ... | main.rs:9:30:14:1 | { ... } | provenance | |
4+
| main.rs:21:13:21:21 | source(...) | main.rs:22:10:22:10 | s | provenance | |
5+
| main.rs:26:13:26:21 | source(...) | main.rs:27:22:27:22 | s | provenance | |
6+
| main.rs:27:13:27:23 | sanitize(...) | main.rs:28:10:28:10 | s | provenance | |
7+
| main.rs:27:22:27:22 | s | main.rs:9:13:9:19 | ...: ... | provenance | |
8+
| main.rs:27:22:27:22 | s | main.rs:27:13:27:23 | sanitize(...) | provenance | |
9+
| main.rs:32:13:32:21 | source(...) | main.rs:33:10:33:10 | s | provenance | |
1010
nodes
11-
| main.rs:9:13:9:19 | ...: ... : unit | semmle.label | ...: ... : unit |
12-
| main.rs:9:30:14:1 | { ... } : unit | semmle.label | { ... } : unit |
11+
| main.rs:9:13:9:19 | ...: ... | semmle.label | ...: ... |
12+
| main.rs:9:30:14:1 | { ... } | semmle.label | { ... } |
1313
| main.rs:17:10:17:18 | source(...) | semmle.label | source(...) |
14-
| main.rs:21:13:21:21 | source(...) : unit | semmle.label | source(...) : unit |
14+
| main.rs:21:13:21:21 | source(...) | semmle.label | source(...) |
1515
| main.rs:22:10:22:10 | s | semmle.label | s |
16-
| main.rs:26:13:26:21 | source(...) : unit | semmle.label | source(...) : unit |
17-
| main.rs:27:13:27:23 | sanitize(...) : unit | semmle.label | sanitize(...) : unit |
18-
| main.rs:27:22:27:22 | s : unit | semmle.label | s : unit |
16+
| main.rs:26:13:26:21 | source(...) | semmle.label | source(...) |
17+
| main.rs:27:13:27:23 | sanitize(...) | semmle.label | sanitize(...) |
18+
| main.rs:27:22:27:22 | s | semmle.label | s |
1919
| main.rs:28:10:28:10 | s | semmle.label | s |
20-
| main.rs:32:13:32:21 | source(...) : unit | semmle.label | source(...) : unit |
20+
| main.rs:32:13:32:21 | source(...) | semmle.label | source(...) |
2121
| main.rs:33:10:33:10 | s | semmle.label | s |
2222
subpaths
23-
| main.rs:27:22:27:22 | s : unit | main.rs:9:13:9:19 | ...: ... : unit | main.rs:9:30:14:1 | { ... } : unit | main.rs:27:13:27:23 | sanitize(...) : unit |
23+
| main.rs:27:22:27:22 | s | main.rs:9:13:9:19 | ...: ... | main.rs:9:30:14:1 | { ... } | main.rs:27:13:27:23 | sanitize(...) |
2424
testFailures
2525
#select
2626
| main.rs:17:10:17:18 | source(...) | main.rs:17:10:17:18 | source(...) | main.rs:17:10:17:18 | source(...) | $@ | main.rs:17:10:17:18 | source(...) | source(...) |
27-
| main.rs:22:10:22:10 | s | main.rs:21:13:21:21 | source(...) : unit | main.rs:22:10:22:10 | s | $@ | main.rs:21:13:21:21 | source(...) : unit | source(...) : unit |
28-
| main.rs:28:10:28:10 | s | main.rs:26:13:26:21 | source(...) : unit | main.rs:28:10:28:10 | s | $@ | main.rs:26:13:26:21 | source(...) : unit | source(...) : unit |
29-
| main.rs:33:10:33:10 | s | main.rs:32:13:32:21 | source(...) : unit | main.rs:33:10:33:10 | s | $@ | main.rs:32:13:32:21 | source(...) : unit | source(...) : unit |
27+
| main.rs:22:10:22:10 | s | main.rs:21:13:21:21 | source(...) | main.rs:22:10:22:10 | s | $@ | main.rs:21:13:21:21 | source(...) | source(...) |
28+
| main.rs:28:10:28:10 | s | main.rs:26:13:26:21 | source(...) | main.rs:28:10:28:10 | s | $@ | main.rs:26:13:26:21 | source(...) | source(...) |
29+
| main.rs:33:10:33:10 | s | main.rs:32:13:32:21 | source(...) | main.rs:33:10:33:10 | s | $@ | main.rs:32:13:32:21 | source(...) | source(...) |

‎rust/ql/test/library-tests/dataflow/global/inline-flow.expected

Lines changed: 61 additions & 61 deletions
Original file line numberDiff line numberDiff line change
@@ -1,74 +1,74 @@
11
models
22
edges
3-
| main.rs:12:28:14:1 | { ... } : unit | main.rs:17:13:17:23 | get_data(...) : unit | provenance | |
4-
| main.rs:13:5:13:13 | source(...) : unit | main.rs:12:28:14:1 | { ... } : unit | provenance | |
5-
| main.rs:17:13:17:23 | get_data(...) : unit | main.rs:18:10:18:10 | a | provenance | |
6-
| main.rs:21:12:21:17 | ...: i64 : unit | main.rs:22:10:22:10 | n | provenance | |
7-
| main.rs:26:13:26:21 | source(...) : unit | main.rs:27:13:27:13 | a : unit | provenance | |
8-
| main.rs:27:13:27:13 | a : unit | main.rs:21:12:21:17 | ...: i64 : unit | provenance | |
9-
| main.rs:30:17:30:22 | ...: i64 : unit | main.rs:30:32:32:1 | { ... } : unit | provenance | |
10-
| main.rs:35:13:35:21 | source(...) : unit | main.rs:36:26:36:26 | a : unit | provenance | |
11-
| main.rs:36:13:36:27 | pass_through(...) : unit | main.rs:37:10:37:10 | b | provenance | |
12-
| main.rs:36:26:36:26 | a : unit | main.rs:30:17:30:22 | ...: i64 : unit | provenance | |
13-
| main.rs:36:26:36:26 | a : unit | main.rs:36:13:36:27 | pass_through(...) : unit | provenance | |
14-
| main.rs:41:13:44:6 | pass_through(...) : unit | main.rs:45:10:45:10 | a | provenance | |
15-
| main.rs:41:26:44:5 | { ... } : unit | main.rs:30:17:30:22 | ...: i64 : unit | provenance | |
16-
| main.rs:41:26:44:5 | { ... } : unit | main.rs:41:13:44:6 | pass_through(...) : unit | provenance | |
17-
| main.rs:43:9:43:18 | source(...) : unit | main.rs:41:26:44:5 | { ... } : unit | provenance | |
18-
| main.rs:56:23:56:28 | ...: i64 : unit | main.rs:57:14:57:14 | n | provenance | |
19-
| main.rs:59:31:65:5 | { ... } : unit | main.rs:77:13:77:25 | ... .get_data(...) : unit | provenance | |
20-
| main.rs:63:13:63:21 | source(...) : unit | main.rs:59:31:65:5 | { ... } : unit | provenance | |
21-
| main.rs:66:28:66:33 | ...: i64 : unit | main.rs:66:43:72:5 | { ... } : unit | provenance | |
22-
| main.rs:77:13:77:25 | ... .get_data(...) : unit | main.rs:78:10:78:10 | a | provenance | |
23-
| main.rs:83:13:83:21 | source(...) : unit | main.rs:84:16:84:16 | a : unit | provenance | |
24-
| main.rs:84:16:84:16 | a : unit | main.rs:56:23:56:28 | ...: i64 : unit | provenance | |
25-
| main.rs:89:13:89:21 | source(...) : unit | main.rs:90:29:90:29 | a : unit | provenance | |
26-
| main.rs:90:13:90:30 | ... .data_through(...) : unit | main.rs:91:10:91:10 | b | provenance | |
27-
| main.rs:90:29:90:29 | a : unit | main.rs:66:28:66:33 | ...: i64 : unit | provenance | |
28-
| main.rs:90:29:90:29 | a : unit | main.rs:90:13:90:30 | ... .data_through(...) : unit | provenance | |
3+
| main.rs:12:28:14:1 | { ... } | main.rs:17:13:17:23 | get_data(...) | provenance | |
4+
| main.rs:13:5:13:13 | source(...) | main.rs:12:28:14:1 | { ... } | provenance | |
5+
| main.rs:17:13:17:23 | get_data(...) | main.rs:18:10:18:10 | a | provenance | |
6+
| main.rs:21:12:21:17 | ...: i64 | main.rs:22:10:22:10 | n | provenance | |
7+
| main.rs:26:13:26:21 | source(...) | main.rs:27:13:27:13 | a | provenance | |
8+
| main.rs:27:13:27:13 | a | main.rs:21:12:21:17 | ...: i64 | provenance | |
9+
| main.rs:30:17:30:22 | ...: i64 | main.rs:30:32:32:1 | { ... } | provenance | |
10+
| main.rs:35:13:35:21 | source(...) | main.rs:36:26:36:26 | a | provenance | |
11+
| main.rs:36:13:36:27 | pass_through(...) | main.rs:37:10:37:10 | b | provenance | |
12+
| main.rs:36:26:36:26 | a | main.rs:30:17:30:22 | ...: i64 | provenance | |
13+
| main.rs:36:26:36:26 | a | main.rs:36:13:36:27 | pass_through(...) | provenance | |
14+
| main.rs:41:13:44:6 | pass_through(...) | main.rs:45:10:45:10 | a | provenance | |
15+
| main.rs:41:26:44:5 | { ... } | main.rs:30:17:30:22 | ...: i64 | provenance | |
16+
| main.rs:41:26:44:5 | { ... } | main.rs:41:13:44:6 | pass_through(...) | provenance | |
17+
| main.rs:43:9:43:18 | source(...) | main.rs:41:26:44:5 | { ... } | provenance | |
18+
| main.rs:56:23:56:28 | ...: i64 | main.rs:57:14:57:14 | n | provenance | |
19+
| main.rs:59:31:65:5 | { ... } | main.rs:77:13:77:25 | ... .get_data(...) | provenance | |
20+
| main.rs:63:13:63:21 | source(...) | main.rs:59:31:65:5 | { ... } | provenance | |
21+
| main.rs:66:28:66:33 | ...: i64 | main.rs:66:43:72:5 | { ... } | provenance | |
22+
| main.rs:77:13:77:25 | ... .get_data(...) | main.rs:78:10:78:10 | a | provenance | |
23+
| main.rs:83:13:83:21 | source(...) | main.rs:84:16:84:16 | a | provenance | |
24+
| main.rs:84:16:84:16 | a | main.rs:56:23:56:28 | ...: i64 | provenance | |
25+
| main.rs:89:13:89:21 | source(...) | main.rs:90:29:90:29 | a | provenance | |
26+
| main.rs:90:13:90:30 | ... .data_through(...) | main.rs:91:10:91:10 | b | provenance | |
27+
| main.rs:90:29:90:29 | a | main.rs:66:28:66:33 | ...: i64 | provenance | |
28+
| main.rs:90:29:90:29 | a | main.rs:90:13:90:30 | ... .data_through(...) | provenance | |
2929
nodes
30-
| main.rs:12:28:14:1 | { ... } : unit | semmle.label | { ... } : unit |
31-
| main.rs:13:5:13:13 | source(...) : unit | semmle.label | source(...) : unit |
32-
| main.rs:17:13:17:23 | get_data(...) : unit | semmle.label | get_data(...) : unit |
30+
| main.rs:12:28:14:1 | { ... } | semmle.label | { ... } |
31+
| main.rs:13:5:13:13 | source(...) | semmle.label | source(...) |
32+
| main.rs:17:13:17:23 | get_data(...) | semmle.label | get_data(...) |
3333
| main.rs:18:10:18:10 | a | semmle.label | a |
34-
| main.rs:21:12:21:17 | ...: i64 : unit | semmle.label | ...: i64 : unit |
34+
| main.rs:21:12:21:17 | ...: i64 | semmle.label | ...: i64 |
3535
| main.rs:22:10:22:10 | n | semmle.label | n |
36-
| main.rs:26:13:26:21 | source(...) : unit | semmle.label | source(...) : unit |
37-
| main.rs:27:13:27:13 | a : unit | semmle.label | a : unit |
38-
| main.rs:30:17:30:22 | ...: i64 : unit | semmle.label | ...: i64 : unit |
39-
| main.rs:30:32:32:1 | { ... } : unit | semmle.label | { ... } : unit |
40-
| main.rs:35:13:35:21 | source(...) : unit | semmle.label | source(...) : unit |
41-
| main.rs:36:13:36:27 | pass_through(...) : unit | semmle.label | pass_through(...) : unit |
42-
| main.rs:36:26:36:26 | a : unit | semmle.label | a : unit |
36+
| main.rs:26:13:26:21 | source(...) | semmle.label | source(...) |
37+
| main.rs:27:13:27:13 | a | semmle.label | a |
38+
| main.rs:30:17:30:22 | ...: i64 | semmle.label | ...: i64 |
39+
| main.rs:30:32:32:1 | { ... } | semmle.label | { ... } |
40+
| main.rs:35:13:35:21 | source(...) | semmle.label | source(...) |
41+
| main.rs:36:13:36:27 | pass_through(...) | semmle.label | pass_through(...) |
42+
| main.rs:36:26:36:26 | a | semmle.label | a |
4343
| main.rs:37:10:37:10 | b | semmle.label | b |
44-
| main.rs:41:13:44:6 | pass_through(...) : unit | semmle.label | pass_through(...) : unit |
45-
| main.rs:41:26:44:5 | { ... } : unit | semmle.label | { ... } : unit |
46-
| main.rs:43:9:43:18 | source(...) : unit | semmle.label | source(...) : unit |
44+
| main.rs:41:13:44:6 | pass_through(...) | semmle.label | pass_through(...) |
45+
| main.rs:41:26:44:5 | { ... } | semmle.label | { ... } |
46+
| main.rs:43:9:43:18 | source(...) | semmle.label | source(...) |
4747
| main.rs:45:10:45:10 | a | semmle.label | a |
48-
| main.rs:56:23:56:28 | ...: i64 : unit | semmle.label | ...: i64 : unit |
48+
| main.rs:56:23:56:28 | ...: i64 | semmle.label | ...: i64 |
4949
| main.rs:57:14:57:14 | n | semmle.label | n |
50-
| main.rs:59:31:65:5 | { ... } : unit | semmle.label | { ... } : unit |
51-
| main.rs:63:13:63:21 | source(...) : unit | semmle.label | source(...) : unit |
52-
| main.rs:66:28:66:33 | ...: i64 : unit | semmle.label | ...: i64 : unit |
53-
| main.rs:66:43:72:5 | { ... } : unit | semmle.label | { ... } : unit |
54-
| main.rs:77:13:77:25 | ... .get_data(...) : unit | semmle.label | ... .get_data(...) : unit |
50+
| main.rs:59:31:65:5 | { ... } | semmle.label | { ... } |
51+
| main.rs:63:13:63:21 | source(...) | semmle.label | source(...) |
52+
| main.rs:66:28:66:33 | ...: i64 | semmle.label | ...: i64 |
53+
| main.rs:66:43:72:5 | { ... } | semmle.label | { ... } |
54+
| main.rs:77:13:77:25 | ... .get_data(...) | semmle.label | ... .get_data(...) |
5555
| main.rs:78:10:78:10 | a | semmle.label | a |
56-
| main.rs:83:13:83:21 | source(...) : unit | semmle.label | source(...) : unit |
57-
| main.rs:84:16:84:16 | a : unit | semmle.label | a : unit |
58-
| main.rs:89:13:89:21 | source(...) : unit | semmle.label | source(...) : unit |
59-
| main.rs:90:13:90:30 | ... .data_through(...) : unit | semmle.label | ... .data_through(...) : unit |
60-
| main.rs:90:29:90:29 | a : unit | semmle.label | a : unit |
56+
| main.rs:83:13:83:21 | source(...) | semmle.label | source(...) |
57+
| main.rs:84:16:84:16 | a | semmle.label | a |
58+
| main.rs:89:13:89:21 | source(...) | semmle.label | source(...) |
59+
| main.rs:90:13:90:30 | ... .data_through(...) | semmle.label | ... .data_through(...) |
60+
| main.rs:90:29:90:29 | a | semmle.label | a |
6161
| main.rs:91:10:91:10 | b | semmle.label | b |
6262
subpaths
63-
| main.rs:36:26:36:26 | a : unit | main.rs:30:17:30:22 | ...: i64 : unit | main.rs:30:32:32:1 | { ... } : unit | main.rs:36:13:36:27 | pass_through(...) : unit |
64-
| main.rs:41:26:44:5 | { ... } : unit | main.rs:30:17:30:22 | ...: i64 : unit | main.rs:30:32:32:1 | { ... } : unit | main.rs:41:13:44:6 | pass_through(...) : unit |
65-
| main.rs:90:29:90:29 | a : unit | main.rs:66:28:66:33 | ...: i64 : unit | main.rs:66:43:72:5 | { ... } : unit | main.rs:90:13:90:30 | ... .data_through(...) : unit |
63+
| main.rs:36:26:36:26 | a | main.rs:30:17:30:22 | ...: i64 | main.rs:30:32:32:1 | { ... } | main.rs:36:13:36:27 | pass_through(...) |
64+
| main.rs:41:26:44:5 | { ... } | main.rs:30:17:30:22 | ...: i64 | main.rs:30:32:32:1 | { ... } | main.rs:41:13:44:6 | pass_through(...) |
65+
| main.rs:90:29:90:29 | a | main.rs:66:28:66:33 | ...: i64 | main.rs:66:43:72:5 | { ... } | main.rs:90:13:90:30 | ... .data_through(...) |
6666
testFailures
6767
#select
68-
| main.rs:18:10:18:10 | a | main.rs:13:5:13:13 | source(...) : unit | main.rs:18:10:18:10 | a | $@ | main.rs:13:5:13:13 | source(...) : unit | source(...) : unit |
69-
| main.rs:22:10:22:10 | n | main.rs:26:13:26:21 | source(...) : unit | main.rs:22:10:22:10 | n | $@ | main.rs:26:13:26:21 | source(...) : unit | source(...) : unit |
70-
| main.rs:37:10:37:10 | b | main.rs:35:13:35:21 | source(...) : unit | main.rs:37:10:37:10 | b | $@ | main.rs:35:13:35:21 | source(...) : unit | source(...) : unit |
71-
| main.rs:45:10:45:10 | a | main.rs:43:9:43:18 | source(...) : unit | main.rs:45:10:45:10 | a | $@ | main.rs:43:9:43:18 | source(...) : unit | source(...) : unit |
72-
| main.rs:57:14:57:14 | n | main.rs:83:13:83:21 | source(...) : unit | main.rs:57:14:57:14 | n | $@ | main.rs:83:13:83:21 | source(...) : unit | source(...) : unit |
73-
| main.rs:78:10:78:10 | a | main.rs:63:13:63:21 | source(...) : unit | main.rs:78:10:78:10 | a | $@ | main.rs:63:13:63:21 | source(...) : unit | source(...) : unit |
74-
| main.rs:91:10:91:10 | b | main.rs:89:13:89:21 | source(...) : unit | main.rs:91:10:91:10 | b | $@ | main.rs:89:13:89:21 | source(...) : unit | source(...) : unit |
68+
| main.rs:18:10:18:10 | a | main.rs:13:5:13:13 | source(...) | main.rs:18:10:18:10 | a | $@ | main.rs:13:5:13:13 | source(...) | source(...) |
69+
| main.rs:22:10:22:10 | n | main.rs:26:13:26:21 | source(...) | main.rs:22:10:22:10 | n | $@ | main.rs:26:13:26:21 | source(...) | source(...) |
70+
| main.rs:37:10:37:10 | b | main.rs:35:13:35:21 | source(...) | main.rs:37:10:37:10 | b | $@ | main.rs:35:13:35:21 | source(...) | source(...) |
71+
| main.rs:45:10:45:10 | a | main.rs:43:9:43:18 | source(...) | main.rs:45:10:45:10 | a | $@ | main.rs:43:9:43:18 | source(...) | source(...) |
72+
| main.rs:57:14:57:14 | n | main.rs:83:13:83:21 | source(...) | main.rs:57:14:57:14 | n | $@ | main.rs:83:13:83:21 | source(...) | source(...) |
73+
| main.rs:78:10:78:10 | a | main.rs:63:13:63:21 | source(...) | main.rs:78:10:78:10 | a | $@ | main.rs:63:13:63:21 | source(...) | source(...) |
74+
| main.rs:91:10:91:10 | b | main.rs:89:13:89:21 | source(...) | main.rs:91:10:91:10 | b | $@ | main.rs:89:13:89:21 | source(...) | source(...) |

‎rust/ql/test/library-tests/dataflow/local/inline-flow.expected

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1,28 +1,28 @@
11
models
22
edges
3-
| main.rs:19:13:19:21 | source(...) : unit | main.rs:20:10:20:10 | s | provenance | |
4-
| main.rs:24:13:24:21 | source(...) : unit | main.rs:27:10:27:10 | c | provenance | |
5-
| main.rs:31:13:31:21 | source(...) : unit | main.rs:36:10:36:10 | b | provenance | |
6-
| main.rs:45:15:45:23 | source(...) : unit | main.rs:47:10:47:10 | b | provenance | |
7-
| main.rs:53:9:53:17 | source(...) : unit | main.rs:54:10:54:10 | i | provenance | |
3+
| main.rs:19:13:19:21 | source(...) | main.rs:20:10:20:10 | s | provenance | |
4+
| main.rs:24:13:24:21 | source(...) | main.rs:27:10:27:10 | c | provenance | |
5+
| main.rs:31:13:31:21 | source(...) | main.rs:36:10:36:10 | b | provenance | |
6+
| main.rs:45:15:45:23 | source(...) | main.rs:47:10:47:10 | b | provenance | |
7+
| main.rs:53:9:53:17 | source(...) | main.rs:54:10:54:10 | i | provenance | |
88
nodes
99
| main.rs:15:10:15:18 | source(...) | semmle.label | source(...) |
10-
| main.rs:19:13:19:21 | source(...) : unit | semmle.label | source(...) : unit |
10+
| main.rs:19:13:19:21 | source(...) | semmle.label | source(...) |
1111
| main.rs:20:10:20:10 | s | semmle.label | s |
12-
| main.rs:24:13:24:21 | source(...) : unit | semmle.label | source(...) : unit |
12+
| main.rs:24:13:24:21 | source(...) | semmle.label | source(...) |
1313
| main.rs:27:10:27:10 | c | semmle.label | c |
14-
| main.rs:31:13:31:21 | source(...) : unit | semmle.label | source(...) : unit |
14+
| main.rs:31:13:31:21 | source(...) | semmle.label | source(...) |
1515
| main.rs:36:10:36:10 | b | semmle.label | b |
16-
| main.rs:45:15:45:23 | source(...) : unit | semmle.label | source(...) : unit |
16+
| main.rs:45:15:45:23 | source(...) | semmle.label | source(...) |
1717
| main.rs:47:10:47:10 | b | semmle.label | b |
18-
| main.rs:53:9:53:17 | source(...) : unit | semmle.label | source(...) : unit |
18+
| main.rs:53:9:53:17 | source(...) | semmle.label | source(...) |
1919
| main.rs:54:10:54:10 | i | semmle.label | i |
2020
subpaths
2121
testFailures
2222
#select
2323
| main.rs:15:10:15:18 | source(...) | main.rs:15:10:15:18 | source(...) | main.rs:15:10:15:18 | source(...) | $@ | main.rs:15:10:15:18 | source(...) | source(...) |
24-
| main.rs:20:10:20:10 | s | main.rs:19:13:19:21 | source(...) : unit | main.rs:20:10:20:10 | s | $@ | main.rs:19:13:19:21 | source(...) : unit | source(...) : unit |
25-
| main.rs:27:10:27:10 | c | main.rs:24:13:24:21 | source(...) : unit | main.rs:27:10:27:10 | c | $@ | main.rs:24:13:24:21 | source(...) : unit | source(...) : unit |
26-
| main.rs:36:10:36:10 | b | main.rs:31:13:31:21 | source(...) : unit | main.rs:36:10:36:10 | b | $@ | main.rs:31:13:31:21 | source(...) : unit | source(...) : unit |
27-
| main.rs:47:10:47:10 | b | main.rs:45:15:45:23 | source(...) : unit | main.rs:47:10:47:10 | b | $@ | main.rs:45:15:45:23 | source(...) : unit | source(...) : unit |
28-
| main.rs:54:10:54:10 | i | main.rs:53:9:53:17 | source(...) : unit | main.rs:54:10:54:10 | i | $@ | main.rs:53:9:53:17 | source(...) : unit | source(...) : unit |
24+
| main.rs:20:10:20:10 | s | main.rs:19:13:19:21 | source(...) | main.rs:20:10:20:10 | s | $@ | main.rs:19:13:19:21 | source(...) | source(...) |
25+
| main.rs:27:10:27:10 | c | main.rs:24:13:24:21 | source(...) | main.rs:27:10:27:10 | c | $@ | main.rs:24:13:24:21 | source(...) | source(...) |
26+
| main.rs:36:10:36:10 | b | main.rs:31:13:31:21 | source(...) | main.rs:36:10:36:10 | b | $@ | main.rs:31:13:31:21 | source(...) | source(...) |
27+
| main.rs:47:10:47:10 | b | main.rs:45:15:45:23 | source(...) | main.rs:47:10:47:10 | b | $@ | main.rs:45:15:45:23 | source(...) | source(...) |
28+
| main.rs:54:10:54:10 | i | main.rs:53:9:53:17 | source(...) | main.rs:54:10:54:10 | i | $@ | main.rs:53:9:53:17 | source(...) | source(...) |

0 commit comments

Comments
 (0)