* lib/fputsx.c, lib/gshadow.c, lib/commonio.h: Added splint

	annotations.

diff --git a/ChangeLog b/ChangeLog
index cf9ea9e2d0aac4a1120ca2d1fcc2c598d4485102..c9f058ef2244a91160ea0f78746b8c01000f3f02 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,7 @@
 2009-04-22  Nicolas François  <nicolas.francois@centraliens.net>
 
-       * lib/gshadow.c, lib/commonio.h: Added splint annotations.
+       * lib/fputsx.c, lib/gshadow.c, lib/commonio.h: Added splint
+       annotations.
 
 2009-04-22  Nicolas François  <nicolas.francois@centraliens.net>
 

diff --git a/lib/fputsx.c b/lib/fputsx.c
index 18eb76ce7a962b9572a194cb6796524b88bde2d0..9a55ba0e11bc250ce29c42e0ffde9cd329f049db 100644 (file)
--- a/lib/fputsx.c
+++ b/lib/fputsx.c
@@ -39,7 +39,7 @@
 #ident "$Id$"
 
 
-char *fgetsx (char *buf, int cnt, FILE * f)
+/*@null@*/char *fgetsx (/*@returned@*/ /*@out@*/char *buf, int cnt, FILE * f)
 {
        char *cp = buf;
        char *ep;