On Wed, 21 Aug 2019, Eric Botcazou wrote: > > Rather than checking if the outermost declarator is > > cdk_function and using its parameters if so, it's necessary to check if > > the *innermost declarator that isn't cdk_id or cdk_attrs* is cdk_function > > and use its parameters if so, as that's what actually determines if the > > declarator for the entity being declared has the form of a function > > declarator (see how grokdeclarator determines funcdef_syntax). > > Thanks for the hint. Tentative patch attached based on it, which certainly > makes -fdump-ada-spec happy, as witnessed by the dump-ada-spec-15.c change. > > Is it something that you would approve for mainline?
This patch is OK. -- Joseph S. Myers jos...@codesourcery.com
