mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-03-09 18:13:30 -04:00
Remove two suppressions which I forgot
This commit is contained in:
parent
82c80e631d
commit
9a39b1d39c
2 changed files with 0 additions and 6 deletions
|
|
@ -175,9 +175,6 @@ typedef struct xHeapStats
|
||||||
* terminated by a HeapRegions_t structure that has a size of 0. The region
|
* terminated by a HeapRegions_t structure that has a size of 0. The region
|
||||||
* with the lowest start address must appear first in the array.
|
* with the lowest start address must appear first in the array.
|
||||||
*/
|
*/
|
||||||
/* MISRA Ref 8.6.1 [External linkage] */
|
|
||||||
/* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-86 */
|
|
||||||
/* coverity[misra_c_2012_rule_8_6_violation] */
|
|
||||||
void vPortDefineHeapRegions( const HeapRegion_t * const pxHeapRegions ) PRIVILEGED_FUNCTION;
|
void vPortDefineHeapRegions( const HeapRegion_t * const pxHeapRegions ) PRIVILEGED_FUNCTION;
|
||||||
|
|
||||||
/*
|
/*
|
||||||
|
|
|
||||||
3
tasks.c
3
tasks.c
|
|
@ -3839,9 +3839,6 @@ void vTaskEndScheduler( void )
|
||||||
|
|
||||||
/* This function must be called from a task and the application is
|
/* This function must be called from a task and the application is
|
||||||
* responsible for deleting that task after the scheduler is stopped. */
|
* responsible for deleting that task after the scheduler is stopped. */
|
||||||
/* MISRA Ref 2.2 [No dead code] */
|
|
||||||
/* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#dir-22 */
|
|
||||||
/* coverity[misra_c_2012_directive_2_2_violation] */
|
|
||||||
vPortEndScheduler();
|
vPortEndScheduler();
|
||||||
|
|
||||||
traceRETURN_vTaskEndScheduler();
|
traceRETURN_vTaskEndScheduler();
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue