From 9aac39bebc6fbb1f7442e9efadf88e2bfcd13a01 Mon Sep 17 00:00:00 2001 From: Rangi Date: Tue, 15 Mar 2022 17:35:35 -0400 Subject: [PATCH] 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 ac72cd3ad..4e433fd33 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); }