Skip to content

Commit b26117a

Browse files
hvitvedhvitved
committed
wip4
1 parent 7c5d58a commit b26117a

2 files changed

Lines changed: 34 additions & 78 deletions

File tree

‎rust/ql/test/library-tests/dataflow/models/models.expected‎

Lines changed: 20 additions & 72 deletions
Original file line numberDiff line numberDiff line change
@@ -229,10 +229,8 @@ edges
229229
| main.rs:232:30:232:30 | s | main.rs:232:13:232:31 | get_async_number(...) [future] | provenance | MaD:28 |
230230
| main.rs:257:9:257:9 | s [D] | main.rs:258:11:258:11 | s [D] | provenance | |
231231
| main.rs:257:9:257:9 | s [D] | main.rs:258:11:258:11 | s [D] | provenance | |
232-
| main.rs:257:13:257:27 | enum_source(...) | main.rs:257:13:257:27 | enum_source(...) [D] | provenance | Src:MaD:12 |
233-
| main.rs:257:13:257:27 | enum_source(...) | main.rs:257:13:257:27 | enum_source(...) [D] | provenance | Src:MaD:12 |
234-
| main.rs:257:13:257:27 | enum_source(...) [D] | main.rs:257:9:257:9 | s [D] | provenance | |
235-
| main.rs:257:13:257:27 | enum_source(...) [D] | main.rs:257:9:257:9 | s [D] | provenance | |
232+
| main.rs:257:13:257:27 | enum_source(...) | main.rs:257:9:257:9 | s [D] | provenance | Src:MaD:12 |
233+
| main.rs:257:13:257:27 | enum_source(...) | main.rs:257:9:257:9 | s [D] | provenance | Src:MaD:12 |
236234
| main.rs:258:11:258:11 | s [D] | main.rs:260:9:260:37 | ...::D {...} [D] | provenance | |
237235
| main.rs:258:11:258:11 | s [D] | main.rs:260:9:260:37 | ...::D {...} [D] | provenance | |
238236
| main.rs:260:9:260:37 | ...::D {...} [D] | main.rs:260:35:260:35 | i | provenance | |
@@ -241,10 +239,8 @@ edges
241239
| main.rs:260:35:260:35 | i | main.rs:260:47:260:47 | i | provenance | |
242240
| main.rs:264:9:264:9 | s [E, Some] | main.rs:265:11:265:11 | s [E, Some] | provenance | |
243241
| main.rs:264:9:264:9 | s [E, Some] | main.rs:265:11:265:11 | s [E, Some] | provenance | |
244-
| main.rs:264:13:264:34 | enum_source_nested(...) | main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | provenance | Src:MaD:13 |
245-
| main.rs:264:13:264:34 | enum_source_nested(...) | main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | provenance | Src:MaD:13 |
246-
| main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | main.rs:264:9:264:9 | s [E, Some] | provenance | |
247-
| main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | main.rs:264:9:264:9 | s [E, Some] | provenance | |
242+
| main.rs:264:13:264:34 | enum_source_nested(...) | main.rs:264:9:264:9 | s [E, Some] | provenance | Src:MaD:13 |
243+
| main.rs:264:13:264:34 | enum_source_nested(...) | main.rs:264:9:264:9 | s [E, Some] | provenance | Src:MaD:13 |
248244
| main.rs:265:11:265:11 | s [E, Some] | main.rs:268:9:268:37 | ...::E {...} [E, Some] | provenance | |
249245
| main.rs:265:11:265:11 | s [E, Some] | main.rs:268:9:268:37 | ...::E {...} [E, Some] | provenance | |
250246
| main.rs:268:9:268:37 | ...::E {...} [E, Some] | main.rs:268:35:268:35 | o [Some] | provenance | |
@@ -259,38 +255,26 @@ edges
259255
| main.rs:271:22:271:22 | i | main.rs:271:33:271:33 | i | provenance | |
260256
| main.rs:280:9:280:9 | s [C] | main.rs:281:11:281:11 | s [C] | provenance | |
261257
| main.rs:280:9:280:9 | s [C] | main.rs:281:11:281:11 | s [C] | provenance | |
262-
| main.rs:280:13:280:24 | e.source(...) | main.rs:280:13:280:24 | e.source(...) [C] | provenance | Src:MaD:10 |
263-
| main.rs:280:13:280:24 | e.source(...) | main.rs:280:13:280:24 | e.source(...) [C] | provenance | Src:MaD:10 |
264-
| main.rs:280:13:280:24 | e.source(...) [C] | main.rs:280:9:280:9 | s [C] | provenance | |
265-
| main.rs:280:13:280:24 | e.source(...) [C] | main.rs:280:9:280:9 | s [C] | provenance | |
258+
| main.rs:280:13:280:24 | e.source(...) | main.rs:280:9:280:9 | s [C] | provenance | Src:MaD:10 |
259+
| main.rs:280:13:280:24 | e.source(...) | main.rs:280:9:280:9 | s [C] | provenance | Src:MaD:10 |
266260
| main.rs:281:11:281:11 | s [C] | main.rs:282:9:282:37 | ...::C {...} [C] | provenance | |
267261
| main.rs:281:11:281:11 | s [C] | main.rs:282:9:282:37 | ...::C {...} [C] | provenance | |
268262
| main.rs:282:9:282:37 | ...::C {...} [C] | main.rs:282:35:282:35 | i | provenance | |
269263
| main.rs:282:9:282:37 | ...::C {...} [C] | main.rs:282:35:282:35 | i | provenance | |
270264
| main.rs:282:35:282:35 | i | main.rs:282:47:282:47 | i | provenance | |
271265
| main.rs:282:35:282:35 | i | main.rs:282:47:282:47 | i | provenance | |
272-
| main.rs:303:18:303:18 | ... | main.rs:303:26:303:26 | a | provenance | |
273-
| main.rs:303:18:303:18 | ... | main.rs:303:26:303:26 | a | provenance | |
274-
| main.rs:304:24:304:24 | a | main.rs:303:18:303:18 | ... | provenance | Src:MaD:17 |
275-
| main.rs:304:24:304:24 | a | main.rs:303:18:303:18 | ... | provenance | Src:MaD:17 |
276-
| main.rs:306:24:308:9 | \|...\| ... | main.rs:306:25:306:25 | ... | provenance | Src:MaD:17 |
277-
| main.rs:306:24:308:9 | \|...\| ... | main.rs:306:25:306:25 | ... | provenance | Src:MaD:17 |
278-
| main.rs:306:25:306:25 | ... | main.rs:307:18:307:18 | a | provenance | |
279-
| main.rs:306:25:306:25 | ... | main.rs:307:18:307:18 | a | provenance | |
280-
| main.rs:310:14:310:19 | ...: i64 | main.rs:311:18:311:18 | a | provenance | |
281-
| main.rs:310:14:310:19 | ...: i64 | main.rs:311:18:311:18 | a | provenance | |
282-
| main.rs:313:24:313:24 | f | main.rs:310:14:310:19 | ...: i64 | provenance | Src:MaD:17 |
283-
| main.rs:313:24:313:24 | f | main.rs:310:14:310:19 | ...: i64 | provenance | Src:MaD:17 |
284-
| main.rs:315:24:317:9 | \|...\| ... | main.rs:315:36:315:36 | ... | provenance | Src:MaD:17 |
285-
| main.rs:315:24:317:9 | \|...\| ... | main.rs:315:36:315:36 | ... | provenance | Src:MaD:17 |
286-
| main.rs:315:36:315:36 | ... | main.rs:316:18:316:18 | a | provenance | |
287-
| main.rs:315:36:315:36 | ... | main.rs:316:18:316:18 | a | provenance | |
266+
| main.rs:304:24:304:24 | a | main.rs:303:26:303:26 | a | provenance | Src:MaD:17 |
267+
| main.rs:304:24:304:24 | a | main.rs:303:26:303:26 | a | provenance | Src:MaD:17 |
268+
| main.rs:306:24:308:9 | \|...\| ... | main.rs:307:18:307:18 | a | provenance | Src:MaD:17 |
269+
| main.rs:306:24:308:9 | \|...\| ... | main.rs:307:18:307:18 | a | provenance | Src:MaD:17 |
270+
| main.rs:313:24:313:24 | f | main.rs:311:18:311:18 | a | provenance | Src:MaD:17 |
271+
| main.rs:313:24:313:24 | f | main.rs:311:18:311:18 | a | provenance | Src:MaD:17 |
272+
| main.rs:315:24:317:9 | \|...\| ... | main.rs:316:18:316:18 | a | provenance | Src:MaD:17 |
273+
| main.rs:315:24:317:9 | \|...\| ... | main.rs:316:18:316:18 | a | provenance | Src:MaD:17 |
288274
| main.rs:319:31:331:9 | \|...\| ... | main.rs:319:31:331:9 | \|...\| ... [E, Some] | provenance | Src:MaD:18 |
289275
| main.rs:319:31:331:9 | \|...\| ... | main.rs:319:31:331:9 | \|...\| ... [E, Some] | provenance | Src:MaD:18 |
290-
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | main.rs:319:32:319:32 | ... [E, Some] | provenance | |
291-
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | main.rs:319:32:319:32 | ... [E, Some] | provenance | |
292-
| main.rs:319:32:319:32 | ... [E, Some] | main.rs:320:19:320:19 | e [E, Some] | provenance | |
293-
| main.rs:319:32:319:32 | ... [E, Some] | main.rs:320:19:320:19 | e [E, Some] | provenance | |
276+
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | main.rs:320:19:320:19 | e [E, Some] | provenance | |
277+
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | main.rs:320:19:320:19 | e [E, Some] | provenance | |
294278
| main.rs:320:19:320:19 | e [E, Some] | main.rs:323:17:323:45 | ...::E {...} [E, Some] | provenance | |
295279
| main.rs:320:19:320:19 | e [E, Some] | main.rs:323:17:323:45 | ...::E {...} [E, Some] | provenance | |
296280
| main.rs:323:17:323:45 | ...::E {...} [E, Some] | main.rs:323:43:323:43 | o [Some] | provenance | |
@@ -303,18 +287,14 @@ edges
303287
| main.rs:326:25:326:31 | Some(...) [Some] | main.rs:326:30:326:30 | i | provenance | |
304288
| main.rs:326:30:326:30 | i | main.rs:326:41:326:41 | i | provenance | |
305289
| main.rs:326:30:326:30 | i | main.rs:326:41:326:41 | i | provenance | |
306-
| main.rs:346:21:346:29 | source(...) | main.rs:346:21:346:29 | source(...) | provenance | |
307-
| main.rs:346:21:346:29 | source(...) | main.rs:346:21:346:29 | source(...) | provenance | |
308290
| main.rs:346:21:346:29 | source(...) | main.rs:347:19:347:19 | a | provenance | Sink:MaD:7 |
309291
| main.rs:346:21:346:29 | source(...) | main.rs:347:19:347:19 | a | provenance | Sink:MaD:7 |
310-
| main.rs:349:22:352:9 | { ... } [E, Some] | main.rs:353:26:353:26 | b [E, Some] | provenance | |
311-
| main.rs:349:22:352:9 | { ... } [E, Some] | main.rs:353:26:353:26 | b [E, Some] | provenance | |
312292
| main.rs:350:17:350:17 | s | main.rs:351:52:351:52 | s | provenance | |
313293
| main.rs:350:17:350:17 | s | main.rs:351:52:351:52 | s | provenance | |
314294
| main.rs:350:21:350:29 | source(...) | main.rs:350:17:350:17 | s | provenance | |
315295
| main.rs:350:21:350:29 | source(...) | main.rs:350:17:350:17 | s | provenance | |
316-
| main.rs:351:13:351:55 | ...::E {...} [E, Some] | main.rs:349:22:352:9 | { ... } [E, Some] | provenance | |
317-
| main.rs:351:13:351:55 | ...::E {...} [E, Some] | main.rs:349:22:352:9 | { ... } [E, Some] | provenance | |
296+
| main.rs:351:13:351:55 | ...::E {...} [E, Some] | main.rs:353:26:353:26 | b [E, Some] | provenance | |
297+
| main.rs:351:13:351:55 | ...::E {...} [E, Some] | main.rs:353:26:353:26 | b [E, Some] | provenance | |
318298
| main.rs:351:39:351:53 | ...::Some(...) [Some] | main.rs:351:13:351:55 | ...::E {...} [E, Some] | provenance | |
319299
| main.rs:351:39:351:53 | ...::Some(...) [Some] | main.rs:351:13:351:55 | ...::E {...} [E, Some] | provenance | |
320300
| main.rs:351:52:351:52 | s | main.rs:351:39:351:53 | ...::Some(...) [Some] | provenance | |
@@ -331,12 +311,8 @@ edges
331311
| main.rs:364:13:364:22 | source(...) | main.rs:364:9:364:9 | s | provenance | |
332312
| main.rs:365:15:365:43 | ...::C {...} [C] | main.rs:365:15:365:43 | ...::C {...} | provenance | Sink:MaD:2 |
333313
| main.rs:365:15:365:43 | ...::C {...} [C] | main.rs:365:15:365:43 | ...::C {...} | provenance | Sink:MaD:2 |
334-
| main.rs:365:15:365:43 | ...::C {...} [C] | main.rs:365:15:365:43 | ...::C {...} [C] | provenance | |
335-
| main.rs:365:15:365:43 | ...::C {...} [C] | main.rs:365:15:365:43 | ...::C {...} [C] | provenance | |
336314
| main.rs:365:41:365:41 | s | main.rs:365:15:365:43 | ...::C {...} [C] | provenance | |
337315
| main.rs:365:41:365:41 | s | main.rs:365:15:365:43 | ...::C {...} [C] | provenance | |
338-
| main.rs:368:22:368:56 | ...::E {...} [E, Some] | main.rs:368:22:368:56 | ...::E {...} [E, Some] | provenance | |
339-
| main.rs:368:22:368:56 | ...::E {...} [E, Some] | main.rs:368:22:368:56 | ...::E {...} [E, Some] | provenance | |
340316
| main.rs:368:22:368:56 | ...::E {...} [E, Some] | main.rs:368:22:368:56 | ...::E {...} [Some] | provenance | |
341317
| main.rs:368:22:368:56 | ...::E {...} [E, Some] | main.rs:368:22:368:56 | ...::E {...} [Some] | provenance | |
342318
| main.rs:368:22:368:56 | ...::E {...} [Some] | main.rs:368:22:368:56 | ...::E {...} | provenance | Sink:MaD:3 |
@@ -349,14 +325,12 @@ edges
349325
| main.rs:372:9:372:9 | s | main.rs:373:39:373:39 | s | provenance | |
350326
| main.rs:372:13:372:22 | source(...) | main.rs:372:9:372:9 | s | provenance | |
351327
| main.rs:372:13:372:22 | source(...) | main.rs:372:9:372:9 | s | provenance | |
352-
| main.rs:373:9:373:9 | e [D] | main.rs:374:5:374:5 | e [D] | provenance | |
353-
| main.rs:373:9:373:9 | e [D] | main.rs:374:5:374:5 | e [D] | provenance | |
328+
| main.rs:373:9:373:9 | e [D] | main.rs:374:5:374:5 | e | provenance | Sink:MaD:1 |
329+
| main.rs:373:9:373:9 | e [D] | main.rs:374:5:374:5 | e | provenance | Sink:MaD:1 |
354330
| main.rs:373:13:373:41 | ...::D {...} [D] | main.rs:373:9:373:9 | e [D] | provenance | |
355331
| main.rs:373:13:373:41 | ...::D {...} [D] | main.rs:373:9:373:9 | e [D] | provenance | |
356332
| main.rs:373:39:373:39 | s | main.rs:373:13:373:41 | ...::D {...} [D] | provenance | |
357333
| main.rs:373:39:373:39 | s | main.rs:373:13:373:41 | ...::D {...} [D] | provenance | |
358-
| main.rs:374:5:374:5 | e [D] | main.rs:374:5:374:5 | e | provenance | Sink:MaD:1 |
359-
| main.rs:374:5:374:5 | e [D] | main.rs:374:5:374:5 | e | provenance | Sink:MaD:1 |
360334
| main.rs:383:9:383:9 | s | main.rs:384:10:384:10 | s | provenance | |
361335
| main.rs:383:9:383:9 | s | main.rs:384:10:384:10 | s | provenance | |
362336
| main.rs:383:13:383:29 | simple_source(...) | main.rs:383:9:383:9 | s | provenance | Src:MaD:16 |
@@ -632,8 +606,6 @@ nodes
632606
| main.rs:257:9:257:9 | s [D] | semmle.label | s [D] |
633607
| main.rs:257:13:257:27 | enum_source(...) | semmle.label | enum_source(...) |
634608
| main.rs:257:13:257:27 | enum_source(...) | semmle.label | enum_source(...) |
635-
| main.rs:257:13:257:27 | enum_source(...) [D] | semmle.label | enum_source(...) [D] |
636-
| main.rs:257:13:257:27 | enum_source(...) [D] | semmle.label | enum_source(...) [D] |
637609
| main.rs:258:11:258:11 | s [D] | semmle.label | s [D] |
638610
| main.rs:258:11:258:11 | s [D] | semmle.label | s [D] |
639611
| main.rs:260:9:260:37 | ...::D {...} [D] | semmle.label | ...::D {...} [D] |
@@ -646,8 +618,6 @@ nodes
646618
| main.rs:264:9:264:9 | s [E, Some] | semmle.label | s [E, Some] |
647619
| main.rs:264:13:264:34 | enum_source_nested(...) | semmle.label | enum_source_nested(...) |
648620
| main.rs:264:13:264:34 | enum_source_nested(...) | semmle.label | enum_source_nested(...) |
649-
| main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | semmle.label | enum_source_nested(...) [E, Some] |
650-
| main.rs:264:13:264:34 | enum_source_nested(...) [E, Some] | semmle.label | enum_source_nested(...) [E, Some] |
651621
| main.rs:265:11:265:11 | s [E, Some] | semmle.label | s [E, Some] |
652622
| main.rs:265:11:265:11 | s [E, Some] | semmle.label | s [E, Some] |
653623
| main.rs:268:9:268:37 | ...::E {...} [E, Some] | semmle.label | ...::E {...} [E, Some] |
@@ -666,8 +636,6 @@ nodes
666636
| main.rs:280:9:280:9 | s [C] | semmle.label | s [C] |
667637
| main.rs:280:13:280:24 | e.source(...) | semmle.label | e.source(...) |
668638
| main.rs:280:13:280:24 | e.source(...) | semmle.label | e.source(...) |
669-
| main.rs:280:13:280:24 | e.source(...) [C] | semmle.label | e.source(...) [C] |
670-
| main.rs:280:13:280:24 | e.source(...) [C] | semmle.label | e.source(...) [C] |
671639
| main.rs:281:11:281:11 | s [C] | semmle.label | s [C] |
672640
| main.rs:281:11:281:11 | s [C] | semmle.label | s [C] |
673641
| main.rs:282:9:282:37 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
@@ -676,36 +644,26 @@ nodes
676644
| main.rs:282:35:282:35 | i | semmle.label | i |
677645
| main.rs:282:47:282:47 | i | semmle.label | i |
678646
| main.rs:282:47:282:47 | i | semmle.label | i |
679-
| main.rs:303:18:303:18 | ... | semmle.label | ... |
680-
| main.rs:303:18:303:18 | ... | semmle.label | ... |
681647
| main.rs:303:26:303:26 | a | semmle.label | a |
682648
| main.rs:303:26:303:26 | a | semmle.label | a |
683649
| main.rs:304:24:304:24 | a | semmle.label | a |
684650
| main.rs:304:24:304:24 | a | semmle.label | a |
685651
| main.rs:306:24:308:9 | \|...\| ... | semmle.label | \|...\| ... |
686652
| main.rs:306:24:308:9 | \|...\| ... | semmle.label | \|...\| ... |
687-
| main.rs:306:25:306:25 | ... | semmle.label | ... |
688-
| main.rs:306:25:306:25 | ... | semmle.label | ... |
689653
| main.rs:307:18:307:18 | a | semmle.label | a |
690654
| main.rs:307:18:307:18 | a | semmle.label | a |
691-
| main.rs:310:14:310:19 | ...: i64 | semmle.label | ...: i64 |
692-
| main.rs:310:14:310:19 | ...: i64 | semmle.label | ...: i64 |
693655
| main.rs:311:18:311:18 | a | semmle.label | a |
694656
| main.rs:311:18:311:18 | a | semmle.label | a |
695657
| main.rs:313:24:313:24 | f | semmle.label | f |
696658
| main.rs:313:24:313:24 | f | semmle.label | f |
697659
| main.rs:315:24:317:9 | \|...\| ... | semmle.label | \|...\| ... |
698660
| main.rs:315:24:317:9 | \|...\| ... | semmle.label | \|...\| ... |
699-
| main.rs:315:36:315:36 | ... | semmle.label | ... |
700-
| main.rs:315:36:315:36 | ... | semmle.label | ... |
701661
| main.rs:316:18:316:18 | a | semmle.label | a |
702662
| main.rs:316:18:316:18 | a | semmle.label | a |
703663
| main.rs:319:31:331:9 | \|...\| ... | semmle.label | \|...\| ... |
704664
| main.rs:319:31:331:9 | \|...\| ... | semmle.label | \|...\| ... |
705665
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | semmle.label | \|...\| ... [E, Some] |
706666
| main.rs:319:31:331:9 | \|...\| ... [E, Some] | semmle.label | \|...\| ... [E, Some] |
707-
| main.rs:319:32:319:32 | ... [E, Some] | semmle.label | ... [E, Some] |
708-
| main.rs:319:32:319:32 | ... [E, Some] | semmle.label | ... [E, Some] |
709667
| main.rs:320:19:320:19 | e [E, Some] | semmle.label | e [E, Some] |
710668
| main.rs:320:19:320:19 | e [E, Some] | semmle.label | e [E, Some] |
711669
| main.rs:323:17:323:45 | ...::E {...} [E, Some] | semmle.label | ...::E {...} [E, Some] |
@@ -722,12 +680,8 @@ nodes
722680
| main.rs:326:41:326:41 | i | semmle.label | i |
723681
| main.rs:346:21:346:29 | source(...) | semmle.label | source(...) |
724682
| main.rs:346:21:346:29 | source(...) | semmle.label | source(...) |
725-
| main.rs:346:21:346:29 | source(...) | semmle.label | source(...) |
726-
| main.rs:346:21:346:29 | source(...) | semmle.label | source(...) |
727683
| main.rs:347:19:347:19 | a | semmle.label | a |
728684
| main.rs:347:19:347:19 | a | semmle.label | a |
729-
| main.rs:349:22:352:9 | { ... } [E, Some] | semmle.label | { ... } [E, Some] |
730-
| main.rs:349:22:352:9 | { ... } [E, Some] | semmle.label | { ... } [E, Some] |
731685
| main.rs:350:17:350:17 | s | semmle.label | s |
732686
| main.rs:350:17:350:17 | s | semmle.label | s |
733687
| main.rs:350:21:350:29 | source(...) | semmle.label | source(...) |
@@ -752,16 +706,12 @@ nodes
752706
| main.rs:365:15:365:43 | ...::C {...} | semmle.label | ...::C {...} |
753707
| main.rs:365:15:365:43 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
754708
| main.rs:365:15:365:43 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
755-
| main.rs:365:15:365:43 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
756-
| main.rs:365:15:365:43 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
757709
| main.rs:365:41:365:41 | s | semmle.label | s |
758710
| main.rs:365:41:365:41 | s | semmle.label | s |
759711
| main.rs:368:22:368:56 | ...::E {...} | semmle.label | ...::E {...} |
760712
| main.rs:368:22:368:56 | ...::E {...} | semmle.label | ...::E {...} |
761713
| main.rs:368:22:368:56 | ...::E {...} [E, Some] | semmle.label | ...::E {...} [E, Some] |
762714
| main.rs:368:22:368:56 | ...::E {...} [E, Some] | semmle.label | ...::E {...} [E, Some] |
763-
| main.rs:368:22:368:56 | ...::E {...} [E, Some] | semmle.label | ...::E {...} [E, Some] |
764-
| main.rs:368:22:368:56 | ...::E {...} [E, Some] | semmle.label | ...::E {...} [E, Some] |
765715
| main.rs:368:22:368:56 | ...::E {...} [Some] | semmle.label | ...::E {...} [Some] |
766716
| main.rs:368:22:368:56 | ...::E {...} [Some] | semmle.label | ...::E {...} [Some] |
767717
| main.rs:368:48:368:54 | Some(...) [Some] | semmle.label | Some(...) [Some] |
@@ -780,8 +730,6 @@ nodes
780730
| main.rs:373:39:373:39 | s | semmle.label | s |
781731
| main.rs:374:5:374:5 | e | semmle.label | e |
782732
| main.rs:374:5:374:5 | e | semmle.label | e |
783-
| main.rs:374:5:374:5 | e [D] | semmle.label | e [D] |
784-
| main.rs:374:5:374:5 | e [D] | semmle.label | e [D] |
785733
| main.rs:383:9:383:9 | s | semmle.label | s |
786734
| main.rs:383:9:383:9 | s | semmle.label | s |
787735
| main.rs:383:13:383:29 | simple_source(...) | semmle.label | simple_source(...) |

