diff --git a/include/haproxy/global.h b/include/haproxy/global.h
index 1028c1b2a..339214c4a 100644
--- a/include/haproxy/global.h
+++ b/include/haproxy/global.h
@@ -61,7 +61,7 @@ struct proxy;
 struct server;
 int main(int argc, char **argv);
 void deinit(void);
-void deinit_and_exit(int);
+__attribute__((noreturn)) void deinit_and_exit(int);
 void run_poll_loop(void);
 int tell_old_pids(int sig);
 int delete_oldpid(int pid);
diff --git a/src/haproxy.c b/src/haproxy.c
index 245ac3b60..6a8c13e6d 100644
--- a/src/haproxy.c
+++ b/src/haproxy.c
@@ -2866,7 +2866,7 @@ void deinit(void)
 	deinit_pollers();
 } /* end deinit() */
 
-void deinit_and_exit(int status)
+__attribute__((noreturn)) void deinit_and_exit(int status)
 {
 	deinit();
 	exit(status);