From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 12 Jul 2011 08:06:07 +0000 (-0700)
Subject: c-stack: use _Noreturn
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=645581732c2d8066282b32d686edd67e18c52ee2;p=pspp

c-stack: use _Noreturn

* lib/c-stack.c (die, overflow_handler, segv_handler):
Use _Noreturn rather than __attribute__((noreturn)).
---

diff --git a/ChangeLog b/ChangeLog
index 5c7bc011cd..ae4504d3a9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2011-07-12  Paul Eggert  <eggert@cs.ucla.edu>
 
+	c-stack: use _Noreturn
+	* lib/c-stack.c (die, overflow_handler, segv_handler):
+	Use _Noreturn rather than __attribute__((noreturn)).
+
 	argmatch-tests, exclude_tests: use _Noreturn
 	* tests/test-argmatch.c, tests/test-exclude.c (_GL_ATTRIBUTE_NORETURN):
 	Remove.
diff --git a/lib/c-stack.c b/lib/c-stack.c
index e48b97c3b7..2f902af3a4 100644
--- a/lib/c-stack.c
+++ b/lib/c-stack.c
@@ -104,8 +104,7 @@ static char const * volatile stack_overflow_message;
    appears to have been a stack overflow, or with a core dump
    otherwise.  This function is async-signal-safe.  */
 
-static void die (int) __attribute__ ((noreturn));
-static void
+static _Noreturn void
 die (int signo)
 {
   char const *message;
@@ -182,9 +181,7 @@ static int segv_handler (void *address __attribute__ ((unused)),
 /* Handle a segmentation violation that is likely to be a stack
    overflow and exit.  This function is async-signal-safe.  */
 
-static void overflow_handler (int, stackoverflow_context_t)
-  __attribute__ ((noreturn));
-static void
+static _Noreturn void
 overflow_handler (int emergency,
                   stackoverflow_context_t context __attribute__ ((unused)))
 {
@@ -228,8 +225,7 @@ c_stack_action (void (*action) (int))
 /* Handle a segmentation violation and exit.  This function is
    async-signal-safe.  */
 
-static void segv_handler (int, siginfo_t *, void *) __attribute__((noreturn));
-static void
+static _Noreturn void
 segv_handler (int signo, siginfo_t *info,
               void *context __attribute__ ((unused)))
 {