|
70 | 70 | </head>
|
71 | 71 | <body>
|
72 | 72 | <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>
|
73 |
| -<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 |
74 |
| -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> |
75 |
| -<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] |
76 |
| -7:18-7:31: @3[7]: _9 = &(*_33) |
77 |
| -7:18-7:31: @3[8]: _8 = &(*_9) |
78 |
| -7:18-7:31: @3[9]: _7 = move _8 as &[&str] (Pointer(Unsize)) |
79 |
| -7:9-7:33: @3[15]: _15 = () |
80 |
| -7:9-7:33: @3[16]: FakeRead(ForMatchedPlace, _15) |
81 |
| -7:9-7:33: @3[17]: _32 = const might_abort::promoted[2] |
82 |
| -7:9-7:33: @3[18]: _13 = &(*_32) |
83 |
| -7:9-7:33: @3[19]: _12 = &(*_13) |
84 |
| -7:9-7:33: @3[20]: _11 = move _12 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
85 |
| -7:9-7:33: @3.Call: _6 = Arguments::new_v1(move _7, move _11) -> [return: bb4, unwind: bb8] |
86 |
| -7:9-7:33: @4.Call: _5 = _print(move _6) -> [return: bb5, unwind: bb8] |
87 |
| -7:9-7:33: @5[5]: _4 = const () |
88 |
| -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> |
89 |
| -<span class="line"><span class="code odd" style="--layer: 1" title="7:18-7:31: @3[6]: _33 = const might_abort::promoted[3] |
90 |
| -7:18-7:31: @3[7]: _9 = &(*_33) |
91 |
| -7:18-7:31: @3[8]: _8 = &(*_9) |
92 |
| -7:18-7:31: @3[9]: _7 = move _8 as &[&str] (Pointer(Unsize)) |
93 |
| -7:9-7:33: @3[15]: _15 = () |
94 |
| -7:9-7:33: @3[16]: FakeRead(ForMatchedPlace, _15) |
95 |
| -7:9-7:33: @3[17]: _32 = const might_abort::promoted[2] |
96 |
| -7:9-7:33: @3[18]: _13 = &(*_32) |
97 |
| -7:9-7:33: @3[19]: _12 = &(*_13) |
98 |
| -7:9-7:33: @3[20]: _11 = move _12 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
99 |
| -7:9-7:33: @3.Call: _6 = Arguments::new_v1(move _7, move _11) -> [return: bb4, unwind: bb8] |
100 |
| -7:9-7:33: @4.Call: _5 = _print(move _6) -> [return: bb5, unwind: bb8] |
101 |
| -7:9-7:33: @5[5]: _4 = const () |
102 |
| -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> |
| 73 | +<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"><span class="annotation">@0⦊</span>should_abort<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0"> {</span></span> |
| 74 | +<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="7:18-7:31: @1[6]: _33 = const might_abort::promoted[3] |
| 75 | +7:18-7:31: @1[7]: _9 = &(*_33) |
| 76 | +7:18-7:31: @1[8]: _8 = &(*_9) |
| 77 | +7:18-7:31: @1[9]: _7 = move _8 as &[&str] (Pointer(Unsize)) |
| 78 | +7:9-7:33: @1[15]: _15 = () |
| 79 | +7:9-7:33: @1[16]: FakeRead(ForMatchedPlace, _15) |
| 80 | +7:9-7:33: @1[17]: _32 = const might_abort::promoted[2] |
| 81 | +7:9-7:33: @1[18]: _13 = &(*_32) |
| 82 | +7:9-7:33: @1[19]: _12 = &(*_13) |
| 83 | +7:9-7:33: @1[20]: _11 = move _12 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 84 | +7:9-7:33: @1.Call: _6 = Arguments::new_v1(move _7, move _11) -> [return: bb3, unwind: bb7] |
| 85 | +7:9-7:33: @3.Call: _5 = _print(move _6) -> [return: bb4, unwind: bb7] |
| 86 | +7:9-7:33: @4[5]: _4 = const () |
| 87 | +8:9-8:37: @4.Call: begin_panic::<&str>(const "panics and aborts") -> bb7"><span class="annotation">@1,3,4⦊</span>println!("aborting...");</span></span> |
| 88 | +<span class="line"><span class="code odd" style="--layer: 1" title="7:18-7:31: @1[6]: _33 = const might_abort::promoted[3] |
| 89 | +7:18-7:31: @1[7]: _9 = &(*_33) |
| 90 | +7:18-7:31: @1[8]: _8 = &(*_9) |
| 91 | +7:18-7:31: @1[9]: _7 = move _8 as &[&str] (Pointer(Unsize)) |
| 92 | +7:9-7:33: @1[15]: _15 = () |
| 93 | +7:9-7:33: @1[16]: FakeRead(ForMatchedPlace, _15) |
| 94 | +7:9-7:33: @1[17]: _32 = const might_abort::promoted[2] |
| 95 | +7:9-7:33: @1[18]: _13 = &(*_32) |
| 96 | +7:9-7:33: @1[19]: _12 = &(*_13) |
| 97 | +7:9-7:33: @1[20]: _11 = move _12 as &[std::fmt::ArgumentV1] (Pointer(Unsize)) |
| 98 | +7:9-7:33: @1.Call: _6 = Arguments::new_v1(move _7, move _11) -> [return: bb3, unwind: bb7] |
| 99 | +7:9-7:33: @3.Call: _5 = _print(move _6) -> [return: bb4, unwind: bb7] |
| 100 | +7:9-7:33: @4[5]: _4 = const () |
| 101 | +8:9-8:37: @4.Call: begin_panic::<&str>(const "panics and aborts") -> bb7"> panic!("panics and aborts");<span class="annotation">⦉@1,3,4</span></span></span><span class="code" style="--layer: 0"></span></span> |
103 | 102 | <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]
|
104 | 103 | 10:18-10:31: @2[7]: _23 = &(*_31)
|
105 | 104 | 10:18-10:31: @2[8]: _22 = &(*_23)
|
|
110 | 109 | 10:9-10:33: @2[18]: _27 = &(*_30)
|
111 | 110 | 10:9-10:33: @2[19]: _26 = &(*_27)
|
112 | 111 | 10:9-10:33: @2[20]: _25 = move _26 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
|
113 |
| -10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb6, unwind: bb8] |
114 |
| -10:9-10:33: @6.Call: _19 = _print(move _20) -> [return: bb7, unwind: bb8] |
115 |
| -10:9-10:33: @7[5]: _18 = const () |
116 |
| -9:12-11:6: @7[7]: _0 = const () |
117 |
| -12:2-12:2: @7.Return: return"><span class="annotation">@2,6,7⦊</span>{</span></span> |
| 112 | +10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb5, unwind: bb7] |
| 113 | +10:9-10:33: @5.Call: _19 = _print(move _20) -> [return: bb6, unwind: bb7] |
| 114 | +10:9-10:33: @6[5]: _18 = const () |
| 115 | +9:12-11:6: @6[7]: _0 = const () |
| 116 | +12:2-12:2: @6.Return: return"><span class="annotation">@2,5,6⦊</span>{</span></span> |
118 | 117 | <span class="line"><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1]
|
119 | 118 | 10:18-10:31: @2[7]: _23 = &(*_31)
|
120 | 119 | 10:18-10:31: @2[8]: _22 = &(*_23)
|
|
125 | 124 | 10:9-10:33: @2[18]: _27 = &(*_30)
|
126 | 125 | 10:9-10:33: @2[19]: _26 = &(*_27)
|
127 | 126 | 10:9-10:33: @2[20]: _25 = move _26 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
|
128 |
| -10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb6, unwind: bb8] |
129 |
| -10:9-10:33: @6.Call: _19 = _print(move _20) -> [return: bb7, unwind: bb8] |
130 |
| -10:9-10:33: @7[5]: _18 = const () |
131 |
| -9:12-11:6: @7[7]: _0 = const () |
132 |
| -12:2-12:2: @7.Return: return"> println!("Don't Panic");</span></span> |
| 127 | +10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb5, unwind: bb7] |
| 128 | +10:9-10:33: @5.Call: _19 = _print(move _20) -> [return: bb6, unwind: bb7] |
| 129 | +10:9-10:33: @6[5]: _18 = const () |
| 130 | +9:12-11:6: @6[7]: _0 = const () |
| 131 | +12:2-12:2: @6.Return: return"> println!("Don't Panic");</span></span> |
133 | 132 | <span class="line"><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1]
|
134 | 133 | 10:18-10:31: @2[7]: _23 = &(*_31)
|
135 | 134 | 10:18-10:31: @2[8]: _22 = &(*_23)
|
|
140 | 139 | 10:9-10:33: @2[18]: _27 = &(*_30)
|
141 | 140 | 10:9-10:33: @2[19]: _26 = &(*_27)
|
142 | 141 | 10:9-10:33: @2[20]: _25 = move _26 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
|
143 |
| -10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb6, unwind: bb8] |
144 |
| -10:9-10:33: @6.Call: _19 = _print(move _20) -> [return: bb7, unwind: bb8] |
145 |
| -10:9-10:33: @7[5]: _18 = const () |
146 |
| -9:12-11:6: @7[7]: _0 = const () |
147 |
| -12:2-12:2: @7.Return: return"> }</span></span> |
| 142 | +10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb5, unwind: bb7] |
| 143 | +10:9-10:33: @5.Call: _19 = _print(move _20) -> [return: bb6, unwind: bb7] |
| 144 | +10:9-10:33: @6[5]: _18 = const () |
| 145 | +9:12-11:6: @6[7]: _0 = const () |
| 146 | +12:2-12:2: @6.Return: return"> }</span></span> |
148 | 147 | <span class="line"><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1]
|
149 | 148 | 10:18-10:31: @2[7]: _23 = &(*_31)
|
150 | 149 | 10:18-10:31: @2[8]: _22 = &(*_23)
|
|
155 | 154 | 10:9-10:33: @2[18]: _27 = &(*_30)
|
156 | 155 | 10:9-10:33: @2[19]: _26 = &(*_27)
|
157 | 156 | 10:9-10:33: @2[20]: _25 = move _26 as &[std::fmt::ArgumentV1] (Pointer(Unsize))
|
158 |
| -10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb6, unwind: bb8] |
159 |
| -10:9-10:33: @6.Call: _19 = _print(move _20) -> [return: bb7, unwind: bb8] |
160 |
| -10:9-10:33: @7[5]: _18 = const () |
161 |
| -9:12-11:6: @7[7]: _0 = const () |
162 |
| -12:2-12:2: @7.Return: return">}<span class="annotation">⦉@2,6,7</span></span></span></span></div> |
| 157 | +10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -> [return: bb5, unwind: bb7] |
| 158 | +10:9-10:33: @5.Call: _19 = _print(move _20) -> [return: bb6, unwind: bb7] |
| 159 | +10:9-10:33: @6[5]: _18 = const () |
| 160 | +9:12-11:6: @6[7]: _0 = const () |
| 161 | +12:2-12:2: @6.Return: return">}<span class="annotation">⦉@2,5,6</span></span></span></span></div> |
163 | 162 | </body>
|
164 | 163 | </html>
|
0 commit comments