};
/* display usage message and terminate */
-static void help(void) {
+static void attribute((noreturn)) help(void) {
xprintf("Usage:\n"
" disorder [OPTIONS] COMMAND ...\n"
"Options:\n"
{ 0, 0, 0, 0 }
};
-static void help_setup_guest(void) {
+static void attribute((noreturn)) help_setup_guest(void) {
xprintf("Usage:\n"
" disorder setup-guest [OPTIONS]\n"
"Options:\n"
"Display the server version" },
};
-static void help_commands(void) {
+static void attribute((noreturn)) help_commands(void) {
unsigned n, max = 0, l;
xprintf("Command summary:\n");