‎shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll‎

Lines changed: 14 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1791,9 +1791,13 @@ module Make<
17911791

17921792
override predicate isHidden() {
17931793
not this.isEntry(_, _) and
1794-
exists(SummaryComponentStack stack |
1795-
state_.isSourceOutputState(_, stack, _, _) and
1796-
stack.head() instanceof TContentSummaryComponent
1794+
(
1795+
exists(SummaryComponentStack stack |
1796+
state_.isSourceOutputState(_, stack, _, _) and
1797+
stack.head() instanceof TContentSummaryComponent
1798+
)
1799+
or
1800+
this.isExit(_, _, _, _)
17971801
)
17981802
}
17991803

@@ -1859,9 +1863,13 @@ module Make<
18591863

18601864
override predicate isHidden() {
18611865
not this.isExit(_, _) and
1862-
exists(SummaryComponentStack stack |
1863-
state_.isSourceOutputState(_, stack, _, _) and
1864-
stack.head() instanceof TContentSummaryComponent
1866+
(
1867+
exists(SummaryComponentStack stack |
1868+
state_.isSourceOutputState(_, stack, _, _) and
1869+
stack.head() instanceof TContentSummaryComponent
1870+
)
1871+
or
1872+
this.isEntry(_, _, _, _)
18651873
)
18661874
}
18671875

0 commit comments

Comments
 (0)