|
9 | 9 |
|
10 | 10 | bb0: {
|
11 | 11 | + Coverage::Counter(1) for /the/src/instrument_coverage.rs:10:1 - 12:17; // scope 0 at /the/src/instrument_coverage.rs:11:5: 15:6
|
12 |
| - falseUnwind -> [real: bb1, cleanup: bb6]; // scope 0 at /the/src/instrument_coverage.rs:11:5: 15:6 |
| 12 | + falseUnwind -> [real: bb1, cleanup: bb5]; // scope 0 at /the/src/instrument_coverage.rs:11:5: 15:6 |
13 | 13 | }
|
14 | 14 |
|
15 | 15 | bb1: {
|
16 | 16 | StorageLive(_2); // scope 0 at /the/src/instrument_coverage.rs:12:12: 12:17
|
17 |
| - _2 = bar() -> [return: bb2, unwind: bb6]; // scope 0 at /the/src/instrument_coverage.rs:12:12: 12:17 |
| 17 | + _2 = bar() -> [return: bb2, unwind: bb5]; // scope 0 at /the/src/instrument_coverage.rs:12:12: 12:17 |
18 | 18 | // mir::Constant
|
19 | 19 | // + span: /the/src/instrument_coverage.rs:12:12: 12:15
|
20 | 20 | // + literal: Const { ty: fn() -> bool {bar}, val: Value(Scalar(<ZST>)) }
|
21 | 21 | }
|
22 | 22 |
|
23 | 23 | bb2: {
|
24 |
| - FakeRead(ForMatchedPlace, _2); // scope 0 at /the/src/instrument_coverage.rs:12:12: 12:17 |
25 |
| - switchInt(_2) -> [false: bb4, otherwise: bb3]; // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10 |
| 24 | + switchInt(move _2) -> [false: bb4, otherwise: bb3]; // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10 |
26 | 25 | }
|
27 | 26 |
|
28 | 27 | bb3: {
|
29 |
| -+ Coverage::Expression(4294967294) = 2 + 0 for /the/src/instrument_coverage.rs:16:1 - 16:2; // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10 |
30 |
| -+ Coverage::Counter(2) for /the/src/instrument_coverage.rs:13:13 - 13:18; // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10 |
31 |
| - falseEdge -> [real: bb5, imaginary: bb4]; // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10 |
| 28 | ++ Coverage::Expression(4294967294) = 2 + 0 for /the/src/instrument_coverage.rs:16:1 - 16:2; // scope 0 at /the/src/instrument_coverage.rs:16:2: 16:2 |
| 29 | ++ Coverage::Counter(2) for /the/src/instrument_coverage.rs:13:13 - 13:18; // scope 0 at /the/src/instrument_coverage.rs:16:2: 16:2 |
| 30 | + _0 = const (); // scope 0 at /the/src/instrument_coverage.rs:13:13: 13:18 |
| 31 | + StorageDead(_2); // scope 0 at /the/src/instrument_coverage.rs:14:9: 14:10 |
| 32 | + return; // scope 0 at /the/src/instrument_coverage.rs:16:2: 16:2 |
32 | 33 | }
|
33 | 34 |
|
34 | 35 | bb4: {
|
35 | 36 | + Coverage::Expression(4294967295) = 1 - 2 for /the/src/instrument_coverage.rs:14:10 - 14:11; // scope 0 at /the/src/instrument_coverage.rs:11:5: 15:6
|
36 | 37 | _1 = const (); // scope 0 at /the/src/instrument_coverage.rs:14:10: 14:10
|
37 |
| - StorageDead(_2); // scope 0 at /the/src/instrument_coverage.rs:15:5: 15:6 |
| 38 | + StorageDead(_2); // scope 0 at /the/src/instrument_coverage.rs:14:9: 14:10 |
38 | 39 | goto -> bb0; // scope 0 at /the/src/instrument_coverage.rs:11:5: 15:6
|
39 | 40 | }
|
40 | 41 |
|
41 |
| - bb5: { |
42 |
| - _0 = const (); // scope 0 at /the/src/instrument_coverage.rs:13:13: 13:18 |
43 |
| - StorageDead(_2); // scope 0 at /the/src/instrument_coverage.rs:15:5: 15:6 |
44 |
| - return; // scope 0 at /the/src/instrument_coverage.rs:16:2: 16:2 |
45 |
| - } |
46 |
| - |
47 |
| - bb6 (cleanup): { |
| 42 | + bb5 (cleanup): { |
48 | 43 | resume; // scope 0 at /the/src/instrument_coverage.rs:10:1: 16:2
|
49 | 44 | }
|
50 | 45 | }
|
|
0 commit comments