From 98ffa0d89242c769e796eaf0d997a5975b3cfc09 Mon Sep 17 00:00:00 2001
From: Kody Stribrny <kstribrn@amazon.com>
Date: Mon, 23 Feb 2026 08:36:28 -0800
Subject: [PATCH] Suppress false null dereference

Coverity provides a false positive
of pxQueueSetContainer being null.
---
 queue.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/queue.c b/queue.c
index a967839de..25613bf3f 100644
--- a/queue.c
+++ b/queue.c
@@ -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;