diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-27 18:08:13 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-27 18:08:13 +0100 |
commit | 1e62e15f46283a3affb1e6dcceead0c382482287 (patch) | |
tree | 9971d3b5f628177cd7e6312ca79edc277665b1bc /cpukit/score | |
parent | score: Fix task stack initialization (diff) | |
download | rtems-1e62e15f46283a3affb1e6dcceead0c382482287.tar.bz2 |
score: Add an assert to _Workspace_Free()
Diffstat (limited to 'cpukit/score')
-rw-r--r-- | cpukit/score/src/wkspace.c | 6 |
1 files changed, 5 insertions, 1 deletions
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; } |