
<html>

  <head>

    <meta content="text/html; charset=ISO-8859-1"

      http-equiv="Content-Type">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <div class="moz-cite-prefix">On 04/04/2013 01:04 PM, Nick Lewycky

      wrote:<br>

    </div>

    <blockquote

cite="mid:CADbEz-iPVWYPQopm4+TXNeaN3_QTuuFczetq6pyTg_yNn4PFxw@mail.gmail.com"

      type="cite">

      <meta http-equiv="Content-Type" content="text/html;

        charset=ISO-8859-1">

      <div dir="ltr">No. The test for

        DT->isReachableFromEntry(I->getBB()) is to ensure that the

        code that follows it is safe. Just because you don't have a DT

        available doesn't mean that the code in the if-body is safe.<br>

      </div>

      <br>

    </blockquote>

    I don't understand. My interpretation of Bill's comment is that this

    should work correctly (a conservative answer for the DT check would

    be that a block is reachable from isReachableFromEntry).<br>

  </body>

</html>