* src/lastlog.c: Add annotations to indicate that usage() does not

return.
This commit is contained in:
nekral-guest
2011-07-23 08:10:27 +00:00
parent 495125415b
commit 2be8650d2c
2 changed files with 8 additions and 3 deletions

View File

@@ -1,3 +1,8 @@
2011-07-23 Nicolas François <nicolas.francois@centraliens.net>
* src/lastlog.c: Add annotations to indicate that usage() does not
return.
2011-07-23 Nicolas François <nicolas.francois@centraliens.net> 2011-07-23 Nicolas François <nicolas.francois@centraliens.net>
* src/faillog.c: Add annotations to indicate that usage() does not * src/faillog.c: Add annotations to indicate that usage() does not

View File

@@ -71,7 +71,7 @@ static bool bflg = false; /* print excludes most recent days */
#define NOW (time ((time_t *) 0)) #define NOW (time ((time_t *) 0))
static void usage (int status) static /*@noreturn@*/void usage (int status)
{ {
fputs (_("Usage: lastlog [options]\n" fputs (_("Usage: lastlog [options]\n"
"\n" "\n"
@@ -208,7 +208,7 @@ int main (int argc, char **argv)
switch (c) { switch (c) {
case 'h': case 'h':
usage (EXIT_SUCCESS); usage (EXIT_SUCCESS);
break; /*@notreached@*/break;
case 't': case 't':
{ {
unsigned long days; unsigned long days;
@@ -267,7 +267,7 @@ int main (int argc, char **argv)
} }
default: default:
usage (EXIT_FAILURE); usage (EXIT_FAILURE);
break; /*@notreached@*/break;
} }
} }
if (argc > optind) { if (argc > optind) {