Re: [PATCH] function attributes apply to the function declaration

On Sat, Nov 16, 2019 at 12:26:15AM +0000, Ramsay Jones wrote:
> Hi Luc,
> 
> Just a quick heads up (since I can't look at this much for
> a few days now ...) that the current 'master' branch, when
> applied to git, causes 8 additional warnings.
> 
> I have created a cut-down version of the code, thus:

...
> ... which causes the following warnings:
> 
>   $ ./sparse git-noreturn.c
>   git-noreturn.c:17:25: warning: incorrect type in argument 1 (different modifiers)
>   git-noreturn.c:17:25:    expected void ( [noreturn] *routine )( ... )
>   git-noreturn.c:17:25:    got void ( [noreturn] * )( ... )
>   git-noreturn.c:25:76: warning: incorrect type in initializer (different modifiers)
>   git-noreturn.c:25:76:    expected void ( *static [toplevel] [noreturn] die_routine )( ... )
>   git-noreturn.c:25:76:    got void ( [noreturn] * )( ... )
>   $ 
> 
> Sorry to just dump and run ... (hopefully, the above is useful
> information - I will add the test file as an attachment).

Hi Ramsay,

Thank you very much for reporting this and, yes, the information
above is very useful.

I've looked a bit at this and all I can say for the moment is that
it's a quite intricated problem. I fact there are several problems
which interact with each other more or less subltly. 

-- Luc