sched/sched: next pointer value is definitely not null

Signed-off-by: hujun5 <[email protected]>
hujun260 · Sep 29, 2024 · 2bb2110 · 2bb2110
1 parent 1272dd1
commit 2bb2110
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)
     {