[llvm-bugs] [Bug 42595] New: Assertion `Vars.empty() == VarLocs.empty() && "open ranges are inconsistent"' fails in LiveDebugValues

[via llvm-bugs]

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

            Bug ID: 42595
           Summary: Assertion `Vars.empty() == VarLocs.empty() && "open
                    ranges are inconsistent"' fails in LiveDebugValues
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: DebugInfo
          Assignee: unassignedbugs at nondot.org
          Reporter: david.stenberg at ericsson.com
                CC: jdevlieghere at apple.com, keith.walker at arm.com,
                    llvm-bugs at lists.llvm.org,
                    paul_robinson at playstation.sony.com

Created attachment 22236
  --> https://bugs.llvm.org/attachment.cgi?id=22236&action=edit
C++ reproducer

This assertion was found when trying to compile DAGCombiner.cpp from the
llvm-8.0 release using clang from today's trunk (r365881).

When compiling the attached program using:

  $ clang -fsanitize=address -std=c++11 -fno-exceptions -fno-rtti -g -O2 f.cpp

you get the following assertion:

  clang-9:
/home/edasten/upstream/monorepo/llvm/lib/CodeGen/LiveDebugValues.cpp:331: bool
{anonymous}::LiveDebugValues::OpenRangesSet::empty() const: Assertion
`Vars.empty() == VarLocs.empty() && "open ranges are inconsistent"' failed.

The program has been reduced with a run of creduce, but it is still a bit
messy, and can probably be made smaller.

-- 
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/20190712/8448af88/attachment-0001.html>