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

annotations.
2009-04-23 11:54:30 +00:00
parent a121b9b659
commit 0b1397b33b
2 changed files with 3 additions and 2 deletions
--- 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;