Bug#192474: libc6-dev: error.h is not correctly annotated for splint
At Thu, 08 May 2003 17:14:29 +0100,
rich walker wrote:
> splint is a very useful package.
I have not known this package, but it seems useful.
> However, over time, I find I have modified many of the standard
> headers to be splint-able. error.h is a good example. (Note that
> popt.h is splint-compliant, so I assume there is some trend to
> splint-able headers).
>
> I *think* the correct declaration for splint in error.h would be:
>
> #ifdef S_SPLINT_S
> extern /*@noreturnwhentrue@*/ void error (int /*@alt bool @*/ status, int errnum, const char *format, ...)
> /*__attribute__ ((__format__ (__printf__, 3, 4))) */;
> #endif
Please show us the test program and the result of splint message.
Regards,
-- gotom
Reply to: