From edfd90a1bc929a85841e96b6550c36ced45ebe63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Thu, 17 Apr 2014 13:56:09 +0200
Subject: [PATCH] ram_blk: remove superfluous block_number check

block_number is Block::sector_t (uint64_t), which never can by less
than 0.

Fixes #1142.
---
 repos/os/src/server/ram_blk/main.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/repos/os/src/server/ram_blk/main.cc b/repos/os/src/server/ram_blk/main.cc
index 48354589d..d3ba6768a 100644
--- a/repos/os/src/server/ram_blk/main.cc
+++ b/repos/os/src/server/ram_blk/main.cc
@@ -42,8 +42,7 @@ class Ram_blk : public Block::Driver
 		         bool               read)
 		{
 			/* sanity check block number */
-			if ((block_number + block_count > _file_sz / _blk_sz)
-				|| block_number < 0) {
+			if (block_number + block_count > _file_sz / _blk_sz) {
 				PWRN("requested blocks %lld-%lld out of range!",
 					 block_number, block_number + block_count);
 				return;