Skip to content

Commit e648058

Browse files
committed
C++: Accept test changes.
1 parent d6871c7 commit e648058

File tree

8 files changed

+465
-518
lines changed

8 files changed

+465
-518
lines changed

cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-ir-consistency.expected

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,6 @@ postIsNotPre
1515
| flowOut.cpp:84:3:84:14 | access to array indirection | PostUpdateNode should not equal its pre-update node. |
1616
postHasUniquePre
1717
uniquePostUpdate
18-
| example.c:24:13:24:18 | coords indirection | Node has multiple PostUpdateNodes. |
1918
postIsInSameCallable
2019
reverseRead
2120
argHasPostUpdate

cpp/ql/test/library-tests/dataflow/fields/dataflow-ir-consistency.expected

Lines changed: 0 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -14,31 +14,6 @@ localCallNodes
1414
postIsNotPre
1515
postHasUniquePre
1616
uniquePostUpdate
17-
| aliasing.cpp:70:11:70:11 | definition of w indirection | Node has multiple PostUpdateNodes. |
18-
| aliasing.cpp:77:11:77:11 | definition of w indirection | Node has multiple PostUpdateNodes. |
19-
| aliasing.cpp:84:11:84:11 | definition of w indirection | Node has multiple PostUpdateNodes. |
20-
| aliasing.cpp:91:11:91:11 | definition of w indirection | Node has multiple PostUpdateNodes. |
21-
| clearning.cpp:54:3:54:3 | s indirection | Node has multiple PostUpdateNodes. |
22-
| clearning.cpp:61:3:61:3 | s indirection | Node has multiple PostUpdateNodes. |
23-
| clearning.cpp:90:3:90:3 | s indirection | Node has multiple PostUpdateNodes. |
24-
| clearning.cpp:104:2:104:2 | s indirection | Node has multiple PostUpdateNodes. |
25-
| clearning.cpp:111:4:111:4 | s indirection | Node has multiple PostUpdateNodes. |
26-
| clearning.cpp:118:2:118:2 | s indirection | Node has multiple PostUpdateNodes. |
27-
| clearning.cpp:125:2:125:2 | s indirection | Node has multiple PostUpdateNodes. |
28-
| clearning.cpp:132:2:132:2 | s indirection | Node has multiple PostUpdateNodes. |
29-
| clearning.cpp:139:4:139:4 | s indirection | Node has multiple PostUpdateNodes. |
30-
| clearning.cpp:165:3:165:3 | s indirection | Node has multiple PostUpdateNodes. |
31-
| clearning.cpp:172:3:172:3 | s indirection | Node has multiple PostUpdateNodes. |
32-
| complex.cpp:22:3:22:5 | this indirection | Node has multiple PostUpdateNodes. |
33-
| complex.cpp:25:7:25:7 | this indirection | Node has multiple PostUpdateNodes. |
34-
| complex.cpp:42:10:42:14 | inner indirection | Node has multiple PostUpdateNodes. |
35-
| complex.cpp:43:10:43:14 | inner indirection | Node has multiple PostUpdateNodes. |
36-
| complex.cpp:53:6:53:10 | inner indirection | Node has multiple PostUpdateNodes. |
37-
| complex.cpp:54:6:54:10 | inner indirection | Node has multiple PostUpdateNodes. |
38-
| complex.cpp:55:6:55:10 | inner indirection | Node has multiple PostUpdateNodes. |
39-
| complex.cpp:56:6:56:10 | inner indirection | Node has multiple PostUpdateNodes. |
40-
| struct_init.c:26:16:26:20 | definition of outer indirection | Node has multiple PostUpdateNodes. |
41-
| struct_init.c:41:16:41:20 | definition of outer indirection | Node has multiple PostUpdateNodes. |
4217
postIsInSameCallable
4318
reverseRead
4419
argHasPostUpdate

cpp/ql/test/library-tests/dataflow/fields/ir-path-flow.expected

