src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.panic_unwind/panic_unwind.main.-------.InstrumentCoverage.0.html

   1 <!DOCTYPE html>
   2 <!--
   3
   4 Preview this file as rendered HTML from the github source at:
   5 https://htmlpreview.github.io/?https://github.com/rust-lang/rust/blob/master/src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.panic_unwind/panic_unwind.main.-------.InstrumentCoverage.0.html
   6
   7 For revisions in Pull Requests (PR):
   8   * Replace "rust-lang" with the github PR author
   9   * Replace "master" with the PR branch name
  10
  11 -->
  12 <html>
  13 <head>
  14 <title>panic_unwind.main - Coverage Spans</title>
  15 <style>
  16     .line {
  17         counter-increment: line;
  18     }
  19     .line:before {
  20         content: counter(line) ": ";
  21         font-family: Menlo, Monaco, monospace;
  22         font-style: italic;
  23         width: 3.8em;
  24         display: inline-block;
  25         text-align: right;
  26         filter: opacity(50%);
  27         -webkit-user-select: none;
  28     }
  29     .code {
  30         color: #dddddd;
  31         background-color: #222222;
  32         font-family: Menlo, Monaco, monospace;
  33         line-height: 1.4em;
  34         border-bottom: 2px solid #222222;
  35         white-space: pre;
  36         display: inline-block;
  37     }
  38     .odd {
  39         background-color: #55bbff;
  40         color: #223311;
  41     }
  42     .even {
  43         background-color: #ee7756;
  44         color: #551133;
  45     }
  46     .code {
  47         --index: calc(var(--layer) - 1);
  48         padding-top: calc(var(--index) * 0.15em);
  49         filter:
  50             hue-rotate(calc(var(--index) * 25deg))
  51             saturate(calc(100% - (var(--index) * 2%)))
  52             brightness(calc(100% - (var(--index) * 1.5%)));
  53     }
  54     .annotation {
  55         color: #4444ff;
  56         font-family: monospace;
  57         font-style: italic;
  58         display: none;
  59         -webkit-user-select: none;
  60     }
  61     body:active .annotation {
  62         /* requires holding mouse down anywhere on the page */
  63         display: inline-block;
  64     }
  65     span:hover .annotation {
  66         /* requires hover over a span ONLY on its first line */
  67         display: inline-block;
  68     }
  69 </style>
  70 </head>
  71 <body>
  72 <div class="code" style="counter-reset: line 12"><span class="line"><span><span class="code even" style="--layer: 1" title="14:25-14:27: @0[1]: _1 = const 10_i32
  73 14:9-14:22: @0[2]: FakeRead(ForLet, _1)"><span class="annotation">@0⦊</span>fn main() -&gt; Result&lt;(), u8&gt; {</span></span>
  74 <span class="line"><span class="code even" style="--layer: 1" title="14:25-14:27: @0[1]: _1 = const 10_i32
  75 14:9-14:22: @0[2]: FakeRead(ForLet, _1)">    let mut countdown = 10<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span>
  76 <span class="line"><span class="code" style="--layer: 0">    while </span><span><span class="code odd" style="--layer: 1" title="15:11-15:20: @2[2]: _5 = _1
  77 15:11-15:24: @2[3]: _4 = Gt(move _5, const 0_i32)
  78 15:11-15:24: @2[5]: FakeRead(ForMatchedPlace, _4)"><span class="annotation">@1,2⦊</span>countdown &gt; 0<span class="annotation">⦉@1,2</span></span></span><span class="code" style="--layer: 0"> {</span></span>
  79 <span class="line"><span class="code" style="--layer: 0">        if </span><span><span class="code even" style="--layer: 1" title="16:12-16:21: @5[3]: _8 = _1
  80 16:12-16:26: @5[4]: _7 = Eq(move _8, const 1_i32)"><span class="annotation">@3,5⦊</span>countdown == 1<span class="annotation">⦉@3,5</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="17:13-17:30: @6.Call: _9 = might_panic(const true) -&gt; [return: bb8, unwind: bb15]
  81 16:27-18:10: @8[1]: _6 = const ()"><span class="annotation">@6,8⦊</span>{</span></span>
  82 <span class="line"><span class="code odd" style="--layer: 1" title="17:13-17:30: @6.Call: _9 = might_panic(const true) -&gt; [return: bb8, unwind: bb15]
  83 16:27-18:10: @8[1]: _6 = const ()">            might_panic(true);</span></span>
  84 <span class="line"><span class="code odd" style="--layer: 1" title="17:13-17:30: @6.Call: _9 = might_panic(const true) -&gt; [return: bb8, unwind: bb15]
  85 16:27-18:10: @8[1]: _6 = const ()">        }<span class="annotation">⦉@6,8</span></span></span><span class="code" style="--layer: 0"> else if </span><span><span class="code even" style="--layer: 1" title="18:19-18:28: @7[2]: _11 = _1
  86 18:19-18:32: @7[3]: _10 = Lt(move _11, const 5_i32)"><span class="annotation">@7⦊</span>countdown &lt; 5<span class="annotation">⦉@7</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="19:13-19:31: @9.Call: _12 = might_panic(const false) -&gt; [return: bb11, unwind: bb15]
  87 18:33-20:10: @11[1]: _6 = const ()"><span class="annotation">@9,11⦊</span>{</span></span>
  88 <span class="line"><span class="code odd" style="--layer: 1" title="19:13-19:31: @9.Call: _12 = might_panic(const false) -&gt; [return: bb11, unwind: bb15]
  89 18:33-20:10: @11[1]: _6 = const ()">            might_panic(false);</span></span>
  90 <span class="line"><span class="code odd" style="--layer: 1" title="19:13-19:31: @9.Call: _12 = might_panic(const false) -&gt; [return: bb11, unwind: bb15]
  91 18:33-20:10: @11[1]: _6 = const ()">        }<span class="annotation">⦉@9,11</span></span></span><span><span class="code even" style="--layer: 1" title="20:10-20:10: @10[0]: _6 = const ()"><span class="annotation">@10⦊</span>‸<span class="annotation">⦉@10</span></span></span><span class="code" style="--layer: 0"></span></span>
  92 <span class="line"><span class="code" style="--layer: 0">        </span><span><span class="code odd" style="--layer: 1" title="21:9-21:23: @13[2]: _13 = CheckedSub(_1, const 1_i32)
  93 21:9-21:23: @14[0]: _1 = move (_13.0: i32)"><span class="annotation">@13,14⦊</span>countdown -= 1<span class="annotation">⦉@13,14</span></span></span><span class="code" style="--layer: 0">;</span></span>
  94 <span class="line"><span class="code" style="--layer: 0">    }</span></span>
  95 <span class="line"><span class="code" style="--layer: 0">    </span><span><span class="code even" style="--layer: 1" title="23:8-23:10: @4[4]: _15 = ()
  96 23:5-23:11: @4[5]: _0 = std::result::Result::&lt;(), u8&gt;::Ok(move _15)
  97 24:2-24:2: @4.Return: return"><span class="annotation">@4⦊</span>Ok(())</span></span>
  98 <span class="line"><span class="code even" style="--layer: 1" title="23:8-23:10: @4[4]: _15 = ()
  99 23:5-23:11: @4[5]: _0 = std::result::Result::&lt;(), u8&gt;::Ok(move _15)
 100 24:2-24:2: @4.Return: return">}<span class="annotation">⦉@4</span></span></span></span></div>
 101 </body>
 102 </html>