[Dwarf-Discuss] OP_fbreg within AT_frame_base, static or dynamic ?

[Roland McGrath]

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.


Thanks,
Roland