|
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