len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-11 14:15:12 -05:00
Code Issues Projects Releases Packages Wiki Activity

Temporarily eliminated runtime assertion.

Browse source
This commit is contained in:
Tobias Reinhard 2022-10-25 14:40:50 -04:00
parent 8b958c7834
commit 82be7cb23a
3 changed files with 100 additions and 93 deletions
Download patch file Download diff file Expand all files Collapse all files

7
tasks.c
View file

@ -1496,7 +1496,12 @@ static void prvInitialiseNewTask( TaskFunction_t pxTaskCode,
pxTopOfStack = ( StackType_t * ) ( ( ( portPOINTER_SIZE_TYPE ) pxTopOfStack ) & ( ~( ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) ) ); /*lint !e923 !e9033 !e9078 MISRA exception. Avoiding casts between pointers and integers is not practical. Size differences accounted for using portPOINTER_SIZE_TYPE type. Checked by assert(). */
/* Check the alignment of the calculated top of stack is correct. */
configASSERT( ( ( ( portPOINTER_SIZE_TYPE ) pxTopOfStack & ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) == 0UL ) );
#ifndef VERIFAST
// TODO: Figure out how to handle configASSERT/__builtin_expect
// maybe replace by VF assertion.
configASSERT( ( ( ( portPOINTER_SIZE_TYPE ) pxTopOfStack & ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) == 0UL ) );
#endif /* VERIFAST */
#if ( configRECORD_STACK_HIGH_ADDRESS == 1 )
{