[PATCH] D53390: [DebugInfo][Dexter] Unreachable line stepped onto after SimplifyCFG.

[Carlos Alberto Enciso via Phabricator via llvm-commits]

CarlosAlbertoEnciso created this revision.
CarlosAlbertoEnciso added reviewers: aprantl, vsk, dblaikie, dstenb.
CarlosAlbertoEnciso added a project: debug-info.
Herald added subscribers: llvm-commits, JDevlieghere.

For the below test:

  int main() {
    volatile int foo = 0;
  
    int beards = 0;
    if (foo == 4)
      beards = 8;
    else
      beards = 4;
  
    return beards;
  }

When in the debugger, on the line "if (foo == 4)", and we step from the
'if' condition, it steps onto the unreached branch ("beards = 8;"), which is
misleading, as described by:

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


Repository:
  rL LLVM

https://reviews.llvm.org/D53390

Files:
  lib/Transforms/Utils/SimplifyCFG.cpp
  test/CodeGen/X86/pr39187.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D53390.170062.patch
Type: text/x-patch
Size: 5223 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20181018/63754a74/attachment.bin>