
<html>

    <head>

      <base href="https://bugs.llvm.org/">

    </head>

    <body><span class="vcard"><a class="email" href="mailto:Matthew.Arsenault@amd.com" title="Matt Arsenault <Matthew.Arsenault@amd.com>"> <span class="fn">Matt Arsenault</span></a>

</span> changed

          <a class="bz_bug_link 

          bz_status_REOPENED "

   title="REOPENED - LiveIntervals verifier errors not caught when using -run-pass"

   href="https://bugs.llvm.org/show_bug.cgi?id=46873">bug 46873</a>

          <br>

             <table border="1" cellspacing="0" cellpadding="8">

          <tr>

            <th>What</th>

            <th>Removed</th>

            <th>Added</th>

          </tr>


         <tr>

           <td style="text-align:right;">Status</td>

           <td>RESOLVED

           </td>

           <td>REOPENED

           </td>

         </tr>


         <tr>

           <td style="text-align:right;">Resolution</td>

           <td>INVALID

           </td>

           <td>---

           </td>

         </tr></table>

      <p>

        <div>

            <b><a class="bz_bug_link 

          bz_status_REOPENED "

   title="REOPENED - LiveIntervals verifier errors not caught when using -run-pass"

   href="https://bugs.llvm.org/show_bug.cgi?id=46873#c3">Comment # 3</a>

              on <a class="bz_bug_link 

          bz_status_REOPENED "

   title="REOPENED - LiveIntervals verifier errors not caught when using -run-pass"

   href="https://bugs.llvm.org/show_bug.cgi?id=46873">bug 46873</a>

              from <span class="vcard"><a class="email" href="mailto:Matthew.Arsenault@amd.com" title="Matt Arsenault <Matthew.Arsenault@amd.com>"> <span class="fn">Matt Arsenault</span></a>

</span></b>

        <pre>(In reply to Quentin Colombet from <a href="show_bug.cgi?id=46873#c2">comment #2</a>)

<span class="quote">> (In reply to Matt Arsenault from <a href="show_bug.cgi?id=46873#c1">comment #1</a>)

> > I'm guessing this is because the pass manager is aggressively discarding the

> > analyses after it's not required

> 

> Correct!</span >


This is still a bug. The verifier still should use any analyses that are

preserved by the pass, and the ordinary discard logic should not apply. The

intent of -run-pass is to catch bugs in individual MIR passes, and this harms

that functionality.</pre>

        </div>

      </p>


      <hr>

      <span>You are receiving this mail because:</span>


      <ul>

          <li>You are on the CC list for the bug.</li>

      </ul>

    </body>

</html>