[Dwarf-discuss] Bug / Corrections for DWARF-6 Draft (example for properties / differences to issue in tracker)

[Cary Coutant]

On Thu, Oct 1, 2026 at 12:52 AM Martin via Dwarf-discuss <
dwarf-discuss@lists.dwarfstd.org> wrote:

> (This is a resend, I did sent this in April, but didn't get any
> response, and the issue is still present)
>
>
> The issue for the property addition:
> https://dwarfstd.org/issues/240507.1.html
>
> > DW_TAG_property
> >     DW_AT_name "Indexed"
> >
> >     DW_TAG_property_getter
> >       DW_AT_property_forward <ref to GetValue>
> >
> >       DW_TAG_formal_parameter  ; _this (no default specified, details
> inherited from GetValue
> >       DW_TAG_formal_parameter  ; x (no default specified)
> >       DW_TAG_formal_parameter
> >         DW_AT_default_value <DW_OP_lit 1> ; property index
>
>
> formal-param are direct child entities of DW_TAG_property_getter
>

I think what you're saying is that the three formal parameters (with the
default value on the third) should be moved from the DW_TAG_subprogram
"GetValue" to the DW_TAG_property_getter.

Should the DW_TAG_subprogram "GetValue" also have those formal parameters
(but without the default_value)? I'm not sure if those were assumed to lie
under the ellipsis in the example in the original issue, or if they're
supposed to be omitted.

But in dwarf6-20260920-2248.pdf
> D.19 Property Example
> Page 415
> ...
>  >     !
>  >     ! Indexed property
>  >     !
>  >     DW_TAG_subprogram ! function GetValue
>  >         DW_AT_accessibility(DW_ACCESS_private)
>  >         DW_AT_name("GetValue") ! (x: word; AIndex: Integer): char;
>  >         DW_AT_type(ref to char)
>  >         DW_TAG_formal_parameter ! implicit _this
>  >         DW_TAG_formal_parameter ! x (no default specified)
>  >         DW_TAG_formal_parameter ! AIndex
>  >             DW_AT_default_value !
>  >                 DW_OP_lit1 ! default index =1
>  >     ...
>  >     DW_TAG_property ! property Indexed[x: word]: char index 1
>  >         DW_AT_accessibility(DW_ACCESS_public)
>  >         DW_AT_name("Indexed")
>  >         DW_TAG_property_getter ! read GetValue;
>  >             DW_AT_property_forward(ref to GetValue)
>
> - The Getter refers to the Entry for the function GetValue
> - The function GetValue has the default parameter
>

I'm assuming you're pointing out that these are mistakes, not what it
should be, right?

-cary
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dwarfstd.org/pipermail/dwarf-discuss/attachments/20261001/29776a58/attachment.htm>