[llvm-bugs] [Bug 45934] Wrong Debug Information for Oz. Stepping on dead code.

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=45934

Paul Robinson <paul_robinson at playstation.sony.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
                 CC|                            |paul_robinson at playstation.s
                   |                            |ony.com
             Status|NEW                         |RESOLVED

--- Comment #1 from Paul Robinson <paul_robinson at playstation.sony.com> ---
> The debugger shows that line 2 is executed while it shouldn't be.

I expect you're saying that because of the "if (a) break;" however
the inner for-loop has two forms of undefined behavior, so how the
compiler chooses to handle the program is not specified.  We can't
make proclamations about "correct" debugger behavior in this case.

Resolving as INVALID.

By the way, it would be helpful if you use `cat -n a.c` which will
number the lines, and it will be easier to talk about your example
programs.

-- 
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/20200518/b48051db/attachment.html>