Updated splint annotations.

This commit is contained in:
nekral-guest
2009-04-25 13:13:50 +00:00
parent 4c1d96e8e0
commit 3a37388d43
2 changed files with 4 additions and 3 deletions

View File

@ -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;
};