[fpc-devel] Re: Debugger for FPC

[Jonas Maebe]

On 14 Mar 2009, at 10:42, Florian Klaempfl wrote:

> Jonas Maebe schrieb:
>>
>> It turned out that DWARF2 was enough, so the implementation should
>> already work with currently released GDB versions (see
>> http://bugs.freepascal.org/view.php?id=13313 for some caveats).
>>
>> And in fact, the same can be done to generate for properties that
>> directly map to variables/fields. Just one question: what should the
>> debug information point the debugger to in case of
>> a) a property without a read specifier, but with a write specifier  
>> going
>> directly to a field? Nothing, or that field?
>
> Nothing. This property is not readable.
>
>> b) a property with a read specifier that is a function call, but  
>> with a
>> write specifier directly going to a field? Nothing,
>
> Nothing for now imo.

Ok.

>> or that field? (as
>> long as we do not support encoding property accessor function calls  
>> into
>> the debug information, and/or when we do but determine that the  
>> accessor
>> can have side effects)
>
> Can this be done with dwarf?

Not at this time (except by using a custom extension). We should write  
a proposal for DWARF4 and submit it using http://dwarfstd.org/Comment.php 
  (see http://dwarfstd.org/Issues.php and the links to the issues  
closed for Version 3 and 4 for some ideas about how to write such a  
proposal).


Jonas