------- Comment #1 from jakub at gcc dot gnu dot org 2010-04-16 07:02 ------- Probably you are right, though I think clarification on dwarf-discuss wouldn't hurt. Can you raise it there?
I think 2.19 Static and Dynamic Values of Attributes is what matters here: The value of these attributes is determined based on the class as follows: - For a constant, the value of the constant is the value of the attribute. - For a reference, the value is a reference to another entity which specifies the value of the attribute. - For an exprloc, the value is interpreted as a DWARF expression or location description; evaluation of the expression yields the value of the attribute. The "or location description" confuses me, either it is a DWARF expression, or location description, but leaving in both options is ambiguous, given that a DWARF expression is also a memory location description and differ in a dereference. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43762