From 44869516d3a4e94794df4b126684074d0e287182 Mon Sep 17 00:00:00 2001 From: nekral-guest Date: Sat, 25 Apr 2009 15:18:49 +0000 Subject: [PATCH] Updated splint annotations. --- lib/commonio.c | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) diff --git a/lib/commonio.c b/lib/commonio.c index 1ea0fafa..d768eebb 100644 --- a/lib/commonio.c +++ b/lib/commonio.c @@ -61,7 +61,10 @@ 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 *, /*@owned@*/struct commonio_entry *); +static void add_one_entry ( + struct commonio_db *db, + /*@owned@*/struct commonio_entry *p) + /*@requires isnull p->next, p->prev@*/; static bool name_is_nis (const char *name); static int write_all (const struct commonio_db *); static /*@dependent@*/ /*@null@*/struct commonio_entry *find_entry_by_name ( @@ -428,7 +431,9 @@ int commonio_unlock (struct commonio_db *db) } -static void add_one_entry (struct commonio_db *db, /*@owned@*/struct commonio_entry *p) +static void add_one_entry (struct commonio_db *db, + /*@owned@*/struct commonio_entry *p) + /*@requires isnull p->next, p->prev@*/ { p->next = NULL; p->prev = db->tail; @@ -457,13 +462,16 @@ static bool name_is_nis (const char *name) #endif #if KEEP_NIS_AT_END -static void add_one_entry_nis (struct commonio_db *, struct commonio_entry *); +static void add_one_entry_nis (struct commonio_db *db, + /*@owned@*/struct commonio_entry *newp) + /*@requires isnull newp->next, newp->prev@*/; /* * Insert an entry between the regular entries, and the NIS entries. */ -static void -add_one_entry_nis (struct commonio_db *db, struct commonio_entry *newp) +static void add_one_entry_nis (struct commonio_db *db, + /*@owned@*/struct commonio_entry *newp) + /*@requires isnull newp->next, newp->prev@*/ { struct commonio_entry *p;