From: nekral-guest <nekral-guest@5a98b0ae-9ef6-0310-add3-de5d479b70d7>
Date: Thu, 23 Apr 2009 11:54:30 +0000 (+0000)
Subject: 	* lib/fputsx.c, lib/gshadow.c, lib/commonio.h: Added splint
X-Git-Tag: 4.1.4~108
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=0b1397b33b66de22131571e8e3d4fb975d70d05a;p=shadow

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

diff --git a/ChangeLog b/ChangeLog
index cf9ea9e2..c9f058ef 100644
--- 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 18eb76ce..9a55ba0e 100644
--- 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;