Module: ppl/ppl Branch: master Commit: d75793538dc649e9d985d16095a5a445fba4cd26 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d75793538dc64... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 20 16:51:41 2012 +0200 Avoided non-constant pointers to function. Detected by ECLAIR service funpntr. --- demos/ppl_lcdd/ppl_lcdd.cc | 2 +- src/Watchdog_defs.hh | 2 +- src/Watchdog_inlines.hh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index d492f33..97d4a20 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -298,7 +298,7 @@ warning(const char* format, ...) { #ifdef PPL_LCDD_SUPPORTS_LIMIT_ON_CPU_TIME -extern "C" typedef void (*sig_handler_type)(int); +extern "C" typedef void (* const sig_handler_type)(int); void set_alarm_on_cpu_time(const unsigned long seconds, sig_handler_type handler) { diff --git a/src/Watchdog_defs.hh b/src/Watchdog_defs.hh index 9ff258b..003d5be 100644 --- a/src/Watchdog_defs.hh +++ b/src/Watchdog_defs.hh @@ -57,7 +57,7 @@ public: Constructor: if not reset, the watchdog will trigger after \p csecs centiseconds, invoking handler \p function. */ - Watchdog(long csecs, void (*function)()); + Watchdog(long csecs, void (* const function)()); //! Destructor. ~Watchdog(); diff --git a/src/Watchdog_inlines.hh b/src/Watchdog_inlines.hh index 8522fca..8244922 100644 --- a/src/Watchdog_inlines.hh +++ b/src/Watchdog_inlines.hh @@ -48,7 +48,7 @@ Watchdog::Watchdog(long csecs, } inline -Watchdog::Watchdog(long csecs, void (*function)()) +Watchdog::Watchdog(long csecs, void (* const function)()) : expired(false), handler(*new Implementation::Watchdog::Handler_Function(function)) { if (csecs == 0)