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

* lib/commonio.c, lib/commonio.h, lib/groupio.c, lib/groupio.h,

Browse Source 
lib/pwio.c, lib/pwio.h, lib/shadowio.c, lib/shadowio.h: Added
	splint annotations. The *_locate() and *_next() functions
	currently return an observer. As the structure are often modified
	by the caller, it could maybe be changed to exposed later. (and
	non-const).
This commit is contained in:
nekral-guest
2009-04-23 21:19:02 +00:00
parent d0d01ffb00
commit 6e357e14fc
9 changed files with 30 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/commonio.c
View File

@ -2,7 +2,7 @@
* Copyright (c) 1990 - 1994, Julianne Frances Haugh
* Copyright (c) 1996 - 2001, Marek Michałkiewicz
* Copyright (c) 2001 - 2006, Tomasz Kłoczko
* Copyright (c) 2007 - 2008, Nicolas François
* Copyright (c) 2007 - 2009, Nicolas François
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
@ -1025,7 +1025,7 @@ int commonio_remove (struct commonio_db *db, const char *name)
*
* Otherwise, it returns NULL.
*/
/*@null@*/const void *commonio_locate (struct commonio_db *db, const char *name)
/*@observer@*/ /*@null@*/const void *commonio_locate (struct commonio_db *db, const char *name)
{
struct commonio_entry *p;
@ -1062,7 +1062,7 @@ int commonio_rewind (struct commonio_db *db)
*
* It returns the next entry, or NULL if no other entries could be found.
*/
/*@null@*/const void *commonio_next (struct commonio_db *db)
/*@observer@*/ /*@null@*/const void *commonio_next (struct commonio_db *db)
{
void *eptr;