From 570d83b73c770547e15a9c63d35588b09cc23f1f Mon Sep 17 00:00:00 2001 From: Rangi Date: Tue, 15 Mar 2022 17:35:30 -0400 Subject: Use noreturn for usage_exit --- tools/common.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/common.h b/tools/common.h index 38b7cc6d..f04e917b 100644 --- a/tools/common.h +++ b/tools/common.h @@ -21,7 +21,7 @@ #define error_exit(...) exit((fprintf(stderr, PROGRAM_NAME ": " __VA_ARGS__), 1)) -void usage_exit(int status) { +noreturn void usage_exit(int status) { fprintf(stderr, "Usage: " PROGRAM_NAME " " USAGE_OPTS "\n"); exit(status); } -- cgit v1.2.3