Skip to content

Commit f797ede

Browse files
aschackmullaschackmull
committed
Rust: Accept test changes.
1 parent 83ed761 commit f797ede

File tree

1 file changed

+8
-20
lines changed

1 file changed

+8
-20
lines changed

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

+8-20
Original file line numberDiff line numberDiff line change
@@ -435,13 +435,10 @@ localStep
435435
| main.rs:318:11:318:12 | s1 | main.rs:319:9:319:45 | ... \| ... |
436436
| main.rs:319:9:319:45 | ... \| ... | main.rs:319:9:319:25 | ...::A(...) |
437437
| main.rs:319:9:319:45 | ... \| ... | main.rs:319:29:319:45 | ...::B(...) |
438-
| main.rs:319:9:319:45 | [SSA] phi | main.rs:319:55:319:55 | n |
439-
| main.rs:319:24:319:24 | [SSA] [input] phi | main.rs:319:9:319:45 | [SSA] phi |
440-
| main.rs:319:24:319:24 | [SSA] n | main.rs:319:24:319:24 | [SSA] [input] phi |
438+
| main.rs:319:24:319:24 | [SSA] n | main.rs:319:55:319:55 | n |
441439
| main.rs:319:24:319:24 | n | main.rs:319:24:319:24 | [SSA] n |
442440
| main.rs:319:24:319:24 | n | main.rs:319:24:319:24 | n |
443-
| main.rs:319:44:319:44 | [SSA] [input] phi | main.rs:319:9:319:45 | [SSA] phi |
444-
| main.rs:319:44:319:44 | [SSA] n | main.rs:319:44:319:44 | [SSA] [input] phi |
441+
| main.rs:319:44:319:44 | [SSA] n | main.rs:319:55:319:55 | n |
445442
| main.rs:319:44:319:44 | n | main.rs:319:44:319:44 | [SSA] n |
446443
| main.rs:319:44:319:44 | n | main.rs:319:44:319:44 | n |
447444
| main.rs:319:50:319:56 | sink(...) | main.rs:318:5:320:5 | match s1 { ... } |
@@ -478,13 +475,10 @@ localStep
478475
| main.rs:336:11:336:12 | s1 | main.rs:337:9:337:19 | ... \| ... |
479476
| main.rs:337:9:337:19 | ... \| ... | main.rs:337:9:337:12 | A(...) |
480477
| main.rs:337:9:337:19 | ... \| ... | main.rs:337:16:337:19 | B(...) |
481-
| main.rs:337:9:337:19 | [SSA] phi | main.rs:337:29:337:29 | n |
482-
| main.rs:337:11:337:11 | [SSA] [input] phi | main.rs:337:9:337:19 | [SSA] phi |
483-
| main.rs:337:11:337:11 | [SSA] n | main.rs:337:11:337:11 | [SSA] [input] phi |
478+
| main.rs:337:11:337:11 | [SSA] n | main.rs:337:29:337:29 | n |
484479
| main.rs:337:11:337:11 | n | main.rs:337:11:337:11 | [SSA] n |
485480
| main.rs:337:11:337:11 | n | main.rs:337:11:337:11 | n |
486-
| main.rs:337:18:337:18 | [SSA] [input] phi | main.rs:337:9:337:19 | [SSA] phi |
487-
| main.rs:337:18:337:18 | [SSA] n | main.rs:337:18:337:18 | [SSA] [input] phi |
481+
| main.rs:337:18:337:18 | [SSA] n | main.rs:337:29:337:29 | n |
488482
| main.rs:337:18:337:18 | n | main.rs:337:18:337:18 | [SSA] n |
489483
| main.rs:337:18:337:18 | n | main.rs:337:18:337:18 | n |
490484
| main.rs:337:24:337:30 | sink(...) | main.rs:336:5:338:5 | match s1 { ... } |
@@ -521,13 +515,10 @@ localStep
521515
| main.rs:359:11:359:12 | s1 | main.rs:360:9:360:71 | ... \| ... |
522516
| main.rs:360:9:360:71 | ... \| ... | main.rs:360:9:360:38 | ...::C {...} |
523517
| main.rs:360:9:360:71 | ... \| ... | main.rs:360:42:360:71 | ...::D {...} |
524-
| main.rs:360:9:360:71 | [SSA] phi | main.rs:360:81:360:81 | n |
525-
| main.rs:360:36:360:36 | [SSA] [input] phi | main.rs:360:9:360:71 | [SSA] phi |
526-
| main.rs:360:36:360:36 | [SSA] n | main.rs:360:36:360:36 | [SSA] [input] phi |
518+
| main.rs:360:36:360:36 | [SSA] n | main.rs:360:81:360:81 | n |
527519
| main.rs:360:36:360:36 | n | main.rs:360:36:360:36 | [SSA] n |
528520
| main.rs:360:36:360:36 | n | main.rs:360:36:360:36 | n |
529-
| main.rs:360:69:360:69 | [SSA] [input] phi | main.rs:360:9:360:71 | [SSA] phi |
530-
| main.rs:360:69:360:69 | [SSA] n | main.rs:360:69:360:69 | [SSA] [input] phi |
521+
| main.rs:360:69:360:69 | [SSA] n | main.rs:360:81:360:81 | n |
531522
| main.rs:360:69:360:69 | n | main.rs:360:69:360:69 | [SSA] n |
532523
| main.rs:360:69:360:69 | n | main.rs:360:69:360:69 | n |
533524
| main.rs:360:76:360:82 | sink(...) | main.rs:359:5:361:5 | match s1 { ... } |
@@ -564,13 +555,10 @@ localStep
564555
| main.rs:379:11:379:12 | s1 | main.rs:380:9:380:43 | ... \| ... |
565556
| main.rs:380:9:380:43 | ... \| ... | main.rs:380:9:380:24 | C {...} |
566557
| main.rs:380:9:380:43 | ... \| ... | main.rs:380:28:380:43 | D {...} |
567-
| main.rs:380:9:380:43 | [SSA] phi | main.rs:380:53:380:53 | n |
568-
| main.rs:380:22:380:22 | [SSA] [input] phi | main.rs:380:9:380:43 | [SSA] phi |
569-
| main.rs:380:22:380:22 | [SSA] n | main.rs:380:22:380:22 | [SSA] [input] phi |
558+
| main.rs:380:22:380:22 | [SSA] n | main.rs:380:53:380:53 | n |
570559
| main.rs:380:22:380:22 | n | main.rs:380:22:380:22 | [SSA] n |
571560
| main.rs:380:22:380:22 | n | main.rs:380:22:380:22 | n |
572-
| main.rs:380:41:380:41 | [SSA] [input] phi | main.rs:380:9:380:43 | [SSA] phi |
573-
| main.rs:380:41:380:41 | [SSA] n | main.rs:380:41:380:41 | [SSA] [input] phi |
561+
| main.rs:380:41:380:41 | [SSA] n | main.rs:380:53:380:53 | n |
574562
| main.rs:380:41:380:41 | n | main.rs:380:41:380:41 | [SSA] n |
575563
| main.rs:380:41:380:41 | n | main.rs:380:41:380:41 | n |
576564
| main.rs:380:48:380:54 | sink(...) | main.rs:379:5:381:5 | match s1 { ... } |

0 commit comments

Comments
 (0)