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

[Nicolas FRANÇOIS]

Author: nekral-guest
Date: 2009-04-23 17:33:21 +0000 (Thu, 23 Apr 2009)
New Revision: 2775

Modified:
   upstream/trunk/ChangeLog
   upstream/trunk/libmisc/age.c
   upstream/trunk/libmisc/env.c
Log:
	* libmisc/env.c, libmisc/age.c: Added splint annotations.
	* libmisc/age.c: Added brackets and parenthesis.
	* libmisc/age.c: Ignore the return value of fclose (file opened
	read-only)
	* libmisc/age.c: Ignore puts() return value.
	* libmisc/age.c: Use exit(EXIT_FAILURE) instead of exit(1).
	* libmisc/age.c: Avoid assignments in comparisons.


Modified: upstream/trunk/ChangeLog
===================================================================
--- upstream/trunk/ChangeLog	2009-04-23 11:54:30 UTC (rev 2774)
+++ upstream/trunk/ChangeLog	2009-04-23 17:33:21 UTC (rev 2775)
@@ -1,5 +1,15 @@
 2009-04-22  Nicolas François  <nicolas.francois at centraliens.net>
 
+	* libmisc/env.c, libmisc/age.c: Added splint annotations.
+	* libmisc/age.c: Added brackets and parenthesis.
+	* libmisc/age.c: Ignore the return value of fclose (file opened
+	read-only)
+	* libmisc/age.c: Ignore puts() return value.
+	* libmisc/age.c: Use exit(EXIT_FAILURE) instead of exit(1).
+	* libmisc/age.c: Avoid assignments in comparisons.
+
+2009-04-22  Nicolas François  <nicolas.francois at centraliens.net>
+
 	* lib/fputsx.c, lib/gshadow.c, lib/commonio.h: Added splint
 	annotations.
 

Modified: upstream/trunk/libmisc/age.c
===================================================================
--- upstream/trunk/libmisc/age.c	2009-04-23 11:54:30 UTC (rev 2774)
+++ upstream/trunk/libmisc/age.c	2009-04-23 17:33:21 UTC (rev 2775)
@@ -2,7 +2,7 @@
  * Copyright (c) 1989 - 1994, Julianne Frances Haugh
  * Copyright (c) 1996 - 1998, Marek Michałkiewicz
  * Copyright (c) 2001 - 2006, Tomasz Kłoczko
- * Copyright (c) 2008       , Nicolas François
+ * Copyright (c) 2008 - 2009, Nicolas François
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -53,7 +53,7 @@
  *	expire() calls /bin/passwd to change the user's password
  *	if it has expired.
  */
-int expire (const struct passwd *pw, const struct spwd *sp)
+int expire (const struct passwd *pw, /*@null@*/const struct spwd *sp)
 {
 	int status;
 	pid_t child;

Modified: upstream/trunk/libmisc/env.c
===================================================================
--- upstream/trunk/libmisc/env.c	2009-04-23 11:54:30 UTC (rev 2774)
+++ upstream/trunk/libmisc/env.c	2009-04-23 17:33:21 UTC (rev 2775)
@@ -2,7 +2,7 @@
  * Copyright (c) 1989 - 1992, Julianne Frances Haugh
  * Copyright (c) 1996 - 1999, Marek Michałkiewicz
  * Copyright (c) 2003 - 2005, Tomasz Kłoczko
- * Copyright (c) 2008       , Nicolas François
+ * Copyright (c) 2008 - 2009, Nicolas François
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -46,7 +46,7 @@
  */
 #define NEWENVP_STEP 16
 size_t newenvc = 0;
-char **newenvp = NULL;
+/*@null@*/char **newenvp = NULL;
 extern char **environ;
 
 static const char *forbid[] = {
@@ -85,7 +85,7 @@
 }
 
 
-void addenv (const char *string, const char *value)
+void addenv (const char *string, /*@null@*/const char *value)
 {
 	char *cp, *newstring;
 	size_t i;