<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Wrong handling of DW_OP_deref with global variables"
href="https://bugs.llvm.org/show_bug.cgi?id=36871">36871</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Wrong handling of DW_OP_deref with global variables
</td>
</tr>
<tr>
<th>Product</th>
<td>lldb
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>All
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>All Bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>lldb-dev@lists.llvm.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>swiftixopt@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=20106" name="attach_20106" title="Reduced test-case">attachment 20106</a> <a href="attachment.cgi?id=20106&action=edit" title="Reduced test-case">[details]</a></span>
Reduced test-case
I'm trying to achieve the following:
- I have a global variable BaseAddress that holds the base address of
a contiguous dynamically allocated memory block.
- I have a number of logical variables of different types that are
mapped on certain address ranges inside the memory block pointed to by
BaseAddress. The offset and the size of each such logical variable
inside the memory block are known constants.
- I'd like to make it possible to access these logical variables
inside the debugger as if they are normal global variables.
My idea was to create the debug information for each of these logical
variables by using DIBuilder::createGlobalVariableExpression called
GVE and provide a DIExpression called DIE that should basically take
the value of the global variable GVE is added to, i.e. the value of
BaseAddress, and add a constant offset corresponding to the logical
variable. This should be the address of the logical variable.
So, the DIExpression DIE would look something like:
DW_OP_deref, DW_OP_constu, offset, DW_OP_plus
But this does not work. I tried the variants with and without
DW_OP_deref, but I always get the same wrong result when I test with
LLDB. The offset is always added to the address of BaseAddress and not
to its value.
The code for creating logical variables looks roughly like:
llvm::SmallVector<uint64_t, 4> ops;
size_t offset = getOffset(logicalVariable);
// Get the value of the global variable that contains a pointer to
the memory block.
// NOTE: Even if DW_OP_deref is omitted, the results under LLDB
are the same.
ops.push_back(llvm::dwarf::DW_OP_deref);
// Add a constant offset to the value of the global variable.
ops.push_back(llvm::dwarf::DW_OP_constu);
ops.push_back(offset);
ops.push_back(llvm::dwarf::DW_OP_plus);
llvm::DIExpression *DIexpr{nullptr};
auto *DIE = DIBuilder_->createExpression(ops);
auto *GVE = DIBuilder_->createGlobalVariableExpression(
cu, name, "", file, 0, type,
/* isLocalToUnit */ false, DIE);
// Add GVE as debug info to BaseAddress.
baseAddress->addDebugInfo(GVE);
GDB does not have the issue. So, it seems like a bug in LLDB.
See the following thread for a discussion of the issue:
<a href="https://groups.google.com/forum/#!topic/llvm-dev/TIkoLc04zSQ">https://groups.google.com/forum/#!topic/llvm-dev/TIkoLc04zSQ</a>
The attached lldb_bug.ll file contains a reduced example. It has a global
variable "baseAddress", which contains a pointer to a memory block. And it
defines a logical global variable "var1" by means of debug information, which
should be at address (value of (baseAddress) + 0).
I used the following commands to produce the executable:
llvm-as lldb_bug.ll -f
llc -filetype=obj lldb_bug.bc
clang lldb_bug.o -o lldb_bug
Then you simply start LLDB with lldb_bug as executable.
If you then try this command:
p &var1
you'll see something different from the expected 0.
Most likely, the problem is that DW_OP_deref is not handled correctly when
applied to global variables or something like this.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are the assignee for the bug.</li>
</ul>
</body>
</html>