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
