[Pkg-shadow-commits] r2774 - in upstream/trunk: . lib

Nicolas FRANÇOIS nekral-guest at alioth.debian.org
Thu Apr 23 11:54:30 UTC 2009


Author: nekral-guest
Date: 2009-04-23 11:54:30 +0000 (Thu, 23 Apr 2009)
New Revision: 2774

Modified:
   upstream/trunk/ChangeLog
   upstream/trunk/lib/fputsx.c
Log:
	* lib/fputsx.c, lib/gshadow.c, lib/commonio.h: Added splint
	annotations.


Modified: upstream/trunk/ChangeLog
===================================================================
--- upstream/trunk/ChangeLog	2009-04-23 11:53:55 UTC (rev 2773)
+++ upstream/trunk/ChangeLog	2009-04-23 11:54:30 UTC (rev 2774)
@@ -1,6 +1,7 @@
 2009-04-22  Nicolas François  <nicolas.francois at 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 at centraliens.net>
 

Modified: upstream/trunk/lib/fputsx.c
===================================================================
--- upstream/trunk/lib/fputsx.c	2009-04-23 11:53:55 UTC (rev 2773)
+++ upstream/trunk/lib/fputsx.c	2009-04-23 11:54:30 UTC (rev 2774)
@@ -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;




More information about the Pkg-shadow-commits mailing list