[Pkg-shadow-commits] r2804 - upstream/trunk/lib

Nicolas FRANÇOIS nekral-guest at alioth.debian.org
Sat Apr 25 13:13:50 UTC 2009


Author: nekral-guest
Date: 2009-04-25 13:13:50 +0000 (Sat, 25 Apr 2009)
New Revision: 2804

Modified:
   upstream/trunk/lib/commonio.c
   upstream/trunk/lib/commonio.h
Log:
Updated splint annotations.


Modified: upstream/trunk/lib/commonio.c
===================================================================
--- upstream/trunk/lib/commonio.c	2009-04-25 12:43:27 UTC (rev 2803)
+++ upstream/trunk/lib/commonio.c	2009-04-25 13:13:50 UTC (rev 2804)
@@ -61,7 +61,7 @@
 	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 *, struct commonio_entry *);
+static void add_one_entry (struct commonio_db *, /*@owned@*/struct commonio_entry *);
 static bool name_is_nis (const char *name);
 static int write_all (const struct commonio_db *);
 static struct commonio_entry *find_entry_by_name (struct commonio_db *,
@@ -426,7 +426,7 @@
 }
 
 
-static void add_one_entry (struct commonio_db *db, struct commonio_entry *p)
+static void add_one_entry (struct commonio_db *db, /*@owned@*/struct commonio_entry *p)
 {
 	p->next = NULL;
 	p->prev = db->tail;

Modified: upstream/trunk/lib/commonio.h
===================================================================
--- upstream/trunk/lib/commonio.h	2009-04-25 12:43:27 UTC (rev 2803)
+++ upstream/trunk/lib/commonio.h	2009-04-25 13:13:50 UTC (rev 2804)
@@ -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;
 };
 




More information about the Pkg-shadow-commits mailing list