Updated splint annotations.

diff --git a/lib/commonio.c b/lib/commonio.c
index dfd6e1e10688a9a68aacb4521d990e8d13094743..d99661264b3d4c7a19c0f8e92bdbfeffe7c172a8 100644 (file)
--- a/lib/commonio.c
+++ b/lib/commonio.c
@@ -61,7 +61,7 @@ static /*@null@*/ /*@dependent@*/FILE *fopen_set_perms (
        const struct stat *sb);
 static int create_backup (const char *, FILE *);
 static void free_linked_list (struct commonio_db *);
-static void add_one_entry (struct commonio_db *, struct commonio_entry *);
+static void add_one_entry (struct commonio_db *, /*@owned@*/struct commonio_entry *);
 static bool name_is_nis (const char *name);
 static int write_all (const struct commonio_db *);
 static struct commonio_entry *find_entry_by_name (struct commonio_db *,
@@ -426,7 +426,7 @@ int commonio_unlock (struct commonio_db *db)
 }
 
 
-static void add_one_entry (struct commonio_db *db, struct commonio_entry *p)
+static void add_one_entry (struct commonio_db *db, /*@owned@*/struct commonio_entry *p)
 {
        p->next = NULL;
        p->prev = db->tail;

diff --git a/lib/commonio.h b/lib/commonio.h
index 210f803f14a27461a7b3558434eb294a57846137..0b9c80614f75a7ad8a05c4ae93956d8d7e6c0bb1 100644 (file)
--- a/lib/commonio.h
+++ b/lib/commonio.h
@@ -46,7 +46,8 @@
 struct commonio_entry {
        /*@null@*/char *line;
        /*@null@*/void *eptr;           /* struct passwd, struct spwd, ... */
-       /*@null@*/struct commonio_entry *prev, *next;
+       /*@dependent@*/ /*@null@*/struct commonio_entry *prev;
+       /*@owned@*/ /*@null@*/struct commonio_entry *next;
        bool changed:1;
 };