[LLVMbugs] [Bug 14660] debug info loop condition checks should be associated with the loop header, not the end of the scope

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=14660

David Blaikie <dblaikie at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from David Blaikie <dblaikie at gmail.com> ---
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.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140816/3884ad19/attachment.html>