[PATCH 01/23] dwarf: add dwarf3 DW_OP_push_object_address opcode

[Keven Boell]

> I understand this part, but the main part of my question is about
> the fact that, most of the time, we manipulate "struct value" objects,
> which may not represent addressable entities. For instance, let's say
> I have a struct value whose type is a TYPE_CODE_ARRAY. If I need to
> resolve the value's type, how should I be doing it? Perhaps, the
> question in itself suggest the introduction of a function that would
> take a value, and returned a value whose time is resolved?
> 

But this would still require the address to be communicated to the
property evaluation functions as the type still needs to be resolved
using resolve_dynamic_type. Usually resolve_dynamic_type will be called
through value_from_contents_and_address, which generates you a resolve
type in a value object. Do you have a concrete Fortran code example,
where you think the current implementation might go wrong?

Keven