src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.abort/abort.might_abort.-------.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.abort/abort.might_abort.-------.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>abort.might_abort - 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 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 = &amp;(*_33)
  77 7:18-7:31: @3[8]: _8 = &amp;(*_9)
  78 7:18-7:31: @3[9]: _7 = move _8 as &amp;[&amp;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 = &amp;(*_32)
  83 7:9-7:33: @3[19]: _12 = &amp;(*_13)
  84 7:9-7:33: @3[20]: _11 = move _12 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
  85 7:9-7:33: @3.Call: _6 = Arguments::new_v1(move _7, move _11) -&gt; [return: bb4, unwind: bb8]
  86 7:9-7:33: @4.Call: _5 = _print(move _6) -&gt; [return: bb5, unwind: bb8]
  87 7:9-7:33: @5[5]: _4 = const ()
  88 8:9-8:37: @5.Call: begin_panic::&lt;&amp;str&gt;(const &quot;panics and aborts&quot;) -&gt; 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 = &amp;(*_33)
  91 7:18-7:31: @3[8]: _8 = &amp;(*_9)
  92 7:18-7:31: @3[9]: _7 = move _8 as &amp;[&amp;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 = &amp;(*_32)
  97 7:9-7:33: @3[19]: _12 = &amp;(*_13)
  98 7:9-7:33: @3[20]: _11 = move _12 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
  99 7:9-7:33: @3.Call: _6 = Arguments::new_v1(move _7, move _11) -&gt; [return: bb4, unwind: bb8]
 100 7:9-7:33: @4.Call: _5 = _print(move _6) -&gt; [return: bb5, unwind: bb8]
 101 7:9-7:33: @5[5]: _4 = const ()
 102 8:9-8:37: @5.Call: begin_panic::&lt;&amp;str&gt;(const &quot;panics and aborts&quot;) -&gt; bb8">        panic!("panics and aborts");<span class="annotation">⦉@1,3,4,5</span></span></span><span class="code" style="--layer: 0"></span></span>
 103 <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 10:18-10:31: @2[7]: _23 = &amp;(*_31)
 105 10:18-10:31: @2[8]: _22 = &amp;(*_23)
 106 10:18-10:31: @2[9]: _21 = move _22 as &amp;[&amp;str] (Pointer(Unsize))
 107 10:9-10:33: @2[15]: _29 = ()
 108 10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29)
 109 10:9-10:33: @2[17]: _30 = const might_abort::promoted[0]
 110 10:9-10:33: @2[18]: _27 = &amp;(*_30)
 111 10:9-10:33: @2[19]: _26 = &amp;(*_27)
 112 10:9-10:33: @2[20]: _25 = move _26 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
 113 10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -&gt; [return: bb6, unwind: bb8]
 114 10:9-10:33: @6.Call: _19 = _print(move _20) -&gt; [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>
 118 <span class="line"><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1]
 119 10:18-10:31: @2[7]: _23 = &amp;(*_31)
 120 10:18-10:31: @2[8]: _22 = &amp;(*_23)
 121 10:18-10:31: @2[9]: _21 = move _22 as &amp;[&amp;str] (Pointer(Unsize))
 122 10:9-10:33: @2[15]: _29 = ()
 123 10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29)
 124 10:9-10:33: @2[17]: _30 = const might_abort::promoted[0]
 125 10:9-10:33: @2[18]: _27 = &amp;(*_30)
 126 10:9-10:33: @2[19]: _26 = &amp;(*_27)
 127 10:9-10:33: @2[20]: _25 = move _26 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
 128 10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -&gt; [return: bb6, unwind: bb8]
 129 10:9-10:33: @6.Call: _19 = _print(move _20) -&gt; [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>
 133 <span class="line"><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1]
 134 10:18-10:31: @2[7]: _23 = &amp;(*_31)
 135 10:18-10:31: @2[8]: _22 = &amp;(*_23)
 136 10:18-10:31: @2[9]: _21 = move _22 as &amp;[&amp;str] (Pointer(Unsize))
 137 10:9-10:33: @2[15]: _29 = ()
 138 10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29)
 139 10:9-10:33: @2[17]: _30 = const might_abort::promoted[0]
 140 10:9-10:33: @2[18]: _27 = &amp;(*_30)
 141 10:9-10:33: @2[19]: _26 = &amp;(*_27)
 142 10:9-10:33: @2[20]: _25 = move _26 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
 143 10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -&gt; [return: bb6, unwind: bb8]
 144 10:9-10:33: @6.Call: _19 = _print(move _20) -&gt; [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>
 148 <span class="line"><span class="code even" style="--layer: 1" title="10:18-10:31: @2[6]: _31 = const might_abort::promoted[1]
 149 10:18-10:31: @2[7]: _23 = &amp;(*_31)
 150 10:18-10:31: @2[8]: _22 = &amp;(*_23)
 151 10:18-10:31: @2[9]: _21 = move _22 as &amp;[&amp;str] (Pointer(Unsize))
 152 10:9-10:33: @2[15]: _29 = ()
 153 10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29)
 154 10:9-10:33: @2[17]: _30 = const might_abort::promoted[0]
 155 10:9-10:33: @2[18]: _27 = &amp;(*_30)
 156 10:9-10:33: @2[19]: _26 = &amp;(*_27)
 157 10:9-10:33: @2[20]: _25 = move _26 as &amp;[std::fmt::ArgumentV1] (Pointer(Unsize))
 158 10:9-10:33: @2.Call: _20 = Arguments::new_v1(move _21, move _25) -&gt; [return: bb6, unwind: bb8]
 159 10:9-10:33: @6.Call: _19 = _print(move _20) -&gt; [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>
 163 </body>
 164 </html>