<html>
<head>
<base href="http://llvm.org/bugs/" />
</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 --- - DW_OP_const* is invalid as a location"
href="http://llvm.org/bugs/show_bug.cgi?id=21776">21776</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>DW_OP_const* is invalid as a location
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>DebugInfo
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>katya_romanova@playstation.sony.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>I've encountered a situation where Clang generates an incorrect location list
for a variable. GDB chokes on it, but LLDB understands it.
Consider the following test:
---main.cpp---
#include "stuff.h"
int main()
{
int c = 0;
for (int a = 0; a < 100; ++a)
c += func(a);
return c;
}
--- stuff.h---
extern int func(int a);
---stuff.cpp---
#include "stuff.h"
int func(int a)
{
return a * 15;
}
The following DWARF is generated for variables "a" and "c":
<2><43>: Abbrev Number: 3 (DW_TAG_variable)
<44> DW_AT_location : 0x0 (location list)
<48> DW_AT_name : (indirect string, offset: 0x73): c
<4c> DW_AT_decl_file : 1
<4d> DW_AT_decl_line : 5
<4e> DW_AT_type : <0x70>
<2><52>: Abbrev Number: 4 (DW_TAG_lexical_block)
<53> DW_AT_low_pc : 0x12
<5b> DW_AT_high_pc : 0x10
<3><5f>: Abbrev Number: 3 (DW_TAG_variable)
<60> DW_AT_location : 0x39 (location list)
<64> DW_AT_name : (indirect string, offset: 0x75): a
<68> DW_AT_decl_file : 1
<69> DW_AT_decl_line : 7
<6a> DW_AT_type : <0x70>
Content of the .debug_loc section:
Offset Begin End Expression
00000000 0000000000000003 0000000000000026 (DW_OP_consts: 13)
00000014 0000000000000026 0000000000000029 (DW_OP_reg0 (rax); DW_OP_piece:
4)
00000029 <End of list>
00000039 0000000000000008 000000000000001d (DW_OP_consts: 0)
0000004d 000000000000001d 0000000000000022 (DW_OP_reg3 (rbx); DW_OP_piece:
4)
00000062 <End of list>
DWARF expressions "DW_OP_consts 13" and "DW_OP_consts 0" are legal, but they
are invalid as locations. The proper way to describe a case where a value is
constant in a specific address range is "DW_OP_constu 0, DW_OP_stack_value”.
DW_OP_const pushes a value on to the expression stack, this describes a
location, not a value. In order for the stack to represent a value the
expression needs to end with DW_OP_stack_value.
GDB assumes that "DW_OP_consts 0" represents a location in memory and
complains.
Breakpoint 1, main () at main.cpp:8
8 c += func(a);
(gdb) p c
Cannot access memory at address 0xd
(gdb) p a
Cannot access memory at address 0x0
(gdb)
LLDB seems to know how to interpret DW_OP_consts in this particular case. LLDB
seems to be aware of how constant values used to be represented (in DWARF3 and
earlier) before "DW_OP_stack_value" exited.
(lldb) run
Process 8216 launching
* thread #1: tid = 8216, 0x0000000000400502 main.O2.exe`main + 18 at
main.cpp:8, name =
'main.O2.exe', stop reason = breakpoint 1.1
frame #0: 0x0000000000400502 main.O2.exe`main + 18 at main.cpp:8
5 int c = 13;
6
7 for (int a = 0; a < 100; ++a)
-> 8 c += func(a);
9
10 return c;
11 }
(lldb) p c
(int) $0 = 13
(lldb) p a
(int) $1 = 0
Frédéric Riss commented about this issue:
I agree with this interpretation. IIRC, the OP_stack_value didn’t exist before
the DWARF4 standard. Expressing this situation simply was impossible without
this operation and I am quite sure that producers and consumers started to rely
on heuristics to disambiguate the value vs. location status of the expression.
GDB might have moved away from that by now. We’d need to fix lldb to DTRT also.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>