Skip to content

Commit ae47339

Browse files
aschackmullaschackmull
committed
Rust: Accept test changes.
1 parent e7e5f75 commit ae47339

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‎

Lines changed: 8 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -427,13 +427,10 @@ localStep
427427
| main.rs:318:11:318:12 | s1 | main.rs:319:9:319:45 | ... \| ... |
428428
| main.rs:319:9:319:45 | ... \| ... | main.rs:319:9:319:25 | ...::A(...) |
429429
| main.rs:319:9:319:45 | ... \| ... | main.rs:319:29:319:45 | ...::B(...) |
430-
| main.rs:319:9:319:45 | [SSA] phi | main.rs:319:55:319:55 | n |
431-
| main.rs:319:24:319:24 | [SSA] [input] phi | main.rs:319:9:319:45 | [SSA] phi |
432-
| main.rs:319:24:319:24 | [SSA] n | main.rs:319:24:319:24 | [SSA] [input] phi |
430+
| main.rs:319:24:319:24 | [SSA] n | main.rs:319:55:319:55 | n |
433431
| main.rs:319:24:319:24 | n | main.rs:319:24:319:24 | [SSA] n |
434432
| main.rs:319:24:319:24 | n | main.rs:319:24:319:24 | n |
435-
| main.rs:319:44:319:44 | [SSA] [input] phi | main.rs:319:9:319:45 | [SSA] phi |
436-
| main.rs:319:44:319:44 | [SSA] n | main.rs:319:44:319:44 | [SSA] [input] phi |
433+
| main.rs:319:44:319:44 | [SSA] n | main.rs:319:55:319:55 | n |
437434
| main.rs:319:44:319:44 | n | main.rs:319:44:319:44 | [SSA] n |
438435
| main.rs:319:44:319:44 | n | main.rs:319:44:319:44 | n |
439436
| main.rs:319:50:319:56 | sink(...) | main.rs:318:5:320:5 | match s1 { ... } |
@@ -470,13 +467,10 @@ localStep
470467
| main.rs:336:11:336:12 | s1 | main.rs:337:9:337:19 | ... \| ... |
471468
| main.rs:337:9:337:19 | ... \| ... | main.rs:337:9:337:12 | A(...) |
472469
| main.rs:337:9:337:19 | ... \| ... | main.rs:337:16:337:19 | B(...) |
473-
| main.rs:337:9:337:19 | [SSA] phi | main.rs:337:29:337:29 | n |
474-
| main.rs:337:11:337:11 | [SSA] [input] phi | main.rs:337:9:337:19 | [SSA] phi |
475-
| main.rs:337:11:337:11 | [SSA] n | main.rs:337:11:337:11 | [SSA] [input] phi |
470+
| main.rs:337:11:337:11 | [SSA] n | main.rs:337:29:337:29 | n |
476471
| main.rs:337:11:337:11 | n | main.rs:337:11:337:11 | [SSA] n |
477472
| main.rs:337:11:337:11 | n | main.rs:337:11:337:11 | n |
478-
| main.rs:337:18:337:18 | [SSA] [input] phi | main.rs:337:9:337:19 | [SSA] phi |
479-
| main.rs:337:18:337:18 | [SSA] n | main.rs:337:18:337:18 | [SSA] [input] phi |
473+
| main.rs:337:18:337:18 | [SSA] n | main.rs:337:29:337:29 | n |
480474
| main.rs:337:18:337:18 | n | main.rs:337:18:337:18 | [SSA] n |
481475
| main.rs:337:18:337:18 | n | main.rs:337:18:337:18 | n |
482476
| main.rs:337:24:337:30 | sink(...) | main.rs:336:5:338:5 | match s1 { ... } |
@@ -513,13 +507,10 @@ localStep
513507
| main.rs:359:11:359:12 | s1 | main.rs:360:9:360:71 | ... \| ... |
514508
| main.rs:360:9:360:71 | ... \| ... | main.rs:360:9:360:38 | ...::C {...} |
515509
| main.rs:360:9:360:71 | ... \| ... | main.rs:360:42:360:71 | ...::D {...} |
516-
| main.rs:360:9:360:71 | [SSA] phi | main.rs:360:81:360:81 | n |
517-
| main.rs:360:36:360:36 | [SSA] [input] phi | main.rs:360:9:360:71 | [SSA] phi |
518-
| main.rs:360:36:360:36 | [SSA] n | main.rs:360:36:360:36 | [SSA] [input] phi |
510+
| main.rs:360:36:360:36 | [SSA] n | main.rs:360:81:360:81 | n |
519511
| main.rs:360:36:360:36 | n | main.rs:360:36:360:36 | [SSA] n |
520512
| main.rs:360:36:360:36 | n | main.rs:360:36:360:36 | n |
521-
| main.rs:360:69:360:69 | [SSA] [input] phi | main.rs:360:9:360:71 | [SSA] phi |
522-
| main.rs:360:69:360:69 | [SSA] n | main.rs:360:69:360:69 | [SSA] [input] phi |
513+
| main.rs:360:69:360:69 | [SSA] n | main.rs:360:81:360:81 | n |
523514
| main.rs:360:69:360:69 | n | main.rs:360:69:360:69 | [SSA] n |
524515
| main.rs:360:69:360:69 | n | main.rs:360:69:360:69 | n |
525516
| main.rs:360:76:360:82 | sink(...) | main.rs:359:5:361:5 | match s1 { ... } |
@@ -556,13 +547,10 @@ localStep
556547
| main.rs:379:11:379:12 | s1 | main.rs:380:9:380:43 | ... \| ... |
557548
| main.rs:380:9:380:43 | ... \| ... | main.rs:380:9:380:24 | C {...} |
558549
| main.rs:380:9:380:43 | ... \| ... | main.rs:380:28:380:43 | D {...} |
559-
| main.rs:380:9:380:43 | [SSA] phi | main.rs:380:53:380:53 | n |
560-
| main.rs:380:22:380:22 | [SSA] [input] phi | main.rs:380:9:380:43 | [SSA] phi |
561-
| main.rs:380:22:380:22 | [SSA] n | main.rs:380:22:380:22 | [SSA] [input] phi |
550+
| main.rs:380:22:380:22 | [SSA] n | main.rs:380:53:380:53 | n |
562551
| main.rs:380:22:380:22 | n | main.rs:380:22:380:22 | [SSA] n |
563552
| main.rs:380:22:380:22 | n | main.rs:380:22:380:22 | n |
564-
| main.rs:380:41:380:41 | [SSA] [input] phi | main.rs:380:9:380:43 | [SSA] phi |
565-
| main.rs:380:41:380:41 | [SSA] n | main.rs:380:41:380:41 | [SSA] [input] phi |
553+
| main.rs:380:41:380:41 | [SSA] n | main.rs:380:53:380:53 | n |
566554
| main.rs:380:41:380:41 | n | main.rs:380:41:380:41 | [SSA] n |
567555
| main.rs:380:41:380:41 | n | main.rs:380:41:380:41 | n |
568556
| main.rs:380:48:380:54 | sink(...) | main.rs:379:5:381:5 | match s1 { ... } |

0 commit comments

Comments
 (0)