diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-04-05 09:58:07 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-04-09 07:31:25 +0200 |
commit | e0dcf294382b4b9f2402d9f42813468dfdbf7b18 (patch) | |
tree | 46b6810f05c01046ad11f0eb1ce6c0ec317f260c /cpukit/score | |
parent | bsps/arm: Fix ARMv7-M CPU counter (diff) | |
download | rtems-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.c | 5 |
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 ) { |