Skip to content

Commit 7106fe3

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes. This is just a change in the names of the path nodes. These names are actually better as they don't refer to the name of IR instructions.
1 parent 8c5b336 commit 7106fe3

File tree

1 file changed

+100
-58
lines changed

1 file changed

+100
-58
lines changed

‎cpp/ql/test/query-tests/Critical/UnsafeUseOfThis/UnsafeUseOfThis.expected

Lines changed: 100 additions & 58 deletions
Original file line numberDiff line numberDiff line change
@@ -1,61 +1,103 @@
11
edges
2-
| test.cpp:7:3:7:3 | InitializeParameter: B | test.cpp:8:12:8:15 | Load: this |
3-
| test.cpp:8:12:8:15 | Load: this | test.cpp:34:16:34:16 | InitializeParameter: x |
4-
| test.cpp:11:8:11:8 | InitializeParameter: b | test.cpp:12:5:12:5 | Load: b |
5-
| test.cpp:12:5:12:5 | CopyValue: (reference dereference) | test.cpp:12:5:12:5 | ConvertToNonVirtualBase: (A)... |
6-
| test.cpp:12:5:12:5 | Load: b | test.cpp:12:5:12:5 | CopyValue: (reference dereference) |
7-
| test.cpp:15:3:15:4 | InitializeParameter: ~B | test.cpp:16:5:16:5 | Load: this |
8-
| test.cpp:16:5:16:5 | Load: this | file://:0:0:0:0 | ConvertToNonVirtualBase: (A *)... |
9-
| test.cpp:21:3:21:3 | InitializeParameter: C | test.cpp:21:13:21:13 | ConvertToNonVirtualBase: call to B |
10-
| test.cpp:21:3:21:3 | InitializeParameter: C | test.cpp:22:12:22:15 | Load: this |
11-
| test.cpp:21:3:21:3 | InitializeParameter: C | test.cpp:25:7:25:10 | Load: this |
12-
| test.cpp:21:13:21:13 | ConvertToNonVirtualBase: call to B | test.cpp:7:3:7:3 | InitializeParameter: B |
13-
| test.cpp:22:12:22:15 | ConvertToNonVirtualBase: (B *)... | test.cpp:34:16:34:16 | InitializeParameter: x |
14-
| test.cpp:22:12:22:15 | Load: this | test.cpp:22:12:22:15 | ConvertToNonVirtualBase: (B *)... |
15-
| test.cpp:25:7:25:10 | ConvertToNonVirtualBase: (B *)... | test.cpp:25:7:25:10 | ConvertToNonVirtualBase: (A *)... |
16-
| test.cpp:25:7:25:10 | Load: this | test.cpp:25:7:25:10 | ConvertToNonVirtualBase: (B *)... |
17-
| test.cpp:31:3:31:3 | InitializeParameter: D | test.cpp:31:12:31:15 | Load: this |
18-
| test.cpp:31:11:31:15 | ConvertToNonVirtualBase: (B)... | test.cpp:31:11:31:15 | CopyValue: (reference to) |
19-
| test.cpp:31:11:31:15 | CopyValue: (reference to) | test.cpp:11:8:11:8 | InitializeParameter: b |
20-
| test.cpp:31:11:31:15 | CopyValue: * ... | test.cpp:31:11:31:15 | ConvertToNonVirtualBase: (B)... |
21-
| test.cpp:31:12:31:15 | Load: this | test.cpp:31:11:31:15 | CopyValue: * ... |
22-
| test.cpp:34:16:34:16 | InitializeParameter: x | test.cpp:35:3:35:3 | Load: x |
23-
| test.cpp:35:3:35:3 | Load: x | test.cpp:35:3:35:3 | ConvertToNonVirtualBase: (A *)... |
24-
| test.cpp:47:3:47:3 | InitializeParameter: F | test.cpp:48:10:48:13 | Load: this |
25-
| test.cpp:48:10:48:13 | ConvertToNonVirtualBase: (E *)... | test.cpp:48:6:48:13 | ConvertToNonVirtualBase: (A *)... |
26-
| test.cpp:48:10:48:13 | Load: this | test.cpp:48:10:48:13 | ConvertToNonVirtualBase: (E *)... |
2+
| test.cpp:7:3:7:3 | this | test.cpp:8:12:8:15 | Load |
3+
| test.cpp:8:12:8:15 | Load | test.cpp:8:12:8:15 | this |
4+
| test.cpp:8:12:8:15 | this | test.cpp:34:16:34:16 | x |
5+
| test.cpp:11:8:11:8 | b | test.cpp:12:5:12:5 | Load |
6+
| test.cpp:12:5:12:5 | (reference dereference) | test.cpp:12:5:12:5 | Unary |
7+
| test.cpp:12:5:12:5 | Load | test.cpp:12:5:12:5 | b |
8+
| test.cpp:12:5:12:5 | Unary | test.cpp:12:5:12:5 | (A)... |
9+
| test.cpp:12:5:12:5 | Unary | test.cpp:12:5:12:5 | (reference dereference) |
10+
| test.cpp:12:5:12:5 | b | test.cpp:12:5:12:5 | Unary |
11+
| test.cpp:15:3:15:4 | this | test.cpp:16:5:16:5 | Load |
12+
| test.cpp:16:5:16:5 | Load | test.cpp:16:5:16:5 | this |
13+
| test.cpp:16:5:16:5 | Unary | file://:0:0:0:0 | (A *)... |
14+
| test.cpp:16:5:16:5 | this | test.cpp:16:5:16:5 | Unary |
15+
| test.cpp:21:3:21:3 | Unary | test.cpp:21:13:21:13 | ConvertToNonVirtualBase |
16+
| test.cpp:21:3:21:3 | this | test.cpp:21:3:21:3 | Unary |
17+
| test.cpp:21:3:21:3 | this | test.cpp:22:12:22:15 | Load |
18+
| test.cpp:21:3:21:3 | this | test.cpp:25:7:25:10 | Load |
19+
| test.cpp:21:13:21:13 | ConvertToNonVirtualBase | test.cpp:7:3:7:3 | this |
20+
| test.cpp:22:12:22:15 | (B *)... | test.cpp:34:16:34:16 | x |
21+
| test.cpp:22:12:22:15 | Load | test.cpp:22:12:22:15 | this |
22+
| test.cpp:22:12:22:15 | Unary | test.cpp:22:12:22:15 | (B *)... |
23+
| test.cpp:22:12:22:15 | this | test.cpp:22:12:22:15 | Unary |
24+
| test.cpp:25:7:25:10 | (B *)... | test.cpp:25:7:25:10 | Unary |
25+
| test.cpp:25:7:25:10 | Load | test.cpp:25:7:25:10 | this |
26+
| test.cpp:25:7:25:10 | Unary | test.cpp:25:7:25:10 | (A *)... |
27+
| test.cpp:25:7:25:10 | Unary | test.cpp:25:7:25:10 | (B *)... |
28+
| test.cpp:25:7:25:10 | this | test.cpp:25:7:25:10 | Unary |
29+
| test.cpp:31:3:31:3 | this | test.cpp:31:12:31:15 | Load |
30+
| test.cpp:31:11:31:15 | (B)... | test.cpp:31:11:31:15 | Unary |
31+
| test.cpp:31:11:31:15 | (reference to) | test.cpp:11:8:11:8 | b |
32+
| test.cpp:31:11:31:15 | * ... | test.cpp:31:11:31:15 | Unary |
33+
| test.cpp:31:11:31:15 | Unary | test.cpp:31:11:31:15 | (B)... |
34+
| test.cpp:31:11:31:15 | Unary | test.cpp:31:11:31:15 | (reference to) |
35+
| test.cpp:31:12:31:15 | Load | test.cpp:31:12:31:15 | this |
36+
| test.cpp:31:12:31:15 | Unary | test.cpp:31:11:31:15 | * ... |
37+
| test.cpp:31:12:31:15 | this | test.cpp:31:12:31:15 | Unary |
38+
| test.cpp:34:16:34:16 | x | test.cpp:35:3:35:3 | Load |
39+
| test.cpp:35:3:35:3 | Load | test.cpp:35:3:35:3 | x |
40+
| test.cpp:35:3:35:3 | Unary | test.cpp:35:3:35:3 | (A *)... |
41+
| test.cpp:35:3:35:3 | x | test.cpp:35:3:35:3 | Unary |
42+
| test.cpp:47:3:47:3 | this | test.cpp:48:10:48:13 | Load |
43+
| test.cpp:48:10:48:13 | (E *)... | test.cpp:48:10:48:13 | Unary |
44+
| test.cpp:48:10:48:13 | Load | test.cpp:48:10:48:13 | this |
45+
| test.cpp:48:10:48:13 | Unary | test.cpp:48:6:48:13 | (A *)... |
46+
| test.cpp:48:10:48:13 | Unary | test.cpp:48:10:48:13 | (E *)... |
47+
| test.cpp:48:10:48:13 | this | test.cpp:48:10:48:13 | Unary |
2748
nodes
28-
| file://:0:0:0:0 | ConvertToNonVirtualBase: (A *)... | semmle.label | ConvertToNonVirtualBase: (A *)... |
29-
| test.cpp:7:3:7:3 | InitializeParameter: B | semmle.label | InitializeParameter: B |
30-
| test.cpp:8:12:8:15 | Load: this | semmle.label | Load: this |
31-
| test.cpp:11:8:11:8 | InitializeParameter: b | semmle.label | InitializeParameter: b |
32-
| test.cpp:12:5:12:5 | ConvertToNonVirtualBase: (A)... | semmle.label | ConvertToNonVirtualBase: (A)... |
33-
| test.cpp:12:5:12:5 | CopyValue: (reference dereference) | semmle.label | CopyValue: (reference dereference) |
34-
| test.cpp:12:5:12:5 | Load: b | semmle.label | Load: b |
35-
| test.cpp:15:3:15:4 | InitializeParameter: ~B | semmle.label | InitializeParameter: ~B |
36-
| test.cpp:16:5:16:5 | Load: this | semmle.label | Load: this |
37-
| test.cpp:21:3:21:3 | InitializeParameter: C | semmle.label | InitializeParameter: C |
38-
| test.cpp:21:13:21:13 | ConvertToNonVirtualBase: call to B | semmle.label | ConvertToNonVirtualBase: call to B |
39-
| test.cpp:22:12:22:15 | ConvertToNonVirtualBase: (B *)... | semmle.label | ConvertToNonVirtualBase: (B *)... |
40-
| test.cpp:22:12:22:15 | Load: this | semmle.label | Load: this |
41-
| test.cpp:25:7:25:10 | ConvertToNonVirtualBase: (A *)... | semmle.label | ConvertToNonVirtualBase: (A *)... |
42-
| test.cpp:25:7:25:10 | ConvertToNonVirtualBase: (B *)... | semmle.label | ConvertToNonVirtualBase: (B *)... |
43-
| test.cpp:25:7:25:10 | Load: this | semmle.label | Load: this |
44-
| test.cpp:31:3:31:3 | InitializeParameter: D | semmle.label | InitializeParameter: D |
45-
| test.cpp:31:11:31:15 | ConvertToNonVirtualBase: (B)... | semmle.label | ConvertToNonVirtualBase: (B)... |
46-
| test.cpp:31:11:31:15 | CopyValue: (reference to) | semmle.label | CopyValue: (reference to) |
47-
| test.cpp:31:11:31:15 | CopyValue: * ... | semmle.label | CopyValue: * ... |
48-
| test.cpp:31:12:31:15 | Load: this | semmle.label | Load: this |
49-
| test.cpp:34:16:34:16 | InitializeParameter: x | semmle.label | InitializeParameter: x |
50-
| test.cpp:35:3:35:3 | ConvertToNonVirtualBase: (A *)... | semmle.label | ConvertToNonVirtualBase: (A *)... |
51-
| test.cpp:35:3:35:3 | Load: x | semmle.label | Load: x |
52-
| test.cpp:47:3:47:3 | InitializeParameter: F | semmle.label | InitializeParameter: F |
53-
| test.cpp:48:6:48:13 | ConvertToNonVirtualBase: (A *)... | semmle.label | ConvertToNonVirtualBase: (A *)... |
54-
| test.cpp:48:10:48:13 | ConvertToNonVirtualBase: (E *)... | semmle.label | ConvertToNonVirtualBase: (E *)... |
55-
| test.cpp:48:10:48:13 | Load: this | semmle.label | Load: this |
49+
| file://:0:0:0:0 | (A *)... | semmle.label | (A *)... |
50+
| test.cpp:7:3:7:3 | this | semmle.label | this |
51+
| test.cpp:8:12:8:15 | Load | semmle.label | Load |
52+
| test.cpp:8:12:8:15 | this | semmle.label | this |
53+
| test.cpp:11:8:11:8 | b | semmle.label | b |
54+
| test.cpp:12:5:12:5 | (A)... | semmle.label | (A)... |
55+
| test.cpp:12:5:12:5 | (reference dereference) | semmle.label | (reference dereference) |
56+
| test.cpp:12:5:12:5 | Load | semmle.label | Load |
57+
| test.cpp:12:5:12:5 | Unary | semmle.label | Unary |
58+
| test.cpp:12:5:12:5 | Unary | semmle.label | Unary |
59+
| test.cpp:12:5:12:5 | b | semmle.label | b |
60+
| test.cpp:15:3:15:4 | this | semmle.label | this |
61+
| test.cpp:16:5:16:5 | Load | semmle.label | Load |
62+
| test.cpp:16:5:16:5 | Unary | semmle.label | Unary |
63+
| test.cpp:16:5:16:5 | this | semmle.label | this |
64+
| test.cpp:21:3:21:3 | Unary | semmle.label | Unary |
65+
| test.cpp:21:3:21:3 | this | semmle.label | this |
66+
| test.cpp:21:13:21:13 | ConvertToNonVirtualBase | semmle.label | ConvertToNonVirtualBase |
67+
| test.cpp:22:12:22:15 | (B *)... | semmle.label | (B *)... |
68+
| test.cpp:22:12:22:15 | Load | semmle.label | Load |
69+
| test.cpp:22:12:22:15 | Unary | semmle.label | Unary |
70+
| test.cpp:22:12:22:15 | this | semmle.label | this |
71+
| test.cpp:25:7:25:10 | (A *)... | semmle.label | (A *)... |
72+
| test.cpp:25:7:25:10 | (B *)... | semmle.label | (B *)... |
73+
| test.cpp:25:7:25:10 | Load | semmle.label | Load |
74+
| test.cpp:25:7:25:10 | Unary | semmle.label | Unary |
75+
| test.cpp:25:7:25:10 | Unary | semmle.label | Unary |
76+
| test.cpp:25:7:25:10 | this | semmle.label | this |
77+
| test.cpp:31:3:31:3 | this | semmle.label | this |
78+
| test.cpp:31:11:31:15 | (B)... | semmle.label | (B)... |
79+
| test.cpp:31:11:31:15 | (reference to) | semmle.label | (reference to) |
80+
| test.cpp:31:11:31:15 | * ... | semmle.label | * ... |
81+
| test.cpp:31:11:31:15 | Unary | semmle.label | Unary |
82+
| test.cpp:31:11:31:15 | Unary | semmle.label | Unary |
83+
| test.cpp:31:12:31:15 | Load | semmle.label | Load |
84+
| test.cpp:31:12:31:15 | Unary | semmle.label | Unary |
85+
| test.cpp:31:12:31:15 | this | semmle.label | this |
86+
| test.cpp:34:16:34:16 | x | semmle.label | x |
87+
| test.cpp:35:3:35:3 | (A *)... | semmle.label | (A *)... |
88+
| test.cpp:35:3:35:3 | Load | semmle.label | Load |
89+
| test.cpp:35:3:35:3 | Unary | semmle.label | Unary |
90+
| test.cpp:35:3:35:3 | x | semmle.label | x |
91+
| test.cpp:47:3:47:3 | this | semmle.label | this |
92+
| test.cpp:48:6:48:13 | (A *)... | semmle.label | (A *)... |
93+
| test.cpp:48:10:48:13 | (E *)... | semmle.label | (E *)... |
94+
| test.cpp:48:10:48:13 | Load | semmle.label | Load |
95+
| test.cpp:48:10:48:13 | Unary | semmle.label | Unary |
96+
| test.cpp:48:10:48:13 | Unary | semmle.label | Unary |
97+
| test.cpp:48:10:48:13 | this | semmle.label | this |
5698
#select
57-
| test.cpp:12:7:12:7 | call to f | test.cpp:31:3:31:3 | InitializeParameter: D | test.cpp:12:5:12:5 | ConvertToNonVirtualBase: (A)... | Call to pure virtual function during construction |
58-
| test.cpp:16:5:16:5 | call to f | test.cpp:15:3:15:4 | InitializeParameter: ~B | file://:0:0:0:0 | ConvertToNonVirtualBase: (A *)... | Call to pure virtual function during destruction |
59-
| test.cpp:25:13:25:13 | call to f | test.cpp:21:3:21:3 | InitializeParameter: C | test.cpp:25:7:25:10 | ConvertToNonVirtualBase: (A *)... | Call to pure virtual function during construction |
60-
| test.cpp:35:6:35:6 | call to f | test.cpp:7:3:7:3 | InitializeParameter: B | test.cpp:35:3:35:3 | ConvertToNonVirtualBase: (A *)... | Call to pure virtual function during construction |
61-
| test.cpp:35:6:35:6 | call to f | test.cpp:21:3:21:3 | InitializeParameter: C | test.cpp:35:3:35:3 | ConvertToNonVirtualBase: (A *)... | Call to pure virtual function during construction |
99+
| test.cpp:12:7:12:7 | call to f | test.cpp:31:3:31:3 | this | test.cpp:12:5:12:5 | (A)... | Call to pure virtual function during construction |
100+
| test.cpp:16:5:16:5 | call to f | test.cpp:15:3:15:4 | this | file://:0:0:0:0 | (A *)... | Call to pure virtual function during destruction |
101+
| test.cpp:25:13:25:13 | call to f | test.cpp:21:3:21:3 | this | test.cpp:25:7:25:10 | (A *)... | Call to pure virtual function during construction |
102+
| test.cpp:35:6:35:6 | call to f | test.cpp:7:3:7:3 | this | test.cpp:35:3:35:3 | (A *)... | Call to pure virtual function during construction |
103+
| test.cpp:35:6:35:6 | call to f | test.cpp:21:3:21:3 | this | test.cpp:35:3:35:3 | (A *)... | Call to pure virtual function during construction |

0 commit comments

Comments
 (0)