From 06d5369fdbc67e7d54a0c8effc0a46395508d307 Mon Sep 17 00:00:00 2001 From: nekral-guest Date: Sat, 25 Apr 2009 14:16:22 +0000 Subject: [PATCH] Updated splint annotations. --- lib/commonio.c | 5 +++-- lib/commonio.h | 3 ++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/lib/commonio.c b/lib/commonio.c index bedf4705..1ea0fafa 100644 --- 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 0b9c8061..d320ca15 100644 --- 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. -- 2.40.0