Bug#192474: libc6-dev: error.h is not correctly annotated for splint
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
Reply to: