From 1e62e15f46283a3affb1e6dcceead0c382482287 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Sat, 27 Mar 2021 18:08:13 +0100
Subject: score: Add an assert to _Workspace_Free()

---
 cpukit/score/src/wkspace.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'cpukit/score/src')

diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c
index 3ca3c8387e..546847b82d 100644
--- a/cpukit/score/src/wkspace.c
+++ b/cpukit/score/src/wkspace.c
@@ -115,5 +115,9 @@ void *_Workspace_Allocate( size_t size )
 
 void _Workspace_Free( void *block )
 {
-  _Heap_Free( &_Workspace_Area, block );
+  bool ok;
+
+  ok = _Heap_Free( &_Workspace_Area, block );
+  _Assert( ok );
+  (void) ok;
 }
-- 
cgit v1.2.3