|
9 | 9 | + let mut _4: (); // in scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2 |
10 | 10 |
|
11 | 11 | bb0: { |
12 | | -- falseUnwind -> [real: bb1, cleanup: bb6]; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6 |
| 12 | +- falseUnwind -> [real: bb1, cleanup: bb2]; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6 |
13 | 13 | + StorageLive(_4); // scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2 |
14 | 14 | + _4 = const std::intrinsics::count_code_region(const 0u32) -> bb7; // scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2 |
15 | 15 | + // ty::Const |
|
28 | 28 |
|
29 | 29 | bb1: { |
30 | 30 | StorageLive(_2); // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17 |
31 | | - _2 = const bar() -> [return: bb2, unwind: bb6]; // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17 |
| 31 | + _2 = const bar() -> [return: bb3, unwind: bb2]; // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17 |
32 | 32 | // ty::Const |
33 | 33 | // + ty: fn() -> bool {bar} |
34 | 34 | // + val: Value(Scalar(<ZST>)) |
|
37 | 37 | // + literal: Const { ty: fn() -> bool {bar}, val: Value(Scalar(<ZST>)) } |
38 | 38 | } |
39 | 39 |
|
40 | | - bb2: { |
41 | | - FakeRead(ForMatchedPlace, _2); // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17 |
42 | | - switchInt(_2) -> [false: bb4, otherwise: bb3]; // scope 0 at $DIR/instrument_coverage.rs:10:9: 12:10 |
| 40 | + bb2 (cleanup): { |
| 41 | + resume; // scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2 |
43 | 42 | } |
44 | 43 |
|
45 | 44 | bb3: { |
46 | | - falseEdges -> [real: bb5, imaginary: bb4]; // scope 0 at $DIR/instrument_coverage.rs:10:9: 12:10 |
| 45 | + FakeRead(ForMatchedPlace, _2); // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17 |
| 46 | + switchInt(_2) -> [false: bb5, otherwise: bb4]; // scope 0 at $DIR/instrument_coverage.rs:10:9: 12:10 |
47 | 47 | } |
48 | 48 |
|
49 | 49 | bb4: { |
| 50 | + falseEdge -> [real: bb6, imaginary: bb5]; // scope 0 at $DIR/instrument_coverage.rs:10:9: 12:10 |
| 51 | + } |
| 52 | + |
| 53 | + bb5: { |
50 | 54 | _1 = const (); // scope 0 at $DIR/instrument_coverage.rs:10:9: 12:10 |
51 | 55 | // ty::Const |
52 | 56 | // + ty: () |
|
58 | 62 | goto -> bb0; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6 |
59 | 63 | } |
60 | 64 |
|
61 | | - bb5: { |
| 65 | + bb6: { |
62 | 66 | _0 = const (); // scope 0 at $DIR/instrument_coverage.rs:11:13: 11:18 |
63 | 67 | // ty::Const |
64 | 68 | // + ty: () |
|
68 | 72 | // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) } |
69 | 73 | StorageDead(_2); // scope 0 at $DIR/instrument_coverage.rs:13:5: 13:6 |
70 | 74 | return; // scope 0 at $DIR/instrument_coverage.rs:14:2: 14:2 |
71 | | - } |
72 | | - |
73 | | - bb6 (cleanup): { |
74 | | - resume; // scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2 |
75 | 75 | + } |
76 | 76 | + |
77 | 77 | + bb7: { |
78 | 78 | + StorageDead(_4); // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6 |
79 | | -+ falseUnwind -> [real: bb1, cleanup: bb6]; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6 |
| 79 | ++ falseUnwind -> [real: bb1, cleanup: bb2]; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6 |
80 | 80 | } |
81 | 81 | } |
82 | 82 |
|
0 commit comments