* libmisc/utmp.c: Added splint annotations.

diff --git a/ChangeLog b/ChangeLog
index 9547816a075b2e06f7122043a73a17912ca82e9e..82fe4e6d6a5aefc15055da054b8faabd2a1a7530 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2009-04-22  Nicolas François  <nicolas.francois@centraliens.net>
+
+       * libmisc/utmp.c: Added splint annotations.
+
 2009-04-22  Nicolas François  <nicolas.francois@centraliens.net>
 
        * libmisc/utmp.c: Only set ut_time and ut_tv if gettimeofday()

diff --git a/libmisc/utmp.c b/libmisc/utmp.c
index 2c98982798da8e9830cc34daeadf3d3cb5ad852f..4aa9ed17ef3aefae78f69278a4ae314ff15f70f9 100644 (file)
--- a/libmisc/utmp.c
+++ b/libmisc/utmp.c
@@ -98,7 +98,7 @@ static bool is_my_tty (const char *tty)
  *
  *     Return NULL if no entries exist in utmp for the current process.
  */
-struct utmp *get_current_utmp (void)
+/*@null@*//*@only@*/struct utmp *get_current_utmp (void)
 {
        struct utmp *ut;
        struct utmp *ret = NULL;
@@ -183,10 +183,10 @@ static void updwtmpx (const char *filename, const struct utmpx *utx)
  *
  *     The returned structure shall be freed by the caller.
  */
-struct utmp *prepare_utmp (const char *name,
+/*@only@*/struct utmp *prepare_utmp (const char *name,
                            const char *line,
                            const char *host,
-                           struct utmp *ut)
+                           /*@null@*/const struct utmp *ut)
 {
        struct timeval tv;
        char *hostname = NULL;
@@ -326,10 +326,10 @@ int setutmp (struct utmp *ut)
 /*
  * prepare_utmpx - the UTMPX version for prepare_utmp
  */
-struct utmpx *prepare_utmpx (const char *name,
+/*@only@*/struct utmpx *prepare_utmpx (const char *name,
                              const char *line,
                              const char *host,
-                             struct utmp *ut)
+                             /*@null@*/const struct utmp *ut)
 {
        struct timeval tv;
        char *hostname = NULL;