[Dwarf-discuss] Extension for the new DW_TAG_property in DWARF-6

[Martin]

I found a case that I was myself not previously aware off.

In the below example the value is an indexed member of an array.

program project1;
{$Mode objfpc}
type
   T1 = array [3..5] of integer;

   TFoo = class
   private
     F1: T1;
   public
     property Bar: Integer read f1[4];
   end;


There is no DW_TAG_member or DW_TAG_variable for the single element.
DW_AT_property_forward can only link to the array itself.

I additionally would need the index in the array.


I can also not use
 > DW_OP_push_object_location to inquire of the location of the 
property’s parent

Since the array could be in a sub-structure, for which this would supply 
the address. (So that then the address of the array itself can be 
calculated).