1 files changed, 2 insertions, 1 deletions
diff --git a/cpu-all.h b/cpu-all.h
index 289d660f14..54d5dc36ae 100644
--- a/cpu-all.h
+++ b/cpu-all.h
@@ -702,7 +702,8 @@ void cpu_dump_statistics (CPUState *env, FILE *f,
                           int flags);
 
 void cpu_abort(CPUState *env, const char *fmt, ...)
-    __attribute__ ((__format__ (__printf__, 2, 3)));
+    __attribute__ ((__format__ (__printf__, 2, 3)))
+    __attribute__ ((__noreturn__));
 extern CPUState *first_cpu;
 extern CPUState *cpu_single_env;
 extern int code_copy_enabled;