sched/sched: next pointer value is definitely not null

Signed-off-by: hujun5 <[email protected]>
apache · Oct 5, 2024 · 6a13e4a · 6a13e4a
1 parent b4cc9fb
commit 6a13e4a
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/sched/sched/sched_process_delivered.c b/sched/sched/sched_process_delivered.c
@@ -112,10 +112,11 @@ void nxsched_process_delivered(int cpu)
 
   btcb = g_delivertasks[cpu];
 
-  for (next = tcb;
-      (next && btcb->sched_priority <= next->sched_priority);
+  for (next = tcb; btcb->sched_priority <= next->sched_priority;
       next = next->flink);
 
+  DEBUGASSERT(next);
+
   prev = next->blink;
   if (prev == NULL)
     {