[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 bugzilla-daemon at llvm.org
Fri Aug 15 23:49:04 PDT 2014


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>

More information about the llvm-bugs mailing list