|
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