File tree Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Original file line number Diff line number Diff line change @@ -2725,6 +2725,9 @@ BaseType_t xQueueIsQueueFullFromISR( const QueueHandle_t xQueue )
2725
2725
{
2726
2726
UBaseType_t ux ;
2727
2727
2728
+ configASSERT ( xQueue );
2729
+ configASSERT ( pcQueueName );
2730
+
2728
2731
/* See if there is an empty space in the registry. A NULL name denotes
2729
2732
* a free slot. */
2730
2733
for ( ux = ( UBaseType_t ) 0U ; ux < ( UBaseType_t ) configQUEUE_REGISTRY_SIZE ; ux ++ )
@@ -2743,6 +2746,8 @@ BaseType_t xQueueIsQueueFullFromISR( const QueueHandle_t xQueue )
2743
2746
mtCOVERAGE_TEST_MARKER ();
2744
2747
}
2745
2748
}
2749
+ /* Assert that the queue was added successfully */
2750
+ configASSERT ( ( ux != configQUEUE_REGISTRY_SIZE ) );
2746
2751
}
2747
2752
2748
2753
#endif /* configQUEUE_REGISTRY_SIZE */
@@ -2755,6 +2760,8 @@ BaseType_t xQueueIsQueueFullFromISR( const QueueHandle_t xQueue )
2755
2760
UBaseType_t ux ;
2756
2761
const char * pcReturn = NULL ; /*lint !e971 Unqualified char types are allowed for strings and single characters only. */
2757
2762
2763
+ configASSERT ( xQueue );
2764
+
2758
2765
/* Note there is nothing here to protect against another task adding or
2759
2766
* removing entries from the registry while it is being searched. */
2760
2767
@@ -2783,6 +2790,8 @@ BaseType_t xQueueIsQueueFullFromISR( const QueueHandle_t xQueue )
2783
2790
{
2784
2791
UBaseType_t ux ;
2785
2792
2793
+ configASSERT ( xQueue );
2794
+
2786
2795
/* See if the handle of the queue being unregistered in actually in the
2787
2796
* registry. */
2788
2797
for ( ux = ( UBaseType_t ) 0U ; ux < ( UBaseType_t ) configQUEUE_REGISTRY_SIZE ; ux ++ )
You can’t perform that action at this time.
0 commit comments