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

[Nicolas FRANÇOIS]

Author: nekral-guest
Date: 2009-04-24 23:33:47 +0000 (Fri, 24 Apr 2009)
New Revision: 2798

Modified:
   upstream/trunk/ChangeLog
   upstream/trunk/lib/commonio.h
Log:
	* lib/commonio.h: Added splint annotations.


Modified: upstream/trunk/ChangeLog
===================================================================
--- upstream/trunk/ChangeLog	2009-04-24 23:32:52 UTC (rev 2797)
+++ upstream/trunk/ChangeLog	2009-04-24 23:33:47 UTC (rev 2798)
@@ -1,5 +1,9 @@
 2009-04-25  Nicolas François  <nicolas.francois at centraliens.net>
 
+	* lib/commonio.h: Added splint annotations.
+
+2009-04-25  Nicolas François  <nicolas.francois at centraliens.net>
+
 	* lib/sgroupio.c: Free allocated structures on failure.
 	* lib/sgroupio.c: Added splint annotations.
 

Modified: upstream/trunk/lib/commonio.h
===================================================================
--- upstream/trunk/lib/commonio.h	2009-04-24 23:32:52 UTC (rev 2797)
+++ upstream/trunk/lib/commonio.h	2009-04-24 23:33:47 UTC (rev 2798)
@@ -112,7 +112,7 @@
 	/*
 	 * Operations from above.
 	 */
-	struct commonio_ops *ops;
+	/*@observer@*/const struct commonio_ops *ops;
 
 	/*
 	 * Currently open file stream.
@@ -120,12 +120,12 @@
 	/*@null@*/FILE *fp;
 
 #ifdef WITH_SELINUX
-	security_context_t scontext;
+	/*@null@*/security_context_t scontext;
 #endif
 	/*
 	 * Head, tail, current position in linked list.
 	 */
-	/*@null@*/struct commonio_entry *head, *tail, *cursor;
+	/*@owned@*/ /*@null@*/struct commonio_entry *head, *tail, *cursor;
 
 	/*
 	 * Various flags.