[llvm-bugs] [Bug 26155] assertion "piece covers entire variable" when optimizing code with debug information

via llvm-bugs llvm-bugs at lists.llvm.org
Fri Jan 15 08:34:53 PST 2016


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

Keno Fischer <kfischer at college.harvard.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |INVALID

--- Comment #1 from Keno Fischer <kfischer at college.harvard.edu> ---
The input IR is invalid. The size of the alloca must match the size described
by debug info. I'm in the process of adding an assert to the verifier to
complain about this directly. There is some question of whether we can encode
the fact that even though something is stored as i8, it's actually only one bit
long, see this discussion on the mailing list:
http://lists.llvm.org/pipermail/llvm-dev/2016-January/093950.html, but for now
the consensus seems to be that bools need to be declared as 8 bit in the debug
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/20160115/8559d46b/attachment.html>


More information about the llvm-bugs mailing list