Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/FreeRTOS/FreeRTOS-Kernel.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'stream_buffer.c')
-rw-r--r--stream_buffer.c9
1 files changed, 8 insertions, 1 deletions
diff --git a/stream_buffer.c b/stream_buffer.c
index 35e67cf35..9899e30ee 100644
--- a/stream_buffer.c
+++ b/stream_buffer.c
@@ -1507,10 +1507,17 @@ static void prvInitialiseNewStreamBuffer( StreamBuffer_t * const pxStreamBuffer,
}
#else
{
+ /* MISRA Ref 11.1.1 [Object type casting] */
+ /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-111 */
+ /* coverity[misra_c_2012_rule_11_1_violation] */
( void ) pxSendCompletedCallback;
+
+ /* MISRA Ref 11.1.1 [Object type casting] */
+ /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-111 */
+ /* coverity[misra_c_2012_rule_11_1_violation] */
( void ) pxReceiveCompletedCallback;
}
- #endif
+ #endif /* if ( configUSE_SB_COMPLETED_CALLBACK == 1 ) */
}
#if ( configUSE_TRACE_FACILITY == 1 )