<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Thu, Oct 1, 2026 at 12:52 AM Martin via Dwarf-discuss <<a href="mailto:dwarf-discuss@lists.dwarfstd.org">dwarf-discuss@lists.dwarfstd.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">(This is a resend, I did sent this in April, but didn't get any <br>
response, and the issue is still present)<br>
<br>
<br>
The issue for the property addition:<br>
<a href="https://dwarfstd.org/issues/240507.1.html" rel="noreferrer" target="_blank">https://dwarfstd.org/issues/240507.1.html</a><br>
<br>
> DW_TAG_property<br>
>     DW_AT_name "Indexed"<br>
> <br>
>     DW_TAG_property_getter<br>
>       DW_AT_property_forward <ref to GetValue><br>
> <br>
>       DW_TAG_formal_parameter  ; _this (no default specified, details inherited from GetValue<br>
>       DW_TAG_formal_parameter  ; x (no default specified)<br>
>       DW_TAG_formal_parameter<br>
>         DW_AT_default_value <DW_OP_lit 1> ; property index<br>
<br>
<br>
formal-param are direct child entities of DW_TAG_property_getter<br></blockquote><div><br></div><div>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.</div><div><br></div><div>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.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">But in dwarf6-20260920-2248.pdf<br>
D.19 Property Example<br>
Page 415<br>...<br>
 >     !<br>
 >     ! Indexed property<br>
 >     !<br>
 >     DW_TAG_subprogram ! function GetValue<br>
 >         DW_AT_accessibility(DW_ACCESS_private)<br>
 >         DW_AT_name("GetValue") ! (x: word; AIndex: Integer): char;<br>
 >         DW_AT_type(ref to char)<br>
 >         DW_TAG_formal_parameter ! implicit _this<br>
 >         DW_TAG_formal_parameter ! x (no default specified)<br>
 >         DW_TAG_formal_parameter ! AIndex<br>
 >             DW_AT_default_value !<br>
 >                 DW_OP_lit1 ! default index =1<br>
 >     ...<br>
 >     DW_TAG_property ! property Indexed[x: word]: char index 1<br>
 >         DW_AT_accessibility(DW_ACCESS_public)<br>
 >         DW_AT_name("Indexed")<br>
 >         DW_TAG_property_getter ! read GetValue;<br>
 >             DW_AT_property_forward(ref to GetValue)<br>
<br>
- The Getter refers to the Entry for the function GetValue<br>
- The function GetValue has the default parameter<br></blockquote><div><br></div><div>I'm assuming you're pointing out that these are mistakes, not what it should be, right?</div><div><br></div><div>-cary</div><div><br></div></div></div>