From 563760eb081208e53129bb3e8194f3a972899f5f Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 7 Oct 2013 12:28:40 +0200
Subject: [PATCH] base: fix bug in Object_pool::first_locked

fix #899
---
 base/include/base/object_pool.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base/include/base/object_pool.h b/base/include/base/object_pool.h
index 2ea9bffe90..17f00600fd 100644
--- a/base/include/base/object_pool.h
+++ b/base/include/base/object_pool.h
@@ -206,6 +206,7 @@ namespace Genode {
 			{
 				Lock::Guard lock_guard(_lock);
 				OBJ_TYPE * const obj_typed = (OBJ_TYPE *)_tree.first();
+				if (!obj_typed) { return 0; }
 				obj_typed->lock();
 				return obj_typed;
 			}