@@ -247,7 +247,7 @@ static void prvInitialiseNewQueue( const UBaseType_t uxQueueLength,
247247 * other tasks that are waiting for the same mutex. This function returns
248248 * that priority.
249249 */
250- static UBaseType_t prvGetDisinheritPriorityAfterTimeout ( const Queue_t * const pxQueue ) PRIVILEGED_FUNCTION ;
250+ static UBaseType_t prvGetHighestPriorityOfWaitToReceiveList ( const Queue_t * const pxQueue ) PRIVILEGED_FUNCTION ;
251251#endif
252252/*-----------------------------------------------------------*/
253253
@@ -1844,13 +1844,13 @@ BaseType_t xQueueSemaphoreTake( QueueHandle_t xQueue,
18441844 * has timed out the priority should be disinherited
18451845 * again, but only as low as the next highest priority
18461846 * task that is waiting for the same mutex. */
1847- uxHighestWaitingPriority = prvGetDisinheritPriorityAfterTimeout ( pxQueue );
1847+ uxHighestWaitingPriority = prvGetHighestPriorityOfWaitToReceiveList ( pxQueue );
18481848
18491849 /* vTaskPriorityDisinheritAfterTimeout uses the uxHighestWaitingPriority
18501850 * parameter to index pxReadyTasksLists when adding the task holding
18511851 * mutex to the ready list for its new priority. Coverity thinks that
18521852 * it can result in out-of-bounds access which is not true because
1853- * uxHighestWaitingPriority, as returned by prvGetDisinheritPriorityAfterTimeout ,
1853+ * uxHighestWaitingPriority, as returned by prvGetHighestPriorityOfWaitToReceiveList ,
18541854 * is capped at ( configMAX_PRIORITIES - 1 ). */
18551855 /* coverity[overrun] */
18561856 vTaskPriorityDisinheritAfterTimeout ( pxQueue -> u .xSemaphore .xMutexHolder , uxHighestWaitingPriority );
@@ -2362,7 +2362,7 @@ UBaseType_t uxQueueGetQueueLength( QueueHandle_t xQueue ) /* PRIVILEGED_FUNCTION
23622362
23632363#if ( configUSE_MUTEXES == 1 )
23642364
2365- static UBaseType_t prvGetDisinheritPriorityAfterTimeout ( const Queue_t * const pxQueue )
2365+ static UBaseType_t prvGetHighestPriorityOfWaitToReceiveList ( const Queue_t * const pxQueue )
23662366 {
23672367 UBaseType_t uxHighestPriorityOfWaitingTasks ;
23682368
0 commit comments