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 + + * score/src/wkspace.c: Removed NULL pointer check from + _Workspace_Free(). + 2011-02-15 Joel Sherrill * 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 ); } /*