@@ -344,6 +344,50 @@ localStep
344
344
| main.rs:306:22:306:22 | [SSA] n | main.rs:306:34:306:34 | n |
345
345
| main.rs:306:22:306:22 | n | main.rs:306:22:306:22 | [SSA] n |
346
346
| main.rs:306:29:306:35 | sink(...) | main.rs:304:5:307:5 | match s2 { ... } |
347
+ | main.rs:314:9:314:9 | [SSA] f | main.rs:315:10:315:10 | f |
348
+ | main.rs:314:9:314:9 | f | main.rs:314:9:314:9 | [SSA] f |
349
+ | main.rs:314:13:314:52 | \|...\| ... | main.rs:314:9:314:9 | f |
350
+ | main.rs:314:14:314:17 | ... | main.rs:314:14:314:17 | cond |
351
+ | main.rs:314:14:314:17 | [SSA] cond | main.rs:314:23:314:26 | cond |
352
+ | main.rs:314:14:314:17 | cond | main.rs:314:14:314:17 | [SSA] cond |
353
+ | main.rs:314:28:314:41 | { ... } | main.rs:314:20:314:52 | if cond {...} else {...} |
354
+ | main.rs:314:30:314:39 | source(...) | main.rs:314:28:314:41 | { ... } |
355
+ | main.rs:314:48:314:52 | { ... } | main.rs:314:20:314:52 | if cond {...} else {...} |
356
+ | main.rs:314:50:314:50 | 0 | main.rs:314:48:314:52 | { ... } |
357
+ | main.rs:319:9:319:9 | [SSA] f | main.rs:326:5:326:5 | f |
358
+ | main.rs:319:9:319:9 | f | main.rs:319:9:319:9 | [SSA] f |
359
+ | main.rs:319:13:324:9 | \|...\| ... | main.rs:319:9:319:9 | f |
360
+ | main.rs:319:14:319:17 | ... | main.rs:319:14:319:17 | cond |
361
+ | main.rs:319:14:319:17 | [SSA] cond | main.rs:320:12:320:15 | cond |
362
+ | main.rs:319:14:319:17 | cond | main.rs:319:14:319:17 | [SSA] cond |
363
+ | main.rs:319:20:319:23 | ... | main.rs:319:20:319:23 | data |
364
+ | main.rs:319:20:319:23 | [SSA] data | main.rs:321:18:321:21 | data |
365
+ | main.rs:319:20:319:23 | data | main.rs:319:20:319:23 | [SSA] data |
366
+ | main.rs:320:17:322:9 | { ... } | main.rs:320:9:324:9 | if cond {...} else {...} |
367
+ | main.rs:322:16:324:9 | { ... } | main.rs:320:9:324:9 | if cond {...} else {...} |
368
+ | main.rs:323:13:323:19 | sink(...) | main.rs:322:16:324:9 | { ... } |
369
+ | main.rs:325:9:325:9 | [SSA] a | main.rs:326:13:326:13 | a |
370
+ | main.rs:325:9:325:9 | a | main.rs:325:9:325:9 | [SSA] a |
371
+ | main.rs:325:13:325:22 | source(...) | main.rs:325:9:325:9 | a |
372
+ | main.rs:330:9:330:9 | [SSA] f | main.rs:337:13:337:13 | f |
373
+ | main.rs:330:9:330:9 | f | main.rs:330:9:330:9 | [SSA] f |
374
+ | main.rs:330:13:335:9 | \|...\| ... | main.rs:330:9:330:9 | f |
375
+ | main.rs:330:14:330:17 | ... | main.rs:330:14:330:17 | cond |
376
+ | main.rs:330:14:330:17 | [SSA] cond | main.rs:331:12:331:15 | cond |
377
+ | main.rs:330:14:330:17 | cond | main.rs:330:14:330:17 | [SSA] cond |
378
+ | main.rs:330:20:330:23 | ... | main.rs:330:20:330:23 | data |
379
+ | main.rs:330:20:330:23 | [SSA] data | main.rs:332:13:332:16 | data |
380
+ | main.rs:330:20:330:23 | data | main.rs:330:20:330:23 | [SSA] data |
381
+ | main.rs:331:17:333:9 | { ... } | main.rs:331:9:335:9 | if cond {...} else {...} |
382
+ | main.rs:332:13:332:16 | data | main.rs:331:17:333:9 | { ... } |
383
+ | main.rs:333:16:335:9 | { ... } | main.rs:331:9:335:9 | if cond {...} else {...} |
384
+ | main.rs:334:13:334:13 | 0 | main.rs:333:16:335:9 | { ... } |
385
+ | main.rs:336:9:336:9 | [SSA] a | main.rs:337:21:337:21 | a |
386
+ | main.rs:336:9:336:9 | a | main.rs:336:9:336:9 | [SSA] a |
387
+ | main.rs:336:13:336:22 | source(...) | main.rs:336:9:336:9 | a |
388
+ | main.rs:337:9:337:9 | [SSA] b | main.rs:338:10:338:10 | b |
389
+ | main.rs:337:9:337:9 | b | main.rs:337:9:337:9 | [SSA] b |
390
+ | main.rs:337:13:337:22 | f(...) | main.rs:337:9:337:9 | b |
347
391
storeStep
348
392
| main.rs:94:14:94:22 | source(...) | tuple.0 | main.rs:94:13:94:26 | TupleExpr |
349
393
| main.rs:94:25:94:25 | 2 | tuple.1 | main.rs:94:13:94:26 | TupleExpr |
@@ -385,7 +429,7 @@ storeStep
385
429
| main.rs:276:41:276:41 | 2 | D | main.rs:276:14:276:43 | ...::D {...} |
386
430
| main.rs:294:18:294:27 | source(...) | C | main.rs:293:14:295:5 | C {...} |
387
431
| main.rs:296:27:296:27 | 2 | D | main.rs:296:14:296:29 | D {...} |
388
- | main.rs:314 :27:314 :27 | 0 | Some | main.rs:314 :22:314 :28 | Some(...) |
432
+ | main.rs:345 :27:345 :27 | 0 | Some | main.rs:345 :22:345 :28 | Some(...) |
389
433
readStep
390
434
| file://:0:0:0:0 | [summary param] self in lang:core::_::<crate::option::Option>::unwrap | Some | file://:0:0:0:0 | [summary] read: Argument[self].Variant[crate::option::Option::Some(0)] in lang:core::_::<crate::option::Option>::unwrap |
391
435
| main.rs:33:9:33:15 | TupleStructPat | Some | main.rs:33:14:33:14 | _ |
0 commit comments