[Dwarf-Discuss] PROPOSAL: Constant expressions in location lists

[Michael Eager]

Jim Blandy wrote:

> It would seem much cleaner to simply represent source language
> expressions as DIE trees.  Every source-level debugger already has the
> machinery to evaluate those.  Their semantics are as well-defined as
> the language itself.

Except for the evaluation of DWARF expressions, there are no semantics
defined in DWARF.  It's purely descriptive.

I don't know any way to describe source language expressions in DWARF.
DIEs can not describe source expressions, nor is there any way to
"evaluate" a DIE, whatever that may mean.

DWARF describes the mapping between source language features and
the resulting generated code.  None of the source language semantics
is described by DWARF.

-- 
Michael Eager	 eager at eagercon.com
1960 Park Blvd., Palo Alto, CA 94306  650-325-8077