Module: ppl/ppl Branch: master Commit: 23359d3f3ae607d613f8fd535030dea5a66dc48f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23359d3f3ae60...
Author: Roberto Bagnara bagnara@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@cs.unipr.it"); }