* 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.
This commit is contained in:
nekral-guest 2009-04-23 17:33:21 +00:00
parent 0b1397b33b
commit 61ebff6d97
3 changed files with 15 additions and 5 deletions

View File

@ -1,3 +1,13 @@
2009-04-22 Nicolas François <nicolas.francois@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@centraliens.net> 2009-04-22 Nicolas François <nicolas.francois@centraliens.net>
* lib/fputsx.c, lib/gshadow.c, lib/commonio.h: Added splint * lib/fputsx.c, lib/gshadow.c, lib/commonio.h: Added splint

View File

@ -2,7 +2,7 @@
* Copyright (c) 1989 - 1994, Julianne Frances Haugh * Copyright (c) 1989 - 1994, Julianne Frances Haugh
* Copyright (c) 1996 - 1998, Marek Michałkiewicz * Copyright (c) 1996 - 1998, Marek Michałkiewicz
* Copyright (c) 2001 - 2006, Tomasz Kłoczko * Copyright (c) 2001 - 2006, Tomasz Kłoczko
* Copyright (c) 2008 , Nicolas François * Copyright (c) 2008 - 2009, Nicolas François
* All rights reserved. * All rights reserved.
* *
* Redistribution and use in source and binary forms, with or without * 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 * expire() calls /bin/passwd to change the user's password
* if it has expired. * 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; int status;
pid_t child; pid_t child;

View File

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