<html>
    <head>
      <base href="http://llvm.org/bugs/" />
    </head>
    <body><span class="vcard"><a class="email" href="mailto:dblaikie@gmail.com" title="David Blaikie <dblaikie@gmail.com>"> <span class="fn">David Blaikie</span></a>
</span> changed
              <a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED FIXED - debug info loop condition checks should be associated with the loop header, not the end of the scope"
   href="http://llvm.org/bugs/show_bug.cgi?id=14660">bug 14660</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>NEW
           </td>
           <td>RESOLVED
           </td>
         </tr>

         <tr>
           <td style="text-align:right;">Resolution</td>
           <td>---
           </td>
           <td>FIXED
           </td>
         </tr></table>
      <p>
        <div>
            <b><a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED FIXED - debug info loop condition checks should be associated with the loop header, not the end of the scope"
   href="http://llvm.org/bugs/show_bug.cgi?id=14660#c2">Comment # 2</a>
              on <a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED FIXED - debug info loop condition checks should be associated with the loop header, not the end of the scope"
   href="http://llvm.org/bugs/show_bug.cgi?id=14660">bug 14660</a>
              from <span class="vcard"><a class="email" href="mailto:dblaikie@gmail.com" title="David Blaikie <dblaikie@gmail.com>"> <span class="fn">David Blaikie</span></a>
</span></b>
        <pre>On further consideration (& looking at other bugs, and knowing more about debug
info now than I did before) it seems it was just the backedge jump to the loop
condition that was misattributed to the final line of the loop.

Yeah, this is probably OK in the below example, attributing the jump to the '}'
but it doesn't work so well in braceless loops:

while (a)
  if (b)
    c; // this is the end of the loop body, and where the branch is attributed
to, even if 'b' is false and thus this 'c' is never evaluated. Very confusing
to the user.

See PR19864 for some related info.</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>