| <!DOCTYPE html> |
| <!-- |
| |
| Preview this file as rendered HTML from the github source at: |
| https://htmlpreview.github.io/?https://github.com/rust-lang/rust/blob/master/src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.abort/abort.might_abort.-------.InstrumentCoverage.0.html |
| |
| For revisions in Pull Requests (PR): |
| * Replace "rust-lang" with the github PR author |
| * Replace "master" with the PR branch name |
| |
| --> |
| <html> |
| <head> |
| <title>abort.might_abort - Coverage Spans</title> |
| <style> |
| .line { |
| counter-increment: line; |
| } |
| .line:before { |
| content: counter(line) ": "; |
| font-family: Menlo, Monaco, monospace; |
| font-style: italic; |
| width: 3.8em; |
| display: inline-block; |
| text-align: right; |
| filter: opacity(50%); |
| -webkit-user-select: none; |
| } |
| .code { |
| color: #dddddd; |
| background-color: #222222; |
| font-family: Menlo, Monaco, monospace; |
| line-height: 1.4em; |
| border-bottom: 2px solid #222222; |
| white-space: pre; |
| display: inline-block; |
| } |
| .odd { |
| background-color: #55bbff; |
| color: #223311; |
| } |
| .even { |
| background-color: #ee7756; |
| color: #551133; |
| } |
| .code { |
| --index: calc(var(--layer) - 1); |
| padding-top: calc(var(--index) * 0.15em); |
| filter: |
| hue-rotate(calc(var(--index) * 25deg)) |
| saturate(calc(100% - (var(--index) * 2%))) |
| brightness(calc(100% - (var(--index) * 1.5%))); |
| } |
| .annotation { |
| color: #4444ff; |
| font-family: monospace; |
| font-style: italic; |
| display: none; |
| -webkit-user-select: none; |
| } |
| body:active .annotation { |
| /* requires holding mouse down anywhere on the page */ |
| display: inline-block; |
| } |
| span:hover .annotation { |
| /* requires hover over a span ONLY on its first line */ |
| display: inline-block; |
| } |
| </style> |
| </head> |
| <body> |
| <div class="code" style="counter-reset: line 4"><span class="line"><span><span class="code even" style="--layer: 1"><span class="annotation">@0⦊</span>fn might_abort(should_abort: bool) <span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">{</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> if </span><span><span class="code even" style="--layer: 1" title="6:8-6:20: @0[1]: _2 = _1 |
| 6:8-6:20: @0[2]: FakeRead(ForMatchedPlace, _2)"><span class="annotation">@0⦊</span>should_abort<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0"> {</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="7:18-7:31: @3[6]: _33 = const might_abort::promoted[3] |
| 7:18-7:31: @3[7]: _9 = &(*_33) |
| 7:18-7:31: @3[8]: _8 = &(*_9) |
| 7:18-7:31: @3[9]: _7 = move _8 as &[&str] (Pointer(Unsize)) |
| 7:9-7:33: @3[15]: _15 = () |
| 7:9-7:33: @3[16]: FakeRead(ForMatchedPlace, _15) |
| 7:9-7:33: @3[17]: _32 = const might_abort::promoted[2] |
| 7:9-7:33: @3[18]: _13 = &(*_32) |
| 7:9-7:33: @3[19]: _12 = &(*_13) |
| 7:9-7:33: @3[20]: _11 = move _12 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 7:9-7:33: @3.Call: _6 = Arguments::new_v1(move _7, move _11) -> [return: bb4, unwind: bb8] |
| 7:9-7:33: @4.Call: _5 = _print(move _6) -> [return: bb5, unwind: bb8] |
| 7:9-7:33: @5[5]: _4 = const () |
| 8:9-8:37: @5.Call: begin_panic::<&str>(const "panics and aborts") -> bb8"><span class="annotation">@1,3,4,5⦊</span>println!("aborting...");</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="7:18-7:31: @3[6]: _33 = const might_abort::promoted[3] |
| 7:18-7:31: @3[7]: _9 = &(*_33) |
| 7:18-7:31: @3[8]: _8 = &(*_9) |
| 7:18-7:31: @3[9]: _7 = move _8 as &[&str] (Pointer(Unsize)) |
| 7:9-7:33: @3[15]: _15 = () |
| 7:9-7:33: @3[16]: FakeRead(ForMatchedPlace, _15) |
| 7:9-7:33: @3[17]: _32 = const might_abort::promoted[2] |
| 7:9-7:33: @3[18]: _13 = &(*_32) |
| 7:9-7:33: @3[19]: _12 = &(*_13) |
| 7:9-7:33: @3[20]: _11 = move _12 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 7:9-7:33: @3.Call: _6 = Arguments::new_v1(move _7, move _11) -> [return: bb4, unwind: bb8] |
| 7:9-7:33: @4.Call: _5 = _print(move _6) -> [return: bb5, unwind: bb8] |
| 7:9-7:33: @5[5]: _4 = const () |
| 8:9-8:37: @5.Call: begin_panic::<&str>(const "panics and aborts") -> bb8"> panic!("panics and aborts");<span class="annotation">⦉@1,3,4,5</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> } else </span><span><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1] |
| 10:18-10:31: @2[7]: _23 = &(*_31) |
| 10:18-10:31: @2[8]: _22 = &(*_23) |
| 10:18-10:31: @2[9]: _21 = move _22 as &[&str] (Pointer(Unsize)) |
| 10:9-10:33: @2[15]: _29 = () |
| 10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29) |
| 10:9-10:33: @2[17]: _30 = const might_abort::promoted[0] |
| 10:9-10:33: @2[18]: _27 = &(*_30) |
| 10:9-10:33: @2[19]: _26 = &(*_27) |
| 10:9-10:33: @2[20]: _25 = move _26 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb6, unwind: bb8] |
| 10:9-10:33: @6.Call: _19 = _print(move _20) -> [return: bb7, unwind: bb8] |
| 10:9-10:33: @7[5]: _18 = const () |
| 9:12-11:6: @7[7]: _0 = const () |
| 12:2-12:2: @7.Return: return"><span class="annotation">@2,6,7⦊</span>{</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1] |
| 10:18-10:31: @2[7]: _23 = &(*_31) |
| 10:18-10:31: @2[8]: _22 = &(*_23) |
| 10:18-10:31: @2[9]: _21 = move _22 as &[&str] (Pointer(Unsize)) |
| 10:9-10:33: @2[15]: _29 = () |
| 10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29) |
| 10:9-10:33: @2[17]: _30 = const might_abort::promoted[0] |
| 10:9-10:33: @2[18]: _27 = &(*_30) |
| 10:9-10:33: @2[19]: _26 = &(*_27) |
| 10:9-10:33: @2[20]: _25 = move _26 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb6, unwind: bb8] |
| 10:9-10:33: @6.Call: _19 = _print(move _20) -> [return: bb7, unwind: bb8] |
| 10:9-10:33: @7[5]: _18 = const () |
| 9:12-11:6: @7[7]: _0 = const () |
| 12:2-12:2: @7.Return: return"> println!("Don't Panic");</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1] |
| 10:18-10:31: @2[7]: _23 = &(*_31) |
| 10:18-10:31: @2[8]: _22 = &(*_23) |
| 10:18-10:31: @2[9]: _21 = move _22 as &[&str] (Pointer(Unsize)) |
| 10:9-10:33: @2[15]: _29 = () |
| 10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29) |
| 10:9-10:33: @2[17]: _30 = const might_abort::promoted[0] |
| 10:9-10:33: @2[18]: _27 = &(*_30) |
| 10:9-10:33: @2[19]: _26 = &(*_27) |
| 10:9-10:33: @2[20]: _25 = move _26 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb6, unwind: bb8] |
| 10:9-10:33: @6.Call: _19 = _print(move _20) -> [return: bb7, unwind: bb8] |
| 10:9-10:33: @7[5]: _18 = const () |
| 9:12-11:6: @7[7]: _0 = const () |
| 12:2-12:2: @7.Return: return"> }</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1] |
| 10:18-10:31: @2[7]: _23 = &(*_31) |
| 10:18-10:31: @2[8]: _22 = &(*_23) |
| 10:18-10:31: @2[9]: _21 = move _22 as &[&str] (Pointer(Unsize)) |
| 10:9-10:33: @2[15]: _29 = () |
| 10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29) |
| 10:9-10:33: @2[17]: _30 = const might_abort::promoted[0] |
| 10:9-10:33: @2[18]: _27 = &(*_30) |
| 10:9-10:33: @2[19]: _26 = &(*_27) |
| 10:9-10:33: @2[20]: _25 = move _26 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb6, unwind: bb8] |
| 10:9-10:33: @6.Call: _19 = _print(move _20) -> [return: bb7, unwind: bb8] |
| 10:9-10:33: @7[5]: _18 = const () |
| 9:12-11:6: @7[7]: _0 = const () |
| 12:2-12:2: @7.Return: return">}<span class="annotation">⦉@2,6,7</span></span></span></span></div> |
| </body> |
| </html> |