|
9 | 9 |
|
10 | 10 | bb0: {
|
11 | 11 | + Coverage::Counter(0) for /the/src/instrument_coverage.rs:10:11 - 16:2; // scope 0 at /the/src/instrument_coverage.rs:11:5: 15:6
|
12 |
| - falseUnwind -> [real: bb1, cleanup: bb2]; // 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 |
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: bb3, unwind: bb2]; // 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 |
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 |
| - bb2 (cleanup): { |
24 |
| - resume; // scope 0 at /the/src/instrument_coverage.rs:10:1: 16:2 |
| 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 |
25 | 26 | }
|
26 | 27 |
|
27 | 28 | bb3: {
|
28 |
| - FakeRead(ForMatchedPlace, _2); // scope 0 at /the/src/instrument_coverage.rs:12:12: 12:17 |
29 |
| - switchInt(_2) -> [false: bb5, otherwise: bb4]; // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10 |
| 29 | + falseEdge -> [real: bb5, imaginary: bb4]; // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10 |
30 | 30 | }
|
31 | 31 |
|
32 | 32 | bb4: {
|
33 |
| - falseEdge -> [real: bb6, imaginary: bb5]; // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10 |
34 |
| - } |
35 |
| - |
36 |
| - bb5: { |
37 | 33 | _1 = const (); // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10
|
38 | 34 | StorageDead(_2); // scope 0 at /the/src/instrument_coverage.rs:15:5: 15:6
|
39 | 35 | goto -> bb0; // scope 0 at /the/src/instrument_coverage.rs:11:5: 15:6
|
40 | 36 | }
|
41 | 37 |
|
42 |
| - bb6: { |
| 38 | + bb5: { |
43 | 39 | _0 = const (); // scope 0 at /the/src/instrument_coverage.rs:13:13: 13:18
|
44 | 40 | StorageDead(_2); // scope 0 at /the/src/instrument_coverage.rs:15:5: 15:6
|
45 | 41 | return; // scope 0 at /the/src/instrument_coverage.rs:16:2: 16:2
|
46 | 42 | }
|
| 43 | + |
| 44 | + bb6 (cleanup): { |
| 45 | + resume; // scope 0 at /the/src/instrument_coverage.rs:10:1: 16:2 |
| 46 | + } |
47 | 47 | }
|
48 | 48 |
|
0 commit comments