Lines changed: 351 additions & 378 deletions
Large diffs are not rendered by default.

cpp/ql/test/library-tests/dataflow/fields/partial-definition-diff.expected

Lines changed: 93 additions & 93 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
WARNING: Module DataFlow has been deprecated and may be removed in future (partial-definition-diff.ql:7,8-51)
22
| A.cpp:25:13:25:13 | c | AST only |
33
| A.cpp:27:28:27:28 | c | AST only |
4-
| A.cpp:28:29:28:29 | this | IR only |
4+
| A.cpp:28:23:28:26 | this | IR only |
55
| A.cpp:31:14:31:21 | new | IR only |
66
| A.cpp:40:15:40:21 | 0 | IR only |
77
| A.cpp:40:15:40:21 | 0 | IR only |
@@ -45,7 +45,7 @@ WARNING: Module DataFlow has been deprecated and may be removed in future (parti
4545
| A.cpp:161:29:161:35 | 0 | IR only |
4646
| A.cpp:162:18:162:40 | new | IR only |
4747
| A.cpp:162:29:162:35 | 0 | IR only |
48-
| A.cpp:167:47:167:50 | l | IR only |
48+
| A.cpp:167:44:167:44 | l | IR only |
4949
| A.cpp:183:7:183:10 | head | AST only |
5050
| A.cpp:184:13:184:16 | next | AST only |
5151
| B.cpp:7:16:7:35 | new | IR only |
@@ -93,54 +93,54 @@ WARNING: Module DataFlow has been deprecated and may be removed in future (parti
9393
| aliasing.cpp:9:6:9:7 | m1 | AST only |
9494
| aliasing.cpp:13:5:13:6 | m1 | AST only |
9595
| aliasing.cpp:17:5:17:6 | m1 | AST only |
96-
| aliasing.cpp:29:11:29:12 | s1 | IR only |
97-
| aliasing.cpp:30:11:30:12 | s2 | IR only |
98-
| aliasing.cpp:31:11:31:12 | s3 | IR only |
96+
| aliasing.cpp:29:8:29:9 | s1 | IR only |
97+
| aliasing.cpp:30:8:30:9 | s2 | IR only |
98+
| aliasing.cpp:31:8:31:9 | s3 | IR only |
9999
| aliasing.cpp:37:8:37:9 | m1 | AST only |
100-
| aliasing.cpp:38:11:38:12 | s1 | IR only |
100+
| aliasing.cpp:38:8:38:9 | s1 | IR only |
101101
| aliasing.cpp:42:6:42:7 | m1 | AST only |
102-
| aliasing.cpp:43:13:43:14 | ref2 | IR only |
102+
| aliasing.cpp:43:8:43:11 | ref2 | IR only |
103103
| aliasing.cpp:49:9:49:10 | m1 | AST only |
104-
| aliasing.cpp:50:11:50:12 | s1 | IR only |
104+
| aliasing.cpp:50:8:50:9 | s1 | IR only |
105105
| aliasing.cpp:54:6:54:7 | m1 | AST only |
106-
| aliasing.cpp:55:14:55:15 | copy2 | IR only |
106+
| aliasing.cpp:55:8:55:12 | copy2 | IR only |
107107
| aliasing.cpp:60:6:60:7 | m1 | AST only |
108-
| aliasing.cpp:62:14:62:15 | copy2 | IR only |
109-
| aliasing.cpp:71:11:71:11 | w | IR only |
108+
| aliasing.cpp:62:8:62:12 | copy2 | IR only |
109+
| aliasing.cpp:71:9:71:9 | w | IR only |
110110
| aliasing.cpp:72:5:72:6 | m1 | AST only |
111-
| aliasing.cpp:73:10:73:10 | w | IR only |
112-
| aliasing.cpp:73:12:73:13 | s | IR only |
113-
| aliasing.cpp:78:13:78:13 | w | IR only |
111+
| aliasing.cpp:73:8:73:8 | w | IR only |
112+
| aliasing.cpp:73:10:73:10 | s | IR only |
113+
| aliasing.cpp:78:11:78:11 | w | IR only |
114114
| aliasing.cpp:79:6:79:7 | m1 | AST only |
115-
| aliasing.cpp:80:10:80:10 | w | IR only |
116-
| aliasing.cpp:80:12:80:13 | s | IR only |
117-
| aliasing.cpp:85:12:85:12 | w | IR only |
115+
| aliasing.cpp:80:8:80:8 | w | IR only |
116+
| aliasing.cpp:80:10:80:10 | s | IR only |
117+
| aliasing.cpp:85:10:85:10 | w | IR only |
118118
| aliasing.cpp:86:5:86:6 | m1 | AST only |
119-
| aliasing.cpp:87:10:87:10 | w | IR only |
120-
| aliasing.cpp:87:12:87:13 | s | IR only |
119+
| aliasing.cpp:87:8:87:8 | w | IR only |
120+
| aliasing.cpp:87:10:87:10 | s | IR only |
121121
| aliasing.cpp:92:7:92:8 | m1 | AST only |
122-
| aliasing.cpp:93:10:93:10 | w | IR only |
123-
| aliasing.cpp:93:12:93:13 | s | IR only |
122+
| aliasing.cpp:93:8:93:8 | w | IR only |
123+
| aliasing.cpp:93:10:93:10 | s | IR only |
124124
| aliasing.cpp:98:5:98:6 | m1 | AST only |
125-
| aliasing.cpp:101:21:101:22 | s_copy | IR only |
125+
| aliasing.cpp:101:14:101:19 | s_copy | IR only |
126126
| aliasing.cpp:106:3:106:5 | * ... | AST only |
127-
| aliasing.cpp:112:10:112:11 | s | IR only |
128-
| aliasing.cpp:143:10:143:13 | s | IR only |
129-
| aliasing.cpp:148:13:148:14 | access to array | IR only |
130-
| aliasing.cpp:159:11:159:14 | s | IR only |
131-
| aliasing.cpp:165:10:165:13 | s | IR only |
132-
| aliasing.cpp:176:11:176:11 | s2 | IR only |
133-
| aliasing.cpp:176:13:176:14 | s | IR only |
134-
| aliasing.cpp:182:11:182:11 | s2 | IR only |
135-
| aliasing.cpp:182:13:182:14 | s | IR only |
136-
| aliasing.cpp:189:13:189:13 | s2_2 | IR only |
137-
| aliasing.cpp:189:15:189:16 | s | IR only |
138-
| aliasing.cpp:196:13:196:13 | s2_2 | IR only |
139-
| aliasing.cpp:196:15:196:16 | s | IR only |
140-
| aliasing.cpp:201:13:201:13 | ps2 | IR only |
141-
| aliasing.cpp:201:15:201:16 | s | IR only |
142-
| aliasing.cpp:206:13:206:13 | ps2 | IR only |
143-
| aliasing.cpp:206:15:206:16 | s | IR only |
127+
| aliasing.cpp:112:8:112:8 | s | IR only |
128+
| aliasing.cpp:143:8:143:8 | s | IR only |
129+
| aliasing.cpp:148:8:148:11 | access to array | IR only |
130+
| aliasing.cpp:159:9:159:9 | s | IR only |
131+
| aliasing.cpp:165:8:165:8 | s | IR only |
132+
| aliasing.cpp:176:8:176:9 | s2 | IR only |
133+
| aliasing.cpp:176:11:176:11 | s | IR only |
134+
| aliasing.cpp:182:8:182:9 | s2 | IR only |
135+
| aliasing.cpp:182:11:182:11 | s | IR only |
136+
| aliasing.cpp:189:8:189:11 | s2_2 | IR only |
137+
| aliasing.cpp:189:13:189:13 | s | IR only |
138+
| aliasing.cpp:196:8:196:11 | s2_2 | IR only |
139+
| aliasing.cpp:196:13:196:13 | s | IR only |
140+
| aliasing.cpp:201:8:201:10 | ps2 | IR only |
141+
| aliasing.cpp:201:13:201:13 | s | IR only |
142+
| aliasing.cpp:206:8:206:10 | ps2 | IR only |
143+
| aliasing.cpp:206:13:206:13 | s | IR only |
144144
| arrays.cpp:6:3:6:8 | access to array | AST only |
145145
| arrays.cpp:7:8:7:13 | access to array | IR only |
146146
| arrays.cpp:7:8:7:13 | access to array | IR only |
@@ -160,92 +160,92 @@ WARNING: Module DataFlow has been deprecated and may be removed in future (parti
160160
| arrays.cpp:48:22:48:25 | data | AST only |
161161
| by_reference.cpp:12:8:12:8 | a | AST only |
162162
| by_reference.cpp:16:11:16:11 | a | AST only |
163-
| by_reference.cpp:32:15:32:15 | s | IR only |
164-
| by_reference.cpp:36:18:36:18 | this | IR only |
163+
| by_reference.cpp:32:12:32:12 | s | IR only |
164+
| by_reference.cpp:36:12:36:15 | this | IR only |
165165
| by_reference.cpp:44:26:44:29 | this | IR only |
166166
| by_reference.cpp:69:22:69:23 | & ... | IR only |
167167
| by_reference.cpp:84:10:84:10 | a | AST only |
168168
| by_reference.cpp:88:9:88:9 | a | AST only |
169169
| by_reference.cpp:92:3:92:5 | * ... | AST only |
170170
| by_reference.cpp:96:3:96:4 | pa | AST only |
171-
| clearning.cpp:18:7:18:7 | s | IR only |
171+
| clearning.cpp:18:5:18:5 | s | IR only |
172172
| clearning.cpp:19:3:19:6 | * ... | AST only |
173-
| clearning.cpp:20:12:20:12 | s | IR only |
174-
| clearning.cpp:25:7:25:7 | s | IR only |
175-
| clearning.cpp:26:7:26:7 | s | IR only |
176-
| clearning.cpp:27:12:27:12 | s | IR only |
173+
| clearning.cpp:20:10:20:10 | s | IR only |
174+
| clearning.cpp:25:5:25:5 | s | IR only |
175+
| clearning.cpp:26:5:26:5 | s | IR only |
176+
| clearning.cpp:27:10:27:10 | s | IR only |
177177
| clearning.cpp:32:3:32:6 | * ... | AST only |
178-
| clearning.cpp:33:7:33:7 | s | IR only |
178+
| clearning.cpp:33:5:33:5 | s | IR only |
179179
| clearning.cpp:34:8:34:11 | * ... | IR only |
180-
| clearning.cpp:34:11:34:11 | s | IR only |
180+
| clearning.cpp:34:9:34:9 | s | IR only |
181181
| clearning.cpp:39:3:39:6 | * ... | AST only |
182182
| clearning.cpp:40:5:40:5 | x | AST only |
183183
| clearning.cpp:41:8:41:11 | * ... | IR only |
184-
| clearning.cpp:41:11:41:11 | s | IR only |
185-
| clearning.cpp:46:7:46:7 | s | IR only |
184+
| clearning.cpp:41:9:41:9 | s | IR only |
185+
| clearning.cpp:46:5:46:5 | s | IR only |
186186
| clearning.cpp:47:5:47:5 | x | AST only |
187187
| clearning.cpp:48:8:48:11 | * ... | IR only |
188-
| clearning.cpp:48:11:48:11 | s | IR only |
188+
| clearning.cpp:48:9:48:9 | s | IR only |
189189
| clearning.cpp:53:3:53:6 | * ... | AST only |
190190
| clearning.cpp:54:5:54:5 | x | AST only |
191-
| clearning.cpp:60:7:60:7 | s | IR only |
191+
| clearning.cpp:60:5:60:5 | s | IR only |
192192
| clearning.cpp:61:5:61:5 | x | AST only |
193193
| clearning.cpp:75:2:75:10 | access to array | AST only |
194-
| clearning.cpp:76:10:76:12 | s | IR only |
194+
| clearning.cpp:76:8:76:8 | s | IR only |
195195
| clearning.cpp:82:2:82:9 | access to array | AST only |
196196
| clearning.cpp:83:7:83:9 | val | AST only |
197-
| clearning.cpp:83:15:83:17 | s | IR only |
198-
| clearning.cpp:84:10:84:12 | s | IR only |
197+
| clearning.cpp:83:13:83:13 | s | IR only |
198+
| clearning.cpp:84:8:84:8 | s | IR only |
199199
| clearning.cpp:90:5:90:7 | val | AST only |
200-
| clearning.cpp:91:10:91:12 | s | IR only |
200+
| clearning.cpp:91:8:91:8 | s | IR only |
201201
| clearning.cpp:97:4:97:6 | val | AST only |
202-
| clearning.cpp:97:12:97:14 | s | IR only |
203-
| clearning.cpp:98:10:98:12 | s | IR only |
202+
| clearning.cpp:97:10:97:10 | s | IR only |
203+
| clearning.cpp:98:8:98:8 | s | IR only |
204204
| clearning.cpp:104:4:104:6 | val | AST only |
205-
| clearning.cpp:105:10:105:12 | s | IR only |
205+
| clearning.cpp:105:8:105:8 | s | IR only |
206206
| clearning.cpp:111:6:111:8 | val | AST only |
207-
| clearning.cpp:112:10:112:12 | s | IR only |
207+
| clearning.cpp:112:8:112:8 | s | IR only |
208208
| clearning.cpp:118:4:118:6 | val | AST only |
209-
| clearning.cpp:119:10:119:12 | s | IR only |
209+
| clearning.cpp:119:8:119:8 | s | IR only |
210210
| clearning.cpp:124:4:124:6 | val | AST only |
211211
| clearning.cpp:125:4:125:6 | val | AST only |
212212
| clearning.cpp:131:4:131:6 | val | AST only |
213213
| clearning.cpp:132:4:132:6 | val | AST only |
214214
| clearning.cpp:138:4:138:6 | val | AST only |
215215
| clearning.cpp:139:6:139:8 | val | AST only |
216216
| clearning.cpp:151:5:151:7 | val | AST only |
217-
| clearning.cpp:152:10:152:12 | s | IR only |
217+
| clearning.cpp:152:8:152:8 | s | IR only |
218218
| clearning.cpp:157:5:157:7 | val | AST only |
219219
| clearning.cpp:158:5:158:7 | val | AST only |
220-
| clearning.cpp:159:10:159:12 | s | IR only |
220+
| clearning.cpp:159:8:159:8 | s | IR only |
221221
| clearning.cpp:164:5:164:7 | val | AST only |
222222
| clearning.cpp:165:5:165:7 | val | AST only |
223-
| clearning.cpp:166:10:166:12 | s | IR only |
223+
| clearning.cpp:166:8:166:8 | s | IR only |
224224
| clearning.cpp:171:5:171:7 | val | AST only |
225225
| clearning.cpp:172:5:172:7 | val | AST only |
226-
| clearning.cpp:173:10:173:12 | s | IR only |
226+
| clearning.cpp:173:8:173:8 | s | IR only |
227227
| clearning.cpp:178:5:178:7 | val | AST only |
228228
| clearning.cpp:179:5:179:7 | val | AST only |
229-
| clearning.cpp:179:13:179:15 | s | IR only |
230-
| clearning.cpp:180:10:180:12 | s | IR only |
229+
| clearning.cpp:179:11:179:11 | s | IR only |
230+
| clearning.cpp:180:8:180:8 | s | IR only |
231231
| complex.cpp:9:20:9:21 | this | IR only |
232232
| complex.cpp:10:20:10:21 | this | IR only |
233233
| complex.cpp:11:22:11:23 | a_ | AST only |
234234
| complex.cpp:12:22:12:23 | b_ | AST only |
235235
| conflated.cpp:10:3:10:7 | * ... | AST only |
236-
| conflated.cpp:11:12:11:12 | ra | IR only |
236+
| conflated.cpp:11:9:11:10 | ra | IR only |
237237
| conflated.cpp:29:7:29:7 | x | AST only |
238-
| conflated.cpp:30:12:30:12 | pa | IR only |
238+
| conflated.cpp:30:8:30:9 | pa | IR only |
239239
| conflated.cpp:36:7:36:7 | x | AST only |
240-
| conflated.cpp:37:12:37:12 | pa | IR only |
240+
| conflated.cpp:37:8:37:9 | pa | IR only |
241241
| conflated.cpp:53:7:53:10 | next | AST only |
242242
| conflated.cpp:54:13:54:13 | y | AST only |
243-
| conflated.cpp:55:12:55:15 | ll | IR only |
244-
| conflated.cpp:55:18:55:18 | next | IR only |
243+
| conflated.cpp:55:8:55:9 | ll | IR only |
244+
| conflated.cpp:55:12:55:15 | next | IR only |
245245
| conflated.cpp:59:20:59:39 | new | IR only |
246246
| conflated.cpp:60:13:60:13 | y | AST only |
247-
| conflated.cpp:61:12:61:15 | ll | IR only |
248-
| conflated.cpp:61:18:61:18 | next | IR only |
247+
| conflated.cpp:61:8:61:9 | ll | IR only |
248+
| conflated.cpp:61:12:61:15 | next | IR only |
249249
| constructors.cpp:18:22:18:23 | this | IR only |
250250
| constructors.cpp:19:22:19:23 | this | IR only |
251251
| constructors.cpp:20:24:20:25 | a_ | AST only |
@@ -261,31 +261,31 @@ WARNING: Module DataFlow has been deprecated and may be removed in future (parti
261261
| realistic.cpp:49:20:49:22 | baz | AST only |
262262
| realistic.cpp:53:35:53:43 | bufferLen | AST only |
263263
| realistic.cpp:54:50:54:61 | call to user_input | IR only |
264-
| realistic.cpp:55:16:55:18 | foo | IR only |
265-
| realistic.cpp:55:23:55:25 | access to array | IR only |
266-
| realistic.cpp:55:28:55:36 | baz | IR only |
267-
| realistic.cpp:55:38:55:46 | userInput | IR only |
268-
| realistic.cpp:57:92:57:94 | foo | IR only |
269-
| realistic.cpp:57:99:57:101 | access to array | IR only |
270-
| realistic.cpp:57:104:57:112 | baz | IR only |
271-
| realistic.cpp:57:114:57:122 | userInput | IR only |
264+
| realistic.cpp:55:12:55:14 | foo | IR only |
265+
| realistic.cpp:55:12:55:21 | access to array | IR only |
266+
| realistic.cpp:55:23:55:25 | baz | IR only |
267+
| realistic.cpp:55:28:55:36 | userInput | IR only |
268+
| realistic.cpp:57:88:57:90 | foo | IR only |
269+
| realistic.cpp:57:88:57:97 | access to array | IR only |
270+
| realistic.cpp:57:99:57:101 | baz | IR only |
271+
| realistic.cpp:57:104:57:112 | userInput | IR only |
272+
| realistic.cpp:60:21:60:23 | foo | IR only |
273+
| realistic.cpp:60:21:60:30 | access to array | IR only |
272274
| realistic.cpp:60:21:60:52 | buffer | IR only |
273-
| realistic.cpp:60:25:60:27 | foo | IR only |
274-
| realistic.cpp:60:32:60:34 | access to array | IR only |
275-
| realistic.cpp:60:37:60:45 | baz | IR only |
276-
| realistic.cpp:60:47:60:52 | userInput | IR only |
277-
| realistic.cpp:60:59:60:61 | foo | IR only |
278-
| realistic.cpp:60:66:60:68 | access to array | IR only |
279-
| realistic.cpp:60:71:60:79 | baz | IR only |
280-
| realistic.cpp:60:81:60:89 | userInput | IR only |
275+
| realistic.cpp:60:32:60:34 | baz | IR only |
276+
| realistic.cpp:60:37:60:45 | userInput | IR only |
277+
| realistic.cpp:60:55:60:57 | foo | IR only |
278+
| realistic.cpp:60:55:60:64 | access to array | IR only |
279+
| realistic.cpp:60:66:60:68 | baz | IR only |
280+
| realistic.cpp:60:71:60:79 | userInput | IR only |
281281
| simple.cpp:18:22:18:23 | this | IR only |
282282
| simple.cpp:19:22:19:23 | this | IR only |
283283
| simple.cpp:20:24:20:25 | a_ | AST only |
284284
| simple.cpp:21:24:21:25 | b_ | AST only |
285285
| simple.cpp:65:7:65:7 | i | AST only |
286-
| simple.cpp:67:13:67:13 | a2 | IR only |
286+
| simple.cpp:67:10:67:11 | a2 | IR only |
287+
| simple.cpp:79:16:79:17 | f2 | IR only |
287288
| simple.cpp:79:16:79:17 | this | IR only |
288-
| simple.cpp:79:19:79:20 | f2 | IR only |
289289
| simple.cpp:83:12:83:13 | f1 | AST only |
290290
| simple.cpp:92:7:92:7 | i | AST only |
291-
| simple.cpp:94:13:94:13 | a2 | IR only |
291+
| simple.cpp:94:10:94:11 | a2 | IR only |

cpp/ql/test/query-tests/Critical/MemoryFreed/UseAfterFree.expected

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,8 @@ edges
1313
| test_free.cpp:239:14:239:15 | * ... | test_free.cpp:241:9:241:10 | * ... |
1414
| test_free.cpp:245:10:245:11 | * ... | test_free.cpp:246:9:246:10 | * ... |
1515
| test_free.cpp:293:8:293:10 | buf | test_free.cpp:294:3:294:13 | ... = ... |
16-
| test_free.cpp:294:3:294:13 | ... = ... | test_free.cpp:294:5:294:7 | s indirection [post update] [buf] |
17-
| test_free.cpp:294:5:294:7 | s indirection [post update] [buf] | test_free.cpp:295:12:295:12 | s indirection [buf] |
16+
| test_free.cpp:294:3:294:3 | s indirection [post update] [buf] | test_free.cpp:295:12:295:12 | s indirection [buf] |
17+
| test_free.cpp:294:3:294:13 | ... = ... | test_free.cpp:294:3:294:3 | s indirection [post update] [buf] |
1818
| test_free.cpp:295:12:295:12 | s indirection [buf] | test_free.cpp:295:14:295:16 | buf |
1919
nodes
2020
| test_free.cpp:11:10:11:10 | a | semmle.label | a |
@@ -43,8 +43,8 @@ nodes
4343
| test_free.cpp:245:10:245:11 | * ... | semmle.label | * ... |
4444
| test_free.cpp:246:9:246:10 | * ... | semmle.label | * ... |
4545
| test_free.cpp:293:8:293:10 | buf | semmle.label | buf |
46+
| test_free.cpp:294:3:294:3 | s indirection [post update] [buf] | semmle.label | s indirection [post update] [buf] |
4647
| test_free.cpp:294:3:294:13 | ... = ... | semmle.label | ... = ... |
47-
| test_free.cpp:294:5:294:7 | s indirection [post update] [buf] | semmle.label | s indirection [post update] [buf] |
4848
| test_free.cpp:295:12:295:12 | s indirection [buf] | semmle.label | s indirection [buf] |
4949
| test_free.cpp:295:14:295:16 | buf | semmle.label | buf |
5050
subpaths

0 commit comments

Comments
 (0)