[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