emo/shadow
1
0
Fork 0
Code Issues Pull Requests Packages Releases Activity

Updated splint annotations.

Browse Source
This commit is contained in:
nekral-guest 2009-04-25 14:16:22 +00:00
parent 71f7f777ec
commit 06d5369fdb
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/commonio.c
View File

@ -69,7 +69,7 @@ static /*@dependent@*/ /*@null@*/struct commonio_entry *find_entry_by_name (
const char *); const char *);
static /*@dependent@*/ /*@null@*/struct commonio_entry *next_entry_by_name ( static /*@dependent@*/ /*@null@*/struct commonio_entry *next_entry_by_name (
struct commonio_db *, struct commonio_db *,
struct commonio_entry *pos, /*@null@*/struct commonio_entry *pos,
const char *); const char *);
static int lock_count = 0; static int lock_count = 0;
@ -514,7 +514,8 @@ int commonio_open (struct commonio_db *db, int mode)
return 0; return 0;
} }
db->head = db->tail = db->cursor = NULL; db->head = db->tail = NULL;
db->cursor = NULL;
db->changed = false; db->changed = false;
db->fp = fopen (db->filename, db->readonly ? "r" : "r+"); db->fp = fopen (db->filename, db->readonly ? "r" : "r+");

3
lib/commonio.h
View File

@ -126,7 +126,8 @@ struct commonio_db {
/* /*
* Head, tail, current position in linked list. * 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. * Various flags.