len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2026-03-09 18:13:30 -04:00
Code Issues Projects Releases Packages Wiki Activity

Suppress false null dereference

Browse source 
Coverity provides a false positive
of pxQueueSetContainer being null.
This commit is contained in:
Kody Stribrny 2026-02-23 08:36:28 -08:00
parent 9a39b1d39c
commit 98ffa0d892
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
queue.c
View file

@ -3343,6 +3343,8 @@ BaseType_t xQueueIsQueueFullFromISR( const QueueHandle_t xQueue )
configASSERT( pxQueueSetContainer ); /* LCOV_EXCL_BR_LINE */
configASSERT( pxQueueSetContainer->uxMessagesWaiting < pxQueueSetContainer->uxLength );
/* pxQueue->pxQueueSetContainer is verified to be non-null by caller. */
/* coverity[dereference] */
if( pxQueueSetContainer->uxMessagesWaiting < pxQueueSetContainer->uxLength )
{
const int8_t cTxLock = pxQueueSetContainer->cTxLock;