Changeset 45393975 in rtems

Timestamp:

01/28/23 09:56:38 (2 months ago)

Author:

Sebastian Huber <sebastian.huber@…>

Branches:

master

Children:

29a3ad1b

Parents:

6fa3a3b

git-author:

Sebastian Huber <sebastian.huber@…> (01/28/23 09:56:38)

git-committer:

Sebastian Huber <sebastian.huber@…> (01/28/23 16:58:20)

Message:

score: Help static analysis in thread init

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.

File:

• cpukit/score/src/threadinitialize.c (modified) (2 diffs)

cpukit/score/src/threadinitialize.c

@@ -140 +140 @@
    * configured.
    */
-  while ( scheduler_index < _Scheduler_Count ) {
+
+  _Assert ( _Scheduler_Count >= 1 );
+
+  do {
     Priority_Control priority;
 
@@ -173 +176 @@
     ++scheduler;
     ++scheduler_index;
-  }
+  } while ( scheduler_index < _Scheduler_Count );
 
   /*