[llvm-bugs] [Bug 41827] New: [DebugInfo at O2] Add stricter assertions and checks for debug intrinsic linenos
via llvm-bugs
llvm-bugs at lists.llvm.org
Fri May 10 03:15:34 PDT 2019
https://bugs.llvm.org/show_bug.cgi?id=41827
Bug ID: 41827
Summary: [DebugInfo at O2] Add stricter assertions and checks for
debug intrinsic linenos
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Keywords: wrong-debug
Severity: enhancement
Priority: P
Component: Scalar Optimizations
Assignee: unassignedbugs at nondot.org
Reporter: jeremy.morse.llvm at gmail.com
CC: llvm-bugs at lists.llvm.org
As brought up in this review [0], with debugging intrinsics being given zero
linenos (as damage limitation in case they leak), we should enforce this in
more locations. Bjorn suggests:
* Also fix calls to DIBuilder::insertDbgValueIntrinsic in LoopUtils, Debugify
and LLVMDIBuilder* the same way.
* Assert that line/col is zero in DIBuilder::insertDbgValueIntrinsic.
* Add checks in Verifier and MachineVerifier that line/col is zero for
dbg.value/DBG_VALUE.
This should also expose any circumstances where debug intrinsics have their
DebugLocs replaced with "real" locations (potentially changing their scope),
which is the complementary error case to what [0] fixes.
[0] https://reviews.llvm.org/D59272?id=198638
--
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/20190510/963480d7/attachment.html>
More information about the llvm-bugs
mailing list