From ce3d10465ee01c9e4d81784b86d92d18f46bd9a3 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Fri, 16 Dec 2016 21:18:16 +0100 Subject: [PATCH] Mark warnings from the signal dispatcher as such --- repos/base/include/base/signal.h | 6 +++--- repos/base/src/lib/base/signal.cc | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/repos/base/include/base/signal.h b/repos/base/include/base/signal.h index ff3dbe51ea..8501651181 100644 --- a/repos/base/include/base/signal.h +++ b/repos/base/include/base/signal.h @@ -403,7 +403,7 @@ struct Genode::Signal_dispatcher_base : Signal_context */ template class Genode::Signal_dispatcher : public Signal_dispatcher_base, - public Signal_context_capability + public Signal_context_capability { private: @@ -431,7 +431,7 @@ class Genode::Signal_dispatcher : public Signal_dispatcher_base, ~Signal_dispatcher() { sig_rec.dissolve(this); } - void dispatch(unsigned num) { (obj.*member)(num); } + void dispatch(unsigned num) override { (obj.*member)(num); } }; @@ -470,7 +470,7 @@ struct Genode::Signal_handler : Genode::Signal_dispatcher_base, /** * Interface of Signal_dispatcher_base */ - void dispatch(unsigned num) { (obj.*member)(); } + void dispatch(unsigned num) override { (obj.*member)(); } }; #endif /* _INCLUDE__BASE__SIGNAL_H_ */ diff --git a/repos/base/src/lib/base/signal.cc b/repos/base/src/lib/base/signal.cc index 547b27fe57..45201f8057 100644 --- a/repos/base/src/lib/base/signal.cc +++ b/repos/base/src/lib/base/signal.cc @@ -284,12 +284,12 @@ void Signal_receiver::dispatch_signals(Signal_source *signal_source) Signal_context *context = (Signal_context *)(source_signal.imprint()); if (!context) { - error("received null signal imprint, stop signal handling"); + error("received null signal imprint, stop signal dispatcher"); sleep_forever(); } if (!signal_context_registry()->test_and_lock(context)) { - warning("encountered dead signal context"); + warning("encountered dead signal context ", context, " in signal dispatcher"); continue; } @@ -298,7 +298,7 @@ void Signal_receiver::dispatch_signals(Signal_source *signal_source) Signal::Data signal(context, source_signal.num()); context->_receiver->local_submit(signal); } else { - warning("signal context with no receiver"); + warning("signal context ", context, " with no receiver in signal dispatcher"); } /* free context lock that was taken by 'test_and_lock' */