Updated splint annotations.

This commit is contained in:
nekral-guest 2009-04-25 15:18:49 +00:00
parent 06d5369fdb
commit 44869516d3

View File

@ -61,7 +61,10 @@ static /*@null@*/ /*@dependent@*/FILE *fopen_set_perms (
const struct stat *sb); const struct stat *sb);
static int create_backup (const char *, FILE *); static int create_backup (const char *, FILE *);
static void free_linked_list (struct commonio_db *); 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 bool name_is_nis (const char *name);
static int write_all (const struct commonio_db *); static int write_all (const struct commonio_db *);
static /*@dependent@*/ /*@null@*/struct commonio_entry *find_entry_by_name ( 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->next = NULL;
p->prev = db->tail; p->prev = db->tail;
@ -457,13 +462,16 @@ static bool name_is_nis (const char *name)
#endif #endif
#if KEEP_NIS_AT_END #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. * Insert an entry between the regular entries, and the NIS entries.
*/ */
static void static void add_one_entry_nis (struct commonio_db *db,
add_one_entry_nis (struct commonio_db *db, struct commonio_entry *newp) /*@owned@*/struct commonio_entry *newp)
/*@requires isnull newp->next, newp->prev@*/
{ {
struct commonio_entry *p; struct commonio_entry *p;