Updated splint annotations.

diff --git a/lib/commonio.c b/lib/commonio.c
index bedf470556dbc406627dea8a1938d7f2e28a2472..1ea0fafa218bc4eeb4d71f37a8ba33fcade4fb69 100644 (file)
--- a/lib/commonio.c
+++ b/lib/commonio.c
@@ -69,7 +69,7 @@ static /*@dependent@*/ /*@null@*/struct commonio_entry *find_entry_by_name (
        const char *);
 static /*@dependent@*/ /*@null@*/struct commonio_entry *next_entry_by_name (
        struct commonio_db *,
-       struct commonio_entry *pos,
+       /*@null@*/struct commonio_entry *pos,
        const char *);
 
 static int lock_count = 0;
@@ -514,7 +514,8 @@ int commonio_open (struct commonio_db *db, int mode)
                return 0;
        }
 
-       db->head = db->tail = db->cursor = NULL;
+       db->head = db->tail = NULL;
+       db->cursor = NULL;
        db->changed = false;
 
        db->fp = fopen (db->filename, db->readonly ? "r" : "r+");

diff --git a/lib/commonio.h b/lib/commonio.h
index 0b9c80614f75a7ad8a05c4ae93956d8d7e6c0bb1..d320ca15b6bd2ed258d4f69b05966e196da0ec31 100644 (file)
--- a/lib/commonio.h
+++ b/lib/commonio.h
@@ -126,7 +126,8 @@ struct commonio_db {
        /*
         * Head, tail, current position in linked list.
         */
-       /*@owned@*/ /*@null@*/struct commonio_entry *head, *tail, *cursor;
+       /*@owned@*/ /*@null@*/struct commonio_entry *head, *tail;
+       /*@dependent@*/ /*@null@*/struct commonio_entry *cursor;
 
        /*
         * Various flags.