[llvm-bugs] [Bug 39187] New: [DebugInfo at O2][Dexter] Unreachable line stepped onto.

[via llvm-bugs]

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

            Bug ID: 39187
           Summary: [DebugInfo at O2][Dexter] Unreachable line stepped onto.
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: international.phantom at gmail.com
                CC: aprantl at apple.com, chackz0x12 at gmail.com,
                    david.stenberg at ericsson.com, dblaikie at gmail.com,
                    ftee at flametop.co.uk, greg.bedwell at sony.com,
                    jdevlieghere at apple.com, jeremy.morse.llvm at gmail.com,
                    llvm-bugs at lists.llvm.org, paul.robinson at am.sony.com,
                    vsk at apple.com, Wolfgang_Pieb at playstation.sony.com
            Blocks: 38768

Spawned from bug 38762:

If SimplifyCFGs speculates more than one insn when flattening phi's to selects,
unreached lines and illegal values can be seen. Giving a non-broken case for
context, if you take this test:

--------8<--------
int
main()
{
  volatile int foo = 0;

  int beards = 0;
  if (foo == 4)
    beards = 8;
  else
    beards = 4;

  return beards;
}
-------->8--------

When compiled -O2 -g on trunk. It steps onto the unreached branch ("beards =
8;").


Referenced Bugs:

https://bugs.llvm.org/show_bug.cgi?id=38768
[Bug 38768] [meta][DebugInfo] Umbrella bug for poor debug experiences
-- 
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/20181005/880be279/attachment.html>