[Dwarf-discuss] Proposal: Add support for "property" with getter/setter (based on Pascal properties)

[Adrian Prantl]

> On Oct 10, 2024, at 9:31 AM, Todd Allen via Dwarf-discuss <dwarf-discuss@lists.dwarfstd.org> wrote:
> 
> Adrian,
> 
> This usage of DW_AT_specification seems very different from other uses 
> of DW_AT_specification, where it's indicating that the current DIE is a 
> completion of a forward declaration at the referenced DIE.  This usage 
> is a bit closer to a "renames", but it isn't even quite that.  I suggest 
> not attempting to use DW_AT_specification for this case, and just 
> inventing a new attribute.
> 
> Todd

From the spec:

> A debugging information entry that represents a declaration that completes
> another (earlier) non-defining declaration may have a DW_AT_specification
> attribute whose value is a reference to the debugging information entry
> representing the non-defining declaration.

You are right that this doesn't fit because in the property use-case we don't complete a forward declaration, we just refer to it.

> A debugging information entry with a
> DW_AT_specification attribute does not need to duplicate information provided
> by the debugging information entry referenced by that specification attribute.

This behavior is something I want though.

I'll replace it with a new attribute for now.

thanks,
Adrian