From 13a3d2472961902e809bb90fc5adc6b7696f7db5 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Mon, 16 Dec 2013 23:55:18 +0100 Subject: Mark functions that don't return with attribute noreturn --- kern/eventcount.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kern/eventcount.c') diff --git a/kern/eventcount.c b/kern/eventcount.c index 1bc9968d..22c49327 100644 --- a/kern/eventcount.c +++ b/kern/eventcount.c @@ -123,7 +123,7 @@ void evc_notify_abort(const thread_t thread) * Just so that we return success, and give * up the stack while blocked */ -static void +static void __attribute__((noreturn)) evc_continue(void) { thread_syscall_return(KERN_SUCCESS); -- cgit v1.2.3