From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 12 Jul 2011 07:57:02 +0000 (-0700)
Subject: _Noreturn: new module
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ca825ce3c2bcb246be95e42464ebc236e4ed67cb;p=pspp

_Noreturn: new module

* MODULES.html.sh (Support for systems lacking draft ISO C 1X):
New section, mentioning it.
* build-aux/_Noreturn.h, modules/_Noreturn: New files.
---

diff --git a/ChangeLog b/ChangeLog
index d9254b1333..ff32cd2195 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2011-07-12  Paul Eggert  <eggert@cs.ucla.edu>
 
+	_Noreturn: new module
+	* MODULES.html.sh (Support for systems lacking draft ISO C 1X):
+	New section, mentioning it.
+	* build-aux/_Noreturn.h, modules/_Noreturn: New files.
+
 	* m4/gnulib-common.m4 (gl_COMMON_BODY): Add _Noreturn.
 
 2011-07-11  Eric Blake  <eblake@redhat.com>
diff --git a/MODULES.html.sh b/MODULES.html.sh
index 923fba52f9..464f1d8920 100755
--- a/MODULES.html.sh
+++ b/MODULES.html.sh
@@ -2306,6 +2306,21 @@ func_all_modules ()
   func_module mbfile
   func_end_table
 
+  element="Support for systems lacking draft ISO C 1X"
+  func_section_wrap c1x_sup
+  func_wrap H2
+  func_echo "$element"
+
+  element="Core language properties"
+  element=`printf "%s" "$element" | sed -e "$sed_lt" -e "$sed_gt"`
+  func_section_wrap c1x_core_properties
+  func_wrap H3
+  func_echo "$element"
+
+  func_begin_table
+  func_module _Noreturn
+  func_end_table
+
   element="Support for obsolete systems lacking POSIX:2008"
   func_section_wrap posix_sup_obsolete
   func_wrap H2
diff --git a/build-aux/_Noreturn.h b/build-aux/_Noreturn.h
new file mode 100644
index 0000000000..e309292180
--- /dev/null
+++ b/build-aux/_Noreturn.h
@@ -0,0 +1,8 @@
+#if ! defined _Noreturn && __STDC_VERSION__ < 201000
+# if (3 <= __GNUC__ || __GNUC__ == 2 && 8 <= __GNUC_MINOR__ \
+      || 0x5110 <= __SUNPRO_C)
+#  define _Noreturn __attribute__ ((__noreturn__))
+# else
+#  define _Noreturn
+# endif
+#endif
diff --git a/modules/_Noreturn b/modules/_Noreturn
new file mode 100644
index 0000000000..68ba4f71b2
--- /dev/null
+++ b/modules/_Noreturn
@@ -0,0 +1,27 @@
+Description:
+The _Noreturn keyword of C1X.
+
+Applicability:
+all
+
+Files:
+build-aux/_Noreturn.h
+
+Depends-on:
+
+configure.ac:
+
+Makefile.am:
+# Because this Makefile snippet defines a variable used by other
+# gnulib Makefile snippets, it must be present in all Makefile.am that
+# need it. This is ensured by the applicability 'all' defined above.
+
+_NORETURN_H=$(top_srcdir)/build-aux/_Noreturn.h
+
+Include:
+
+License:
+LGPLv2+
+
+Maintainer:
+all