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

2009-04-25 12:43:27 +00:00
parent f9bd143012
commit 4c1d96e8e0
3 changed files with 21 additions and 10 deletions
--- a/lib/commonio.h
+++ b/lib/commonio.h
@@ -117,7 +117,7 @@ struct commonio_db {
 	/*
 	 * Currently open file stream.
 	 */
-	/*@null@*/FILE *fp;
+	/*@dependent@*/ /*@null@*/FILE *fp;

 #ifdef WITH_SELINUX
 	/*@null@*/security_context_t scontext;