|
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