From 82490545399f162a868dd70162fedaf7dfbac4d8 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Wed, 16 Feb 2011 07:37:35 +0000
Subject: [PATCH] 2011-02-16	Sebastian Huber
 <sebastian.huber@embedded-brains.de>

	* score/src/wkspace.c: Removed NULL pointer check from
	_Workspace_Free().
---
 cpukit/ChangeLog           | 5 +++++
 cpukit/score/src/wkspace.c | 3 +--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/cpukit/ChangeLog b/cpukit/ChangeLog
index 3d6ececd94..8352d191ef 100644
--- a/cpukit/ChangeLog
+++ b/cpukit/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-16	Sebastian Huber <sebastian.huber@embedded-brains.de>
+
+	* score/src/wkspace.c: Removed NULL pointer check from
+	_Workspace_Free().
+
 2011-02-15	Joel Sherrill <joel.sherrilL@OARcorp.com>
 
 	* libmisc/capture/capture.c, posix/src/keyfreememory.c,
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c
index f8994c2e8d..568bfc1ce7 100644
--- a/cpukit/score/src/wkspace.c
+++ b/cpukit/score/src/wkspace.c
@@ -91,8 +91,7 @@ void _Workspace_Free(
       __builtin_return_address( 1 )
     );
   #endif
-   if (block)
-     _Heap_Free( &_Workspace_Area, block );
+  _Heap_Free( &_Workspace_Area, block );
 }
 
 /*