PPL-devel

Download

ppl-devel@bugseng.com

February 2012

9 participants
202 discussions

[GIT] ppl/ppl(master): Be consistent with the use of attribute weak.
by Roberto Bagnara 03 Feb '12

03 Feb '12

Module: ppl/ppl Branch: master Commit: 9516ac54f007f2155b89ac0453bdfcd85a4204de URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9516ac54f007… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 3 10:19:01 2012 +0100 Be consistent with the use of attribute weak. --- src/assert.hh | 14 ++++++++++++-- 1 files changed, 12 insertions(+), 2 deletions(-) diff --git a/src/assert.hh b/src/assert.hh index 1d6680a..e803a61 100644 --- a/src/assert.hh +++ b/src/assert.hh @@ -95,7 +95,12 @@ namespace Parma_Polyhedra_Library { #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Helper function causing program termination by calling \c abort. #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) -void ppl_unreachable() __attribute__((weak, noreturn)); +void ppl_unreachable() +#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK + __attribute__((weak, noreturn)); +#else + __attribute__((noreturn)); +#endif #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief @@ -105,7 +110,12 @@ void ppl_unreachable() __attribute__((weak, noreturn)); #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) void ppl_unreachable_msg(const char* msg, const char* file, unsigned int line, - const char* function) __attribute__((weak, noreturn)); + const char* function) +#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK + __attribute__((weak, noreturn)); +#else + __attribute__((noreturn)); +#endif #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief

1 0

[GIT] ppl/ppl(master): The functions fatal() and internal_error() are now attributed with noreturn.
by Roberto Bagnara 03 Feb '12

03 Feb '12

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

1 0

Jump to page: