[PPL-devel] [GIT] ppl/ppl(master): The functions fatal() and internal_error() are now attributed with noreturn.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 23359d3f3ae607d613f8fd535030dea5a66dc48f
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23359d3f3ae607d613f8fd535030dea5a66dc48f

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb  3 10:18:08 2012 +0100

The functions fatal() and internal_error() are now attributed with noreturn.

---

 src/ppl-config.cc.in |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in
index 7d23460..9032589 100644
--- a/src/ppl-config.cc.in
+++ b/src/ppl-config.cc.in
@@ -207,6 +207,9 @@ static const char* usage_string
 const char* program_name = 0;
 
 void
+fatal(const char* format, ...) __attribute__((__noreturn__));
+
+void
 fatal(const char* format, ...) {
   va_list ap;
   va_start(ap, format);
@@ -230,6 +233,8 @@ warning(const char* format, ...) {
 }
 */
 
+void internal_error() __attribute__((__noreturn__));
+
 void internal_error() {
   fatal("internal error: please submit a bug report to ppl-devel at cs.unipr.it");
 }