* libmisc/getgr_nam_gid.c, lib/get_gid.c, lib/get_pid.c,

	lib/get_uid.c: Added splint annotations.

diff --git a/ChangeLog b/ChangeLog
index 0b475c7d419d1a1c9fbeadbdd1442b0958fe3548..f76d16d72ced0fddab27e19b2d1da0572e77936e 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-04-30  Nicolas François  <nicolas.francois@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@centraliens.net>
 
        * lib/exitcodes.h: Define E_SUCCESS as EXIT_SUCCESS. Added FIXMEs.

diff --git a/lib/get_gid.c b/lib/get_gid.c
index d13b95ad1f1f737b0bbc132e8b13596eb451957c..6fb31ffe32e7b47a63d496df4d0ba31087feaa26 100644 (file)
--- a/lib/get_gid.c
+++ b/lib/get_gid.c
@@ -44,7 +44,7 @@ int get_gid (const char *gidstr, gid_t *gid)
        if (   ('\0' == *gidstr)
            || ('\0' != *endptr)
            || (ERANGE == errno)
-           || (val != (gid_t)val)) {
+           || (/*@+longintegral@*/val != (gid_t)val)/*@=longintegral@*/) {
                return 0;
        }
 

diff --git a/lib/get_pid.c b/lib/get_pid.c
index 0918421dec53c3481d4fc6a32701bd1d2fcd7b4f..e2b47ce51e31cfacf7e8583aa419aa8977893010 100644 (file)
--- a/lib/get_pid.c
+++ b/lib/get_pid.c
@@ -44,7 +44,7 @@ int get_pid (const char *pidstr, pid_t *pid)
        if (   ('\0' == *pidstr)
            || ('\0' != *endptr)
            || (ERANGE == errno)
-           || (val != (pid_t)val)) {
+           || (/*@+longintegral@*/val != (pid_t)val)/*@=longintegral@*/) {
                return 0;
        }
 

diff --git a/lib/get_uid.c b/lib/get_uid.c
index dd90bad34b1df6ed89111ac60b04e9f01df07ac0..ac0f2df3e79fb8e297ab7b36e5a3ac8a9c75f377 100644 (file)
--- a/lib/get_uid.c
+++ b/lib/get_uid.c
@@ -44,7 +44,7 @@ int get_uid (const char *uidstr, uid_t *uid)
        if (   ('\0' == *uidstr)
            || ('\0' != *endptr)
            || (ERANGE == errno)
-           || (val != (uid_t)val)) {
+           || (/*@+longintegral@*/val != (uid_t)val)/*@=longintegral@*/) {
                return 0;
        }
 

diff --git a/libmisc/getgr_nam_gid.c b/libmisc/getgr_nam_gid.c
index b0ca8c6ccf94e7ea9d26b0838292d94700829987..39e44193c29107bec91a1aa9035493442f329ba5 100644 (file)
--- a/libmisc/getgr_nam_gid.c
+++ b/libmisc/getgr_nam_gid.c
@@ -58,7 +58,7 @@ extern /*@null@*/struct group *getgr_nam_gid (const char *grname)
        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);