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

[rich walker <rw@shadow.org.uk>]

Package: libc6-dev
Version: 2.3.1-16
Severity: wishlist

Hi,

splint is a very useful package. 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

cheers, Rich.


-- System Information
Debian Release: testing/unstable
Architecture: i386
Kernel: Linux thoth 2.4.20 #30 Fri Apr 18 03:20:05 BST 2003 i686
Locale: LANG=C, LC_CTYPE=C

Versions of packages libc6-dev depends on:
ii  libc6                         2.3.1-16   GNU C Library: Shared libraries an