Re: [PATCH] Handle nested Ada functions with gnat-llvm

[Tom Tromey <tromey@adacore.com>]

>>>>> "Tom" == Tom de Vries <tdevries@suse.de> writes:

Tom> On 4/23/26 9:10 PM, Tom Tromey wrote:
>> In Ada, a nested function can refer to variables in lexically
>> enclosing outer scopes.  Ordinarily this is implemented in DWARF using
>> DW_AT_static_link, so that the correct outer function invocation can
>> be found from the nested function.
>> However, LLVM does not implement the DWARF DW_AT_static_link
>> feature,
>> so this approach isn't possible.
>> gnat-llvm, though, implements "unnesting" manually, passing an
>> activation record parameter to nested functions.  This activation
>> record can be used to find the correct outer frame.
>> This patch adds a new language method to enable this.  A new test
>> case
>> is included; this test will fail if the static link or some similar
>> feature is not implemented (i.e., a naive unwind looking for the next
>> instance of the outer function will fail).

Tom> This looks fine to me.

Tom> Reviewed-By: Tom de Vries <tdevries@suse.de>

I'm checking this in.

Tom