> It looks like it might catch a few extra cases where the address of the > decl is required. But it also looks like it's somewhat overly broad like > > /* Function types that are TREE_ADDRESSABLE force return in memory. */ > if (fntype && TREE_ADDRESSABLE (fntype)) > return 1; > > without actually testing 'exp' is the return slot.
I think that this particular case can only trigger in Ada. ;-) -- Eric Botcazou