|
118 | 118 | 18:5-18:6: StorageDead: StorageDead(_8) |
119 | 119 | 9:5-18:6: Goto: goto -> bb28"> </span><span class="code odd" style="--layer: 4" title="bb8: ../instrument-coverage/coverage_of_if_else.rs:10:9: 10:23: |
120 | 120 | 10:9-10:23: Assign: _7 = CheckedSub(_1, const 4_i32) |
121 | | - 10:9-10:23: Assert: assert(!move (_7.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 4_i32) -> [success: bb9, unwind: bb1]"><span class="annotation">8⦊</span>countdown -= 4<span class="annotation">⦉8</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6: |
| 121 | + 10:9-10:23: Assert: assert(!move (_7.1: bool), "attempt to compute `{} - {}`, which would overflow", _1, const 4_i32) -> [success: bb9, unwind: bb1]"><span class="annotation">8⦊</span>countdown -= 4<span class="annotation">⦉8</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6: |
122 | 122 | 15:9-15:23: Assign: _1 = move (_19.0: i32) |
123 | 123 | 11:29-16:6: Assign: _4 = const () |
124 | 124 | 18:5-18:6: StorageDead: StorageDead(_8) |
|
223 | 223 | 14:9-14:10: StorageDead: StorageDead(_11) |
224 | 224 | 14:9-14:10: StorageDead: StorageDead(_10) |
225 | 225 | 15:9-15:23: Assign: _19 = CheckedSub(_1, const 5_i32) |
226 | | - 15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"><span class="annotation">24⦊</span>}</span><span class="code odd" style="--layer: 5" title="bb22: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10: |
| 226 | + 15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}`, which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"><span class="annotation">24⦊</span>}</span><span class="code odd" style="--layer: 5" title="bb22: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10: |
227 | 227 | 12:9-14:10: Assign: _10 = const () |
228 | 228 | 12:9-14:10: Goto: goto -> bb24"><span class="annotation">⦉22</span></span><span class="code even" style="--layer: 6" title="bb23: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10: |
229 | 229 | 13:13-13:26: Assign: _1 = const 0_i32 |
|
234 | 234 | 14:9-14:10: StorageDead: StorageDead(_11) |
235 | 235 | 14:9-14:10: StorageDead: StorageDead(_10) |
236 | 236 | 15:9-15:23: Assign: _19 = CheckedSub(_1, const 5_i32) |
237 | | - 15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"></span></span> |
| 237 | + 15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}`, which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"></span></span> |
238 | 238 | <span class="line"><span class="code odd" style="--layer: 8" title="bb24: ../instrument-coverage/coverage_of_if_else.rs:14:9: 15:23: |
239 | 239 | 14:9-14:10: StorageDead: StorageDead(_11) |
240 | 240 | 14:9-14:10: StorageDead: StorageDead(_10) |
241 | 241 | 15:9-15:23: Assign: _19 = CheckedSub(_1, const 5_i32) |
242 | | - 15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"> countdown -= 5<span class="annotation">⦉24</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6: |
| 242 | + 15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}`, which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"> countdown -= 5<span class="annotation">⦉24</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6: |
243 | 243 | 11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]">;</span></span> |
244 | 244 | <span class="line"><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6: |
245 | 245 | 11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"> } else {</span></span> |
|
353 | 353 | 25:22-27:6: Assign: _24 = const () |
354 | 354 | 25:5-34:6: Goto: goto -> bb53"> </span><span class="code odd" style="--layer: 9" title="bb35: ../instrument-coverage/coverage_of_if_else.rs:26:9: 26:23: |
355 | 355 | 26:9-26:23: Assign: _27 = CheckedSub(_21, const 4_i32) |
356 | | - 26:9-26:23: Assert: assert(!move (_27.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 4_i32) -> [success: bb36, unwind: bb1]"><span class="annotation">35⦊</span>countdown -= 4<span class="annotation">⦉35</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6: |
| 356 | + 26:9-26:23: Assert: assert(!move (_27.1: bool), "attempt to compute `{} - {}`, which would overflow", _21, const 4_i32) -> [success: bb36, unwind: bb1]"><span class="annotation">35⦊</span>countdown -= 4<span class="annotation">⦉35</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6: |
357 | 357 | 26:9-26:23: Assign: _21 = move (_27.0: i32) |
358 | 358 | 25:22-27:6: Assign: _24 = const () |
359 | 359 | 25:5-34:6: Goto: goto -> bb53">;</span></span> |
|
459 | 459 | 30:9-30:10: StorageDead: StorageDead(_31) |
460 | 460 | 30:9-30:10: StorageDead: StorageDead(_30) |
461 | 461 | 31:9-31:23: Assign: _39 = CheckedSub(_21, const 5_i32) |
462 | | - 31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"><span class="annotation">51⦊</span>}</span><span class="code odd" style="--layer: 10" title="bb48: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10: |
| 462 | + 31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}`, which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"><span class="annotation">51⦊</span>}</span><span class="code odd" style="--layer: 10" title="bb48: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10: |
463 | 463 | 28:9-30:10: FalseEdge: falseEdge -> [real: bb50, imaginary: bb49]"><span class="annotation">⦉48</span></span><span class="code even" style="--layer: 11" title="bb50: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10: |
464 | 464 | 29:13-29:26: Assign: _21 = const 0_i32 |
465 | 465 | 28:61-30:10: Assign: _30 = const () |
|
471 | 471 | 30:9-30:10: StorageDead: StorageDead(_31) |
472 | 472 | 30:9-30:10: StorageDead: StorageDead(_30) |
473 | 473 | 31:9-31:23: Assign: _39 = CheckedSub(_21, const 5_i32) |
474 | | - 31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"></span></span> |
| 474 | + 31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}`, which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"></span></span> |
475 | 475 | <span class="line"><span class="code odd" style="--layer: 13" title="bb51: ../instrument-coverage/coverage_of_if_else.rs:30:9: 31:23: |
476 | 476 | 30:9-30:10: StorageDead: StorageDead(_31) |
477 | 477 | 30:9-30:10: StorageDead: StorageDead(_30) |
478 | 478 | 31:9-31:23: Assign: _39 = CheckedSub(_21, const 5_i32) |
479 | | - 31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"> countdown -= 5<span class="annotation">⦉51</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6: |
| 479 | + 31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}`, which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"> countdown -= 5<span class="annotation">⦉51</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6: |
480 | 480 | 27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]">;</span></span> |
481 | 481 | <span class="line"><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6: |
482 | 482 | 27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"> } else {</span></span> |
|
614 | 614 | 50:5-50:6: StorageDead: StorageDead(_47) |
615 | 615 | 41:5-50:6: Goto: goto -> bb78"> </span><span class="code odd" style="--layer: 14" title="bb60: ../instrument-coverage/coverage_of_if_else.rs:42:9: 42:23: |
616 | 616 | 42:9-42:23: Assign: _46 = CheckedSub(_41, const 4_i32) |
617 | | - 42:9-42:23: Assert: assert(!move (_46.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 4_i32) -> [success: bb61, unwind: bb1]"><span class="annotation">60⦊</span>countdown -= 4<span class="annotation">⦉60</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6: |
| 617 | + 42:9-42:23: Assert: assert(!move (_46.1: bool), "attempt to compute `{} - {}`, which would overflow", _41, const 4_i32) -> [success: bb61, unwind: bb1]"><span class="annotation">60⦊</span>countdown -= 4<span class="annotation">⦉60</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6: |
618 | 618 | 47:9-47:23: Assign: _41 = move (_58.0: i32) |
619 | 619 | 43:29-48:6: Assign: _0 = const () |
620 | 620 | 50:5-50:6: StorageDead: StorageDead(_47) |
|
719 | 719 | 46:9-46:10: StorageDead: StorageDead(_50) |
720 | 720 | 46:9-46:10: StorageDead: StorageDead(_49) |
721 | 721 | 47:9-47:23: Assign: _58 = CheckedSub(_41, const 5_i32) |
722 | | - 47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"><span class="annotation">76⦊</span>}</span><span class="code odd" style="--layer: 15" title="bb75: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10: |
| 722 | + 47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}`, which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"><span class="annotation">76⦊</span>}</span><span class="code odd" style="--layer: 15" title="bb75: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10: |
723 | 723 | 45:13-45:26: Assign: _41 = const 0_i32 |
724 | 724 | 44:61-46:10: Assign: _49 = const () |
725 | 725 | 44:9-46:10: Goto: goto -> bb76"><span class="annotation">⦉75</span></span><span class="code even" style="--layer: 16" title="bb74: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10: |
|
730 | 730 | 46:9-46:10: StorageDead: StorageDead(_50) |
731 | 731 | 46:9-46:10: StorageDead: StorageDead(_49) |
732 | 732 | 47:9-47:23: Assign: _58 = CheckedSub(_41, const 5_i32) |
733 | | - 47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"></span></span> |
| 733 | + 47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}`, which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"></span></span> |
734 | 734 | <span class="line"><span class="code odd" style="--layer: 18" title="bb76: ../instrument-coverage/coverage_of_if_else.rs:46:9: 47:23: |
735 | 735 | 46:9-46:10: StorageDead: StorageDead(_50) |
736 | 736 | 46:9-46:10: StorageDead: StorageDead(_49) |
737 | 737 | 47:9-47:23: Assign: _58 = CheckedSub(_41, const 5_i32) |
738 | | - 47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"> countdown -= 5<span class="annotation">⦉76</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6: |
| 738 | + 47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}`, which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"> countdown -= 5<span class="annotation">⦉76</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6: |
739 | 739 | 43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]">;</span></span> |
740 | 740 | <span class="line"><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6: |
741 | 741 | 43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"> } else {</span></span> |
|
0 commit comments