* src/usermod.c: Add annotations to indicate that fail_exit() does

not return.
	* src/usermod.c: Fix typo in notreached annotation.
This commit is contained in:
nekral-guest 2011-07-30 01:41:03 +00:00
parent 019048c555
commit 00d1ab6454
2 changed files with 9 additions and 3 deletions

View File

@ -1,3 +1,9 @@
2011-07-30 Nicolas François <nicolas.francois@centraliens.net>
* src/usermod.c: Add annotations to indicate that fail_exit() does
not return.
* src/usermod.c: Fix typo in notreached annotation.
2011-07-30 Nicolas François <nicolas.francois@centraliens.net> 2011-07-30 Nicolas François <nicolas.francois@centraliens.net>
* libmisc/find_new_uid.c: free (used_uids) on return. * libmisc/find_new_uid.c: free (used_uids) on return.

View File

@ -159,7 +159,7 @@ static void selinux_update_mapping (void);
#endif #endif
static void new_spent (struct spwd *); static void new_spent (struct spwd *);
static void fail_exit (int); static /*@noreturn@*/void fail_exit (int);
static void update_group (void); static void update_group (void);
#ifdef SHADOWGRP #ifdef SHADOWGRP
@ -557,7 +557,7 @@ static void new_spent (struct spwd *spent)
/* /*
* fail_exit - exit with an error code after unlocking files * fail_exit - exit with an error code after unlocking files
*/ */
static void fail_exit (int code) static /*@noreturn@*/void fail_exit (int code)
{ {
if (gr_locked) { if (gr_locked) {
if (gr_unlock () == 0) { if (gr_unlock () == 0) {
@ -967,7 +967,7 @@ static void process_flags (int argc, char **argv)
break; break;
case 'h': case 'h':
usage (E_SUCCESS); usage (E_SUCCESS);
/* @notreached@ */break; /*@notreached@*/break;
case 'l': case 'l':
if (!is_valid_user_name (optarg)) { if (!is_valid_user_name (optarg)) {
fprintf (stderr, fprintf (stderr,