summaryrefslogtreecommitdiffstats
path: root/cpukit/score
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2019-04-05 09:58:07 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2019-04-09 07:31:25 +0200
commite0dcf294382b4b9f2402d9f42813468dfdbf7b18 (patch)
tree46b6810f05c01046ad11f0eb1ce6c0ec317f260c /cpukit/score
parentbsps/arm: Fix ARMv7-M CPU counter (diff)
downloadrtems-e0dcf294382b4b9f2402d9f42813468dfdbf7b18.tar.bz2
Remove superfluous run-time check
The _Objects_Information_table[ the_api ] is never NULL for a valid API index.
Diffstat (limited to 'cpukit/score')
-rw-r--r--cpukit/score/src/threaditerate.c5
1 files changed, 1 insertions, 4 deletions
diff --git a/cpukit/score/src/threaditerate.c b/cpukit/score/src/threaditerate.c
index 8d1614ab9b..78ccb6756c 100644
--- a/cpukit/score/src/threaditerate.c
+++ b/cpukit/score/src/threaditerate.c
@@ -30,10 +30,7 @@ void _Thread_Iterate(
Objects_Maximum maximum;
Objects_Maximum index;
- if ( _Objects_Information_table[ api_index ] == NULL ) {
- continue;
- }
-
+ _Assert( _Objects_Information_table[ api_index ] != NULL );
information = _Objects_Information_table[ api_index ][ 1 ];
if ( information == NULL ) {