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

* lib/commonio.h: Added splint annotations.

Browse Source
This commit is contained in:
nekral-guest
2009-04-24 23:33:47 +00:00
parent 566fbac1ef
commit 1353c71054
2 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/commonio.h
View File

@ -112,7 +112,7 @@ struct commonio_db {
/*
* Operations from above.
*/
struct commonio_ops *ops;
/*@observer@*/const struct commonio_ops *ops;
/*
* Currently open file stream.
@ -120,12 +120,12 @@ struct commonio_db {
/*@null@*/FILE *fp;
#ifdef WITH_SELINUX
security_context_t scontext;
/*@null@*/security_context_t scontext;
#endif
/*
* Head, tail, current position in linked list.
*/
/*@null@*/struct commonio_entry *head, *tail, *cursor;
/*@owned@*/ /*@null@*/struct commonio_entry *head, *tail, *cursor;
/*
* Various flags.