| <!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.overflow/overflow.might_overflow.-------.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>overflow.might_overflow - 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 3"><span class="line"><span><span class="code even" style="--layer: 1" title="5:8-5:14: @0[3]: _4 = _1 |
| 5:8-5:18: @0[4]: _3 = Gt(move _4, const 5_u32)"><span class="annotation">@0⦊</span>fn might_overflow(to_add: u32) -> u32 {</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="5:8-5:14: @0[3]: _4 = _1 |
| 5:8-5:18: @0[4]: _3 = Gt(move _4, const 5_u32)"> if to_add > 5<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="6:18-6:47: @1[6]: _61 = const might_overflow::promoted[4] |
| 6:18-6:47: @1[7]: _10 = &(*_61) |
| 6:18-6:47: @1[8]: _9 = &(*_10) |
| 6:18-6:47: @1[9]: _8 = move _9 as &[&str] (Pointer(Unsize)) |
| 6:9-6:49: @1[15]: _16 = () |
| 6:9-6:49: @1[16]: FakeRead(ForMatchedPlace, _16) |
| 6:9-6:49: @1[17]: _60 = const might_overflow::promoted[3] |
| 6:9-6:49: @1[18]: _14 = &(*_60) |
| 6:9-6:49: @1[19]: _13 = &(*_14) |
| 6:9-6:49: @1[20]: _12 = move _13 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 6:9-6:49: @1.Call: _7 = Arguments::new_v1(move _8, move _12) -> [return: bb3, unwind: bb14] |
| 6:9-6:49: @3.Call: _6 = _print(move _7) -> [return: bb4, unwind: bb14] |
| 6:9-6:49: @4[5]: _5 = const () |
| 5:19-7:6: @4[7]: _2 = const ()"><span class="annotation">@1,3,4⦊</span>{</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="6:18-6:47: @1[6]: _61 = const might_overflow::promoted[4] |
| 6:18-6:47: @1[7]: _10 = &(*_61) |
| 6:18-6:47: @1[8]: _9 = &(*_10) |
| 6:18-6:47: @1[9]: _8 = move _9 as &[&str] (Pointer(Unsize)) |
| 6:9-6:49: @1[15]: _16 = () |
| 6:9-6:49: @1[16]: FakeRead(ForMatchedPlace, _16) |
| 6:9-6:49: @1[17]: _60 = const might_overflow::promoted[3] |
| 6:9-6:49: @1[18]: _14 = &(*_60) |
| 6:9-6:49: @1[19]: _13 = &(*_14) |
| 6:9-6:49: @1[20]: _12 = move _13 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 6:9-6:49: @1.Call: _7 = Arguments::new_v1(move _8, move _12) -> [return: bb3, unwind: bb14] |
| 6:9-6:49: @3.Call: _6 = _print(move _7) -> [return: bb4, unwind: bb14] |
| 6:9-6:49: @4[5]: _5 = const () |
| 5:19-7:6: @4[7]: _2 = const ()"> println!("this will probably overflow");</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="6:18-6:47: @1[6]: _61 = const might_overflow::promoted[4] |
| 6:18-6:47: @1[7]: _10 = &(*_61) |
| 6:18-6:47: @1[8]: _9 = &(*_10) |
| 6:18-6:47: @1[9]: _8 = move _9 as &[&str] (Pointer(Unsize)) |
| 6:9-6:49: @1[15]: _16 = () |
| 6:9-6:49: @1[16]: FakeRead(ForMatchedPlace, _16) |
| 6:9-6:49: @1[17]: _60 = const might_overflow::promoted[3] |
| 6:9-6:49: @1[18]: _14 = &(*_60) |
| 6:9-6:49: @1[19]: _13 = &(*_14) |
| 6:9-6:49: @1[20]: _12 = move _13 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 6:9-6:49: @1.Call: _7 = Arguments::new_v1(move _8, move _12) -> [return: bb3, unwind: bb14] |
| 6:9-6:49: @3.Call: _6 = _print(move _7) -> [return: bb4, unwind: bb14] |
| 6:9-6:49: @4[5]: _5 = const () |
| 5:19-7:6: @4[7]: _2 = const ()"> }<span class="annotation">⦉@1,3,4</span></span></span><span><span class="code even" style="--layer: 1" title="7:6-7:6: @2[0]: _2 = const ()"><span class="annotation">@2⦊</span>‸<span class="annotation">⦉@2</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> let </span><span><span class="code odd" style="--layer: 1" title="8:18-8:30: @5[3]: _18 = CheckedSub(const core::num::<impl u32>::MAX, const 5_u32) |
| 8:18-8:30: @6[0]: _17 = move (_18.0: u32) |
| 8:9-8:15: @6[1]: FakeRead(ForLet, _17) |
| 9:14-9:38: @6[8]: _59 = const might_overflow::promoted[2] |
| 9:14-9:38: @6[9]: _24 = &(*_59) |
| 9:14-9:38: @6[10]: _23 = &(*_24) |
| 9:14-9:38: @6[11]: _22 = move _23 as &[&str] (Pointer(Unsize)) |
| 9:40-9:46: @6[19]: _31 = &_17 |
| 9:48-9:54: @6[21]: _32 = &_1 |
| 9:5-9:56: @6[22]: _30 = (move _31, move _32) |
| 9:5-9:56: @6[25]: FakeRead(ForMatchedPlace, _30) |
| 9:5-9:56: @6[27]: _33 = (_30.0: &u32) |
| 9:5-9:56: @6[29]: _34 = (_30.1: &u32) |
| 9:5-9:56: @6[32]: _36 = &(*_33) |
| 9:5-9:56: @6[34]: _37 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @6.Call: _35 = ArgumentV1::new::<u32>(move _36, move _37) -> [return: bb7, unwind: bb14] |
| 9:5-9:56: @7[4]: _39 = &(*_34) |
| 9:5-9:56: @7[6]: _40 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @7.Call: _38 = ArgumentV1::new::<u32>(move _39, move _40) -> [return: bb8, unwind: bb14] |
| 9:5-9:56: @8[2]: _29 = [move _35, move _38] |
| 9:5-9:56: @8[7]: _28 = &_29 |
| 9:5-9:56: @8[8]: _27 = &(*_28) |
| 9:5-9:56: @8[9]: _26 = move _27 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 9:5-9:56: @8.Call: _21 = Arguments::new_v1(move _22, move _26) -> [return: bb9, unwind: bb14] |
| 9:5-9:56: @9.Call: _20 = _print(move _21) -> [return: bb10, unwind: bb14] |
| 9:5-9:56: @10[6]: _19 = const () |
| 10:18-10:24: @10[10]: _42 = _1 |
| 10:27-10:33: @10[12]: _43 = _17 |
| 10:18-10:33: @10[13]: _44 = CheckedAdd(_42, _43) |
| 10:18-10:33: @11[0]: _41 = move (_44.0: u32) |
| 10:9-10:15: @11[3]: FakeRead(ForLet, _41) |
| 11:14-11:47: @11[10]: _58 = const might_overflow::promoted[1] |
| 11:14-11:47: @11[11]: _50 = &(*_58) |
| 11:14-11:47: @11[12]: _49 = &(*_50) |
| 11:14-11:47: @11[13]: _48 = move _49 as &[&str] (Pointer(Unsize)) |
| 11:5-11:49: @11[19]: _56 = () |
| 11:5-11:49: @11[20]: FakeRead(ForMatchedPlace, _56) |
| 11:5-11:49: @11[21]: _57 = const might_overflow::promoted[0] |
| 11:5-11:49: @11[22]: _54 = &(*_57) |
| 11:5-11:49: @11[23]: _53 = &(*_54) |
| 11:5-11:49: @11[24]: _52 = move _53 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 11:5-11:49: @11.Call: _47 = Arguments::new_v1(move _48, move _52) -> [return: bb12, unwind: bb14] |
| 11:5-11:49: @12.Call: _46 = _print(move _47) -> [return: bb13, unwind: bb14] |
| 11:5-11:49: @13[5]: _45 = const () |
| 12:5-12:11: @13[7]: _0 = _41 |
| 13:2-13:2: @13.Return: return"><span class="annotation">@5,6,7,8,9,10,11,12,13⦊</span>add_to = u32::MAX - 5;</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="8:18-8:30: @5[3]: _18 = CheckedSub(const core::num::<impl u32>::MAX, const 5_u32) |
| 8:18-8:30: @6[0]: _17 = move (_18.0: u32) |
| 8:9-8:15: @6[1]: FakeRead(ForLet, _17) |
| 9:14-9:38: @6[8]: _59 = const might_overflow::promoted[2] |
| 9:14-9:38: @6[9]: _24 = &(*_59) |
| 9:14-9:38: @6[10]: _23 = &(*_24) |
| 9:14-9:38: @6[11]: _22 = move _23 as &[&str] (Pointer(Unsize)) |
| 9:40-9:46: @6[19]: _31 = &_17 |
| 9:48-9:54: @6[21]: _32 = &_1 |
| 9:5-9:56: @6[22]: _30 = (move _31, move _32) |
| 9:5-9:56: @6[25]: FakeRead(ForMatchedPlace, _30) |
| 9:5-9:56: @6[27]: _33 = (_30.0: &u32) |
| 9:5-9:56: @6[29]: _34 = (_30.1: &u32) |
| 9:5-9:56: @6[32]: _36 = &(*_33) |
| 9:5-9:56: @6[34]: _37 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @6.Call: _35 = ArgumentV1::new::<u32>(move _36, move _37) -> [return: bb7, unwind: bb14] |
| 9:5-9:56: @7[4]: _39 = &(*_34) |
| 9:5-9:56: @7[6]: _40 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @7.Call: _38 = ArgumentV1::new::<u32>(move _39, move _40) -> [return: bb8, unwind: bb14] |
| 9:5-9:56: @8[2]: _29 = [move _35, move _38] |
| 9:5-9:56: @8[7]: _28 = &_29 |
| 9:5-9:56: @8[8]: _27 = &(*_28) |
| 9:5-9:56: @8[9]: _26 = move _27 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 9:5-9:56: @8.Call: _21 = Arguments::new_v1(move _22, move _26) -> [return: bb9, unwind: bb14] |
| 9:5-9:56: @9.Call: _20 = _print(move _21) -> [return: bb10, unwind: bb14] |
| 9:5-9:56: @10[6]: _19 = const () |
| 10:18-10:24: @10[10]: _42 = _1 |
| 10:27-10:33: @10[12]: _43 = _17 |
| 10:18-10:33: @10[13]: _44 = CheckedAdd(_42, _43) |
| 10:18-10:33: @11[0]: _41 = move (_44.0: u32) |
| 10:9-10:15: @11[3]: FakeRead(ForLet, _41) |
| 11:14-11:47: @11[10]: _58 = const might_overflow::promoted[1] |
| 11:14-11:47: @11[11]: _50 = &(*_58) |
| 11:14-11:47: @11[12]: _49 = &(*_50) |
| 11:14-11:47: @11[13]: _48 = move _49 as &[&str] (Pointer(Unsize)) |
| 11:5-11:49: @11[19]: _56 = () |
| 11:5-11:49: @11[20]: FakeRead(ForMatchedPlace, _56) |
| 11:5-11:49: @11[21]: _57 = const might_overflow::promoted[0] |
| 11:5-11:49: @11[22]: _54 = &(*_57) |
| 11:5-11:49: @11[23]: _53 = &(*_54) |
| 11:5-11:49: @11[24]: _52 = move _53 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 11:5-11:49: @11.Call: _47 = Arguments::new_v1(move _48, move _52) -> [return: bb12, unwind: bb14] |
| 11:5-11:49: @12.Call: _46 = _print(move _47) -> [return: bb13, unwind: bb14] |
| 11:5-11:49: @13[5]: _45 = const () |
| 12:5-12:11: @13[7]: _0 = _41 |
| 13:2-13:2: @13.Return: return"> println!("does {} + {} overflow?", add_to, to_add);</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="8:18-8:30: @5[3]: _18 = CheckedSub(const core::num::<impl u32>::MAX, const 5_u32) |
| 8:18-8:30: @6[0]: _17 = move (_18.0: u32) |
| 8:9-8:15: @6[1]: FakeRead(ForLet, _17) |
| 9:14-9:38: @6[8]: _59 = const might_overflow::promoted[2] |
| 9:14-9:38: @6[9]: _24 = &(*_59) |
| 9:14-9:38: @6[10]: _23 = &(*_24) |
| 9:14-9:38: @6[11]: _22 = move _23 as &[&str] (Pointer(Unsize)) |
| 9:40-9:46: @6[19]: _31 = &_17 |
| 9:48-9:54: @6[21]: _32 = &_1 |
| 9:5-9:56: @6[22]: _30 = (move _31, move _32) |
| 9:5-9:56: @6[25]: FakeRead(ForMatchedPlace, _30) |
| 9:5-9:56: @6[27]: _33 = (_30.0: &u32) |
| 9:5-9:56: @6[29]: _34 = (_30.1: &u32) |
| 9:5-9:56: @6[32]: _36 = &(*_33) |
| 9:5-9:56: @6[34]: _37 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @6.Call: _35 = ArgumentV1::new::<u32>(move _36, move _37) -> [return: bb7, unwind: bb14] |
| 9:5-9:56: @7[4]: _39 = &(*_34) |
| 9:5-9:56: @7[6]: _40 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @7.Call: _38 = ArgumentV1::new::<u32>(move _39, move _40) -> [return: bb8, unwind: bb14] |
| 9:5-9:56: @8[2]: _29 = [move _35, move _38] |
| 9:5-9:56: @8[7]: _28 = &_29 |
| 9:5-9:56: @8[8]: _27 = &(*_28) |
| 9:5-9:56: @8[9]: _26 = move _27 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 9:5-9:56: @8.Call: _21 = Arguments::new_v1(move _22, move _26) -> [return: bb9, unwind: bb14] |
| 9:5-9:56: @9.Call: _20 = _print(move _21) -> [return: bb10, unwind: bb14] |
| 9:5-9:56: @10[6]: _19 = const () |
| 10:18-10:24: @10[10]: _42 = _1 |
| 10:27-10:33: @10[12]: _43 = _17 |
| 10:18-10:33: @10[13]: _44 = CheckedAdd(_42, _43) |
| 10:18-10:33: @11[0]: _41 = move (_44.0: u32) |
| 10:9-10:15: @11[3]: FakeRead(ForLet, _41) |
| 11:14-11:47: @11[10]: _58 = const might_overflow::promoted[1] |
| 11:14-11:47: @11[11]: _50 = &(*_58) |
| 11:14-11:47: @11[12]: _49 = &(*_50) |
| 11:14-11:47: @11[13]: _48 = move _49 as &[&str] (Pointer(Unsize)) |
| 11:5-11:49: @11[19]: _56 = () |
| 11:5-11:49: @11[20]: FakeRead(ForMatchedPlace, _56) |
| 11:5-11:49: @11[21]: _57 = const might_overflow::promoted[0] |
| 11:5-11:49: @11[22]: _54 = &(*_57) |
| 11:5-11:49: @11[23]: _53 = &(*_54) |
| 11:5-11:49: @11[24]: _52 = move _53 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 11:5-11:49: @11.Call: _47 = Arguments::new_v1(move _48, move _52) -> [return: bb12, unwind: bb14] |
| 11:5-11:49: @12.Call: _46 = _print(move _47) -> [return: bb13, unwind: bb14] |
| 11:5-11:49: @13[5]: _45 = const () |
| 12:5-12:11: @13[7]: _0 = _41 |
| 13:2-13:2: @13.Return: return"> let result = to_add + add_to;</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="8:18-8:30: @5[3]: _18 = CheckedSub(const core::num::<impl u32>::MAX, const 5_u32) |
| 8:18-8:30: @6[0]: _17 = move (_18.0: u32) |
| 8:9-8:15: @6[1]: FakeRead(ForLet, _17) |
| 9:14-9:38: @6[8]: _59 = const might_overflow::promoted[2] |
| 9:14-9:38: @6[9]: _24 = &(*_59) |
| 9:14-9:38: @6[10]: _23 = &(*_24) |
| 9:14-9:38: @6[11]: _22 = move _23 as &[&str] (Pointer(Unsize)) |
| 9:40-9:46: @6[19]: _31 = &_17 |
| 9:48-9:54: @6[21]: _32 = &_1 |
| 9:5-9:56: @6[22]: _30 = (move _31, move _32) |
| 9:5-9:56: @6[25]: FakeRead(ForMatchedPlace, _30) |
| 9:5-9:56: @6[27]: _33 = (_30.0: &u32) |
| 9:5-9:56: @6[29]: _34 = (_30.1: &u32) |
| 9:5-9:56: @6[32]: _36 = &(*_33) |
| 9:5-9:56: @6[34]: _37 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @6.Call: _35 = ArgumentV1::new::<u32>(move _36, move _37) -> [return: bb7, unwind: bb14] |
| 9:5-9:56: @7[4]: _39 = &(*_34) |
| 9:5-9:56: @7[6]: _40 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @7.Call: _38 = ArgumentV1::new::<u32>(move _39, move _40) -> [return: bb8, unwind: bb14] |
| 9:5-9:56: @8[2]: _29 = [move _35, move _38] |
| 9:5-9:56: @8[7]: _28 = &_29 |
| 9:5-9:56: @8[8]: _27 = &(*_28) |
| 9:5-9:56: @8[9]: _26 = move _27 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 9:5-9:56: @8.Call: _21 = Arguments::new_v1(move _22, move _26) -> [return: bb9, unwind: bb14] |
| 9:5-9:56: @9.Call: _20 = _print(move _21) -> [return: bb10, unwind: bb14] |
| 9:5-9:56: @10[6]: _19 = const () |
| 10:18-10:24: @10[10]: _42 = _1 |
| 10:27-10:33: @10[12]: _43 = _17 |
| 10:18-10:33: @10[13]: _44 = CheckedAdd(_42, _43) |
| 10:18-10:33: @11[0]: _41 = move (_44.0: u32) |
| 10:9-10:15: @11[3]: FakeRead(ForLet, _41) |
| 11:14-11:47: @11[10]: _58 = const might_overflow::promoted[1] |
| 11:14-11:47: @11[11]: _50 = &(*_58) |
| 11:14-11:47: @11[12]: _49 = &(*_50) |
| 11:14-11:47: @11[13]: _48 = move _49 as &[&str] (Pointer(Unsize)) |
| 11:5-11:49: @11[19]: _56 = () |
| 11:5-11:49: @11[20]: FakeRead(ForMatchedPlace, _56) |
| 11:5-11:49: @11[21]: _57 = const might_overflow::promoted[0] |
| 11:5-11:49: @11[22]: _54 = &(*_57) |
| 11:5-11:49: @11[23]: _53 = &(*_54) |
| 11:5-11:49: @11[24]: _52 = move _53 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 11:5-11:49: @11.Call: _47 = Arguments::new_v1(move _48, move _52) -> [return: bb12, unwind: bb14] |
| 11:5-11:49: @12.Call: _46 = _print(move _47) -> [return: bb13, unwind: bb14] |
| 11:5-11:49: @13[5]: _45 = const () |
| 12:5-12:11: @13[7]: _0 = _41 |
| 13:2-13:2: @13.Return: return"> println!("continuing after overflow check");</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="8:18-8:30: @5[3]: _18 = CheckedSub(const core::num::<impl u32>::MAX, const 5_u32) |
| 8:18-8:30: @6[0]: _17 = move (_18.0: u32) |
| 8:9-8:15: @6[1]: FakeRead(ForLet, _17) |
| 9:14-9:38: @6[8]: _59 = const might_overflow::promoted[2] |
| 9:14-9:38: @6[9]: _24 = &(*_59) |
| 9:14-9:38: @6[10]: _23 = &(*_24) |
| 9:14-9:38: @6[11]: _22 = move _23 as &[&str] (Pointer(Unsize)) |
| 9:40-9:46: @6[19]: _31 = &_17 |
| 9:48-9:54: @6[21]: _32 = &_1 |
| 9:5-9:56: @6[22]: _30 = (move _31, move _32) |
| 9:5-9:56: @6[25]: FakeRead(ForMatchedPlace, _30) |
| 9:5-9:56: @6[27]: _33 = (_30.0: &u32) |
| 9:5-9:56: @6[29]: _34 = (_30.1: &u32) |
| 9:5-9:56: @6[32]: _36 = &(*_33) |
| 9:5-9:56: @6[34]: _37 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @6.Call: _35 = ArgumentV1::new::<u32>(move _36, move _37) -> [return: bb7, unwind: bb14] |
| 9:5-9:56: @7[4]: _39 = &(*_34) |
| 9:5-9:56: @7[6]: _40 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @7.Call: _38 = ArgumentV1::new::<u32>(move _39, move _40) -> [return: bb8, unwind: bb14] |
| 9:5-9:56: @8[2]: _29 = [move _35, move _38] |
| 9:5-9:56: @8[7]: _28 = &_29 |
| 9:5-9:56: @8[8]: _27 = &(*_28) |
| 9:5-9:56: @8[9]: _26 = move _27 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 9:5-9:56: @8.Call: _21 = Arguments::new_v1(move _22, move _26) -> [return: bb9, unwind: bb14] |
| 9:5-9:56: @9.Call: _20 = _print(move _21) -> [return: bb10, unwind: bb14] |
| 9:5-9:56: @10[6]: _19 = const () |
| 10:18-10:24: @10[10]: _42 = _1 |
| 10:27-10:33: @10[12]: _43 = _17 |
| 10:18-10:33: @10[13]: _44 = CheckedAdd(_42, _43) |
| 10:18-10:33: @11[0]: _41 = move (_44.0: u32) |
| 10:9-10:15: @11[3]: FakeRead(ForLet, _41) |
| 11:14-11:47: @11[10]: _58 = const might_overflow::promoted[1] |
| 11:14-11:47: @11[11]: _50 = &(*_58) |
| 11:14-11:47: @11[12]: _49 = &(*_50) |
| 11:14-11:47: @11[13]: _48 = move _49 as &[&str] (Pointer(Unsize)) |
| 11:5-11:49: @11[19]: _56 = () |
| 11:5-11:49: @11[20]: FakeRead(ForMatchedPlace, _56) |
| 11:5-11:49: @11[21]: _57 = const might_overflow::promoted[0] |
| 11:5-11:49: @11[22]: _54 = &(*_57) |
| 11:5-11:49: @11[23]: _53 = &(*_54) |
| 11:5-11:49: @11[24]: _52 = move _53 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 11:5-11:49: @11.Call: _47 = Arguments::new_v1(move _48, move _52) -> [return: bb12, unwind: bb14] |
| 11:5-11:49: @12.Call: _46 = _print(move _47) -> [return: bb13, unwind: bb14] |
| 11:5-11:49: @13[5]: _45 = const () |
| 12:5-12:11: @13[7]: _0 = _41 |
| 13:2-13:2: @13.Return: return"> result</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="8:18-8:30: @5[3]: _18 = CheckedSub(const core::num::<impl u32>::MAX, const 5_u32) |
| 8:18-8:30: @6[0]: _17 = move (_18.0: u32) |
| 8:9-8:15: @6[1]: FakeRead(ForLet, _17) |
| 9:14-9:38: @6[8]: _59 = const might_overflow::promoted[2] |
| 9:14-9:38: @6[9]: _24 = &(*_59) |
| 9:14-9:38: @6[10]: _23 = &(*_24) |
| 9:14-9:38: @6[11]: _22 = move _23 as &[&str] (Pointer(Unsize)) |
| 9:40-9:46: @6[19]: _31 = &_17 |
| 9:48-9:54: @6[21]: _32 = &_1 |
| 9:5-9:56: @6[22]: _30 = (move _31, move _32) |
| 9:5-9:56: @6[25]: FakeRead(ForMatchedPlace, _30) |
| 9:5-9:56: @6[27]: _33 = (_30.0: &u32) |
| 9:5-9:56: @6[29]: _34 = (_30.1: &u32) |
| 9:5-9:56: @6[32]: _36 = &(*_33) |
| 9:5-9:56: @6[34]: _37 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @6.Call: _35 = ArgumentV1::new::<u32>(move _36, move _37) -> [return: bb7, unwind: bb14] |
| 9:5-9:56: @7[4]: _39 = &(*_34) |
| 9:5-9:56: @7[6]: _40 = <u32 as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)) |
| 9:5-9:56: @7.Call: _38 = ArgumentV1::new::<u32>(move _39, move _40) -> [return: bb8, unwind: bb14] |
| 9:5-9:56: @8[2]: _29 = [move _35, move _38] |
| 9:5-9:56: @8[7]: _28 = &_29 |
| 9:5-9:56: @8[8]: _27 = &(*_28) |
| 9:5-9:56: @8[9]: _26 = move _27 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 9:5-9:56: @8.Call: _21 = Arguments::new_v1(move _22, move _26) -> [return: bb9, unwind: bb14] |
| 9:5-9:56: @9.Call: _20 = _print(move _21) -> [return: bb10, unwind: bb14] |
| 9:5-9:56: @10[6]: _19 = const () |
| 10:18-10:24: @10[10]: _42 = _1 |
| 10:27-10:33: @10[12]: _43 = _17 |
| 10:18-10:33: @10[13]: _44 = CheckedAdd(_42, _43) |
| 10:18-10:33: @11[0]: _41 = move (_44.0: u32) |
| 10:9-10:15: @11[3]: FakeRead(ForLet, _41) |
| 11:14-11:47: @11[10]: _58 = const might_overflow::promoted[1] |
| 11:14-11:47: @11[11]: _50 = &(*_58) |
| 11:14-11:47: @11[12]: _49 = &(*_50) |
| 11:14-11:47: @11[13]: _48 = move _49 as &[&str] (Pointer(Unsize)) |
| 11:5-11:49: @11[19]: _56 = () |
| 11:5-11:49: @11[20]: FakeRead(ForMatchedPlace, _56) |
| 11:5-11:49: @11[21]: _57 = const might_overflow::promoted[0] |
| 11:5-11:49: @11[22]: _54 = &(*_57) |
| 11:5-11:49: @11[23]: _53 = &(*_54) |
| 11:5-11:49: @11[24]: _52 = move _53 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 11:5-11:49: @11.Call: _47 = Arguments::new_v1(move _48, move _52) -> [return: bb12, unwind: bb14] |
| 11:5-11:49: @12.Call: _46 = _print(move _47) -> [return: bb13, unwind: bb14] |
| 11:5-11:49: @13[5]: _45 = const () |
| 12:5-12:11: @13[7]: _0 = _41 |
| 13:2-13:2: @13.Return: return">}<span class="annotation">⦉@5,6,7,8,9,10,11,12,13</span></span></span></span></div> |
| </body> |
| </html> |
