changeset 11526:8f0eef1c6f17 HEAD

doveadm: Marked help() with noreturn attribute.
author Timo Sirainen <tss@iki.fi>
date Sat, 12 Jun 2010 00:23:43 +0100
parents 93c3d6a46446
children e3881b95a93d
files src/doveadm/doveadm.c src/doveadm/doveadm.h
diffstat 2 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/doveadm/doveadm.c	Fri Jun 11 22:45:09 2010 +0100
+++ b/src/doveadm/doveadm.c	Sat Jun 12 00:23:43 2010 +0100
@@ -106,7 +106,8 @@
 	usage_to(stderr, "");
 }
 
-static void help_to(const struct doveadm_cmd *cmd, FILE *out)
+static void ATTR_NORETURN
+help_to(const struct doveadm_cmd *cmd, FILE *out)
 {
 	fprintf(out, "doveadm %s %s\n", cmd->name, cmd->short_usage);
 	if (cmd->long_usage != NULL)
--- a/src/doveadm/doveadm.h	Fri Jun 11 22:45:09 2010 +0100
+++ b/src/doveadm/doveadm.h	Sat Jun 12 00:23:43 2010 +0100
@@ -30,7 +30,7 @@
 void doveadm_register_cmd(const struct doveadm_cmd *cmd);
 
 void usage(void) ATTR_NORETURN;
-void help(const struct doveadm_cmd *cmd);
+void help(const struct doveadm_cmd *cmd) ATTR_NORETURN;
 
 const char *unixdate2str(time_t timestamp);
 const char *doveadm_plugin_getenv(const char *name);