From 6b4d76739e2580b924dd3eeeb893fc09ee19ff47 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 3 Jan 2019 12:26:13 +0100
Subject: [PATCH] base: remove Signal_receiver::pending() method

Fix #1864
---
 repos/base/include/base/signal.h         |  5 -----
 repos/base/src/lib/base/signal_common.cc | 14 --------------
 2 files changed, 19 deletions(-)

diff --git a/repos/base/include/base/signal.h b/repos/base/include/base/signal.h
index f7522c64c..25703bd63 100644
--- a/repos/base/include/base/signal.h
+++ b/repos/base/include/base/signal.h
@@ -399,11 +399,6 @@ class Genode::Signal_receiver : Noncopyable
 		 */
 		void dissolve(Signal_context *context);
 
-		/**
-		 * Return true if signal was received
-		 */
-		bool pending();
-
 		/**
 		 * Block until a signal is received and return the signal
 		 *
diff --git a/repos/base/src/lib/base/signal_common.cc b/repos/base/src/lib/base/signal_common.cc
index 78f020c4f..aa3a25b23 100644
--- a/repos/base/src/lib/base/signal_common.cc
+++ b/repos/base/src/lib/base/signal_common.cc
@@ -242,20 +242,6 @@ void Signal_receiver::dissolve(Signal_context *context)
 }
 
 
-bool Signal_receiver::pending()
-{
-	Lock::Guard contexts_lock_guard(_contexts_lock);
-	bool result = false;
-	_contexts.for_each_locked([&] (Signal_context &context) {
-		if (context._pending) {
-			result = true;
-			throw Context_ring::Break_for_each();
-		}
-	});
-	return result;
-}
-
-
 void Signal_receiver::Context_ring::insert_as_tail(Signal_context *re)
 {
 	if (_head) {