请问这个if语句有存在的必要吗？

2.88中的是这样的：
void  OS_Sched (void)
{
#if OS_CRItiCAL_METHOD == 3u                           
    OS_CPU_SR  cpu_sr = 0u;
#endif
    OS_ENTER_CRITICAL();
    if (OSIntNesting == 0u) {                          
        if (OSLockNesting == 0u) {                     
            OS_SchedNew();
            OSTCBHighRdy = OSTCBPrioTbl[OSPrioHighRdy];
            if (OSPrioHighRdy != OSPrioCur) {         
#if OS_TASK_PROFILE_EN > 0u
                OSTCBHighRdy->OSTCBCtxSwCtr++;         
#endif
                OSCtxSwCtr++;                          
                OS_TASK_SW();                          
            }
        }
    }
    OS_EXIT_CRITICAL();
}
请问 if (OSPrioHighRdy != OSPrioCur) 这个if语句有存在的必要吗？
我是这么想的：
1.uC/OS-II里的任务优先级是唯一的，即：不能存在优先级相等的任务。
2.运行中的任务根本就不在就绪列表中。
基于以上2点，本人认为“当前运行任务的优先级OSPrioCur”绝不会存在与“就绪列表中优先级最高的任务的优先级OSPrioHighRdy”相等的可能。因此我很怀疑 if (OSPrioHighRdy != OSPrioCur) 这个if语句有存在的必要性。
我是看了几遍任哲的那本书之后的疑问。显然是我哪里理解错了，请指正。谢谢。