* src/su.c: Add annotations to indicate that su_failure() does

	not return.

diff --git a/ChangeLog b/ChangeLog
index 58a9382ac8b5430856ed4d75e0db09d14a72803f..0029c93bee834ecc1ca2754ac9fea3a2971e0734 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-08-14  Nicolas François  <nicolas.francois@centraliens.net>
+
+       * src/su.c: Add annotations to indicate that su_failure() does
+       not return.
+
 2011-07-30  Nicolas François  <nicolas.francois@centraliens.net>
 
        * lib/commonio.c: Display PID as unsigned long.

diff --git a/src/su.c b/src/su.c
index 84ac42b9251efaa5fed35b94dfe13cd83e31be7e..03ad6348929e0c4cb32d17f0e8edb1e64342bbb2 100644 (file)
--- a/src/su.c
+++ b/src/su.c
@@ -131,7 +131,7 @@ static RETSIGTYPE die (int);
 static bool iswheel (const char *);
 #endif                         /* !USE_PAM */
 static bool restricted_shell (const char *shellname);
-static void su_failure (const char *tty, bool su_to_root);
+static /*@noreturn@*/void su_failure (const char *tty, bool su_to_root);
 static struct passwd * check_perms (void);
 #ifdef USE_PAM
 static void check_perms_pam (struct passwd *pw);
@@ -207,7 +207,7 @@ static bool restricted_shell (const char *shellname)
        return true;
 }
 
-static void su_failure (const char *tty, bool su_to_root)
+static /*@noreturn@*/void su_failure (const char *tty, bool su_to_root)
 {
        sulog (tty, false, caller_name, name);  /* log failed attempt */
 #ifdef USE_SYSLOG