sched/sched: next pointer value is definitely not null

Signed-off-by: hujun5 <hujun5@xiaomi.com>
hujun260 · Sep 29, 2024 · 96d0aae · 96d0aae
1 parent 13ff01f
commit 96d0aae
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)
     {