[Pkg-shadow-commits] r2850 - in upstream/trunk: . lib libmisc

[Nicolas FRANÇOIS]

Author: nekral-guest
Date: 2009-04-30 21:12:33 +0000 (Thu, 30 Apr 2009)
New Revision: 2850

Modified:
   upstream/trunk/ChangeLog
   upstream/trunk/lib/get_gid.c
   upstream/trunk/lib/get_pid.c
   upstream/trunk/lib/get_uid.c
   upstream/trunk/libmisc/getgr_nam_gid.c
Log:
	* libmisc/getgr_nam_gid.c, lib/get_gid.c, lib/get_pid.c,
	lib/get_uid.c: Added splint annotations.


Modified: upstream/trunk/ChangeLog
===================================================================
--- upstream/trunk/ChangeLog	2009-04-30 21:08:49 UTC (rev 2849)
+++ upstream/trunk/ChangeLog	2009-04-30 21:12:33 UTC (rev 2850)
@@ -1,5 +1,10 @@
 2009-04-30  Nicolas François  <nicolas.francois at centraliens.net>
 
+	* libmisc/getgr_nam_gid.c, lib/get_gid.c, lib/get_pid.c,
+	lib/get_uid.c: Added splint annotations.
+
+2009-04-30  Nicolas François  <nicolas.francois at centraliens.net>
+
 	* lib/exitcodes.h: Define E_SUCCESS as EXIT_SUCCESS. Added FIXMEs.
 	* libmisc/chowntty.c, libmisc/rlogin.c, libmisc/sub.c,
 	src/newusers.c, libmisc/sulog.c, libmisc/system.c, src/logoutd.c,

Modified: upstream/trunk/lib/get_gid.c
===================================================================
--- upstream/trunk/lib/get_gid.c	2009-04-30 21:08:49 UTC (rev 2849)
+++ upstream/trunk/lib/get_gid.c	2009-04-30 21:12:33 UTC (rev 2850)
@@ -44,7 +44,7 @@
 	if (   ('\0' == *gidstr)
 	    || ('\0' != *endptr)
 	    || (ERANGE == errno)
-	    || (val != (gid_t)val)) {
+	    || (/*@+longintegral@*/val != (gid_t)val)/*@=longintegral@*/) {
 		return 0;
 	}
 

Modified: upstream/trunk/lib/get_pid.c
===================================================================
--- upstream/trunk/lib/get_pid.c	2009-04-30 21:08:49 UTC (rev 2849)
+++ upstream/trunk/lib/get_pid.c	2009-04-30 21:12:33 UTC (rev 2850)
@@ -44,7 +44,7 @@
 	if (   ('\0' == *pidstr)
 	    || ('\0' != *endptr)
 	    || (ERANGE == errno)
-	    || (val != (pid_t)val)) {
+	    || (/*@+longintegral@*/val != (pid_t)val)/*@=longintegral@*/) {
 		return 0;
 	}
 

Modified: upstream/trunk/lib/get_uid.c
===================================================================
--- upstream/trunk/lib/get_uid.c	2009-04-30 21:08:49 UTC (rev 2849)
+++ upstream/trunk/lib/get_uid.c	2009-04-30 21:12:33 UTC (rev 2850)
@@ -44,7 +44,7 @@
 	if (   ('\0' == *uidstr)
 	    || ('\0' != *endptr)
 	    || (ERANGE == errno)
-	    || (val != (uid_t)val)) {
+	    || (/*@+longintegral@*/val != (uid_t)val)/*@=longintegral@*/) {
 		return 0;
 	}
 

Modified: upstream/trunk/libmisc/getgr_nam_gid.c
===================================================================
--- upstream/trunk/libmisc/getgr_nam_gid.c	2009-04-30 21:08:49 UTC (rev 2849)
+++ upstream/trunk/libmisc/getgr_nam_gid.c	2009-04-30 21:12:33 UTC (rev 2850)
@@ -58,7 +58,7 @@
 	if (   ('\0' != *grname)
 	    && ('\0' == *endptr)
 	    && (ERANGE != errno)
-	    && (gid == (gid_t)gid)) {
+	    && (/*@+longintegral@*/gid == (gid_t)gid)/*@=longintegral@*/) {
 		return xgetgrgid ((gid_t) gid);
 	}
 	return xgetgrnam (grname);