From 0b1397b33b66de22131571e8e3d4fb975d70d05a Mon Sep 17 00:00:00 2001
From: nekral-guest <nekral-guest@5a98b0ae-9ef6-0310-add3-de5d479b70d7>
Date: Thu, 23 Apr 2009 11:54:30 +0000
Subject: [PATCH] 	* lib/fputsx.c, lib/gshadow.c, lib/commonio.h: Added
 splint 	annotations.

---
 ChangeLog    | 3 ++-
 lib/fputsx.c | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

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;
-- 
2.40.0