[PATCH] score: Help static analysis

Sebastian Huber sebastian.huber at embedded-brains.de
Sat Jan 28 09:58:55 UTC 2023


Add an assert to _Thread_Initialize_scheduler_and_wait_nodes() which may
help a static analyzer.  Use a do/while loop since we have at least one
scheduler.

Update #4832.
---
 cpukit/score/src/threadinitialize.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/cpukit/score/src/threadinitialize.c b/cpukit/score/src/threadinitialize.c
index 9b37206c6d..0d382853fd 100644
--- a/cpukit/score/src/threadinitialize.c
+++ b/cpukit/score/src/threadinitialize.c
@@ -139,7 +139,10 @@ static void _Thread_Initialize_scheduler_and_wait_nodes(
    * The application configuration ensures that we have at least one scheduler
    * configured.
    */
-  while ( scheduler_index < _Scheduler_Count ) {
+
+  _Assert ( _Scheduler_Count >= 1 );
+
+  do {
     Priority_Control priority;
 
     if ( scheduler == config->scheduler ) {
@@ -172,7 +175,7 @@ static void _Thread_Initialize_scheduler_and_wait_nodes(
       ( (uintptr_t) scheduler_node + _Scheduler_Node_size );
     ++scheduler;
     ++scheduler_index;
-  }
+  } while ( scheduler_index < _Scheduler_Count );
 
   /*
    * The thread is initialized to use exactly one scheduler node which is
-- 
2.35.3



More information about the devel mailing list