[Pkg-shadow-commits] r2807 - upstream/trunk/lib
Nicolas FRANÇOIS
nekral-guest at alioth.debian.org
Sat Apr 25 15:18:49 UTC 2009
Author: nekral-guest
Date: 2009-04-25 15:18:49 +0000 (Sat, 25 Apr 2009)
New Revision: 2807
Modified:
upstream/trunk/lib/commonio.c
Log:
Updated splint annotations.
Modified: upstream/trunk/lib/commonio.c
===================================================================
--- upstream/trunk/lib/commonio.c 2009-04-25 14:16:22 UTC (rev 2806)
+++ upstream/trunk/lib/commonio.c 2009-04-25 15:18:49 UTC (rev 2807)
@@ -61,7 +61,10 @@
const struct stat *sb);
static int create_backup (const char *, FILE *);
static void free_linked_list (struct commonio_db *);
-static void add_one_entry (struct commonio_db *, /*@owned@*/struct commonio_entry *);
+static void add_one_entry (
+ struct commonio_db *db,
+ /*@owned@*/struct commonio_entry *p)
+ /*@requires isnull p->next, p->prev@*/;
static bool name_is_nis (const char *name);
static int write_all (const struct commonio_db *);
static /*@dependent@*/ /*@null@*/struct commonio_entry *find_entry_by_name (
@@ -428,7 +431,9 @@
}
-static void add_one_entry (struct commonio_db *db, /*@owned@*/struct commonio_entry *p)
+static void add_one_entry (struct commonio_db *db,
+ /*@owned@*/struct commonio_entry *p)
+ /*@requires isnull p->next, p->prev@*/
{
p->next = NULL;
p->prev = db->tail;
@@ -457,13 +462,16 @@
#endif
#if KEEP_NIS_AT_END
-static void add_one_entry_nis (struct commonio_db *, struct commonio_entry *);
+static void add_one_entry_nis (struct commonio_db *db,
+ /*@owned@*/struct commonio_entry *newp)
+ /*@requires isnull newp->next, newp->prev@*/;
/*
* Insert an entry between the regular entries, and the NIS entries.
*/
-static void
-add_one_entry_nis (struct commonio_db *db, struct commonio_entry *newp)
+static void add_one_entry_nis (struct commonio_db *db,
+ /*@owned@*/struct commonio_entry *newp)
+ /*@requires isnull newp->next, newp->prev@*/
{
struct commonio_entry *p;
More information about the Pkg-shadow-commits
mailing list