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

[shadow] / lib / fputsx.c

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;