[Dwarf-Discuss] OP_fbreg within AT_frame_base, static or dynamic ?
Tue Mar 1 16:55:22 GMT 2011
DWARF in general is not so narrowly specified that this kind of issue falls
into a "clearly valid" or "clearly invalid" category. I think it is
adequately unambiguous what that construct means, and that is usually good
enough in the DWARF world.
A type is used in a particular context. That is, it's the type of some
object like a variable, and that object description exists in a context
such as being local to a function. When you use the type, you are using it
in a specific context such as a given call frame. A type such as this has
details that are dependent on its call frame context, so it would be a
dynamic error to attempt to use it without an associated call frame.
Since it uses DW_OP_fbreg, it can only be used in the context of a call
frame where DW_AT_frame_base is defined.
More information about the Dwarf-discuss