Bug#192474: libc6-dev: error.h is not correctly annotated for splint

[GOTO Masanori <gotom@debian.or.jp>]

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