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

Rewrote macro taskCHECK_FOR_STACK_OVERFLOW such that VF can handle it.

Browse source
This commit is contained in:
Tobias Reinhard 2022-11-16 15:28:33 -05:00
parent b330847935
commit 7675b3bbe4
1 changed files with 35 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

22
include/stack_macros.h
View file

@ -84,6 +84,27 @@
#if ( ( configCHECK_FOR_STACK_OVERFLOW > 1 ) && ( portSTACK_GROWTH < 0 ) )
#ifdef VERIFAST
/* Reason for rewrite:
* VeriFast complains about unspecified evaluation order of
* `pxCurrentTCB->pxStack`.
*
*/
#define taskCHECK_FOR_STACK_OVERFLOW() \
{ \
TCB_t* tcb = pxCurrentTCB; \
const uint32_t * const pulStack = ( uint32_t * ) tcb->pxStack; \
const uint32_t ulCheckValue = ( uint32_t ) 0xa5a5a5a5; \
\
if( ( pulStack[ 0 ] != ulCheckValue ) || \
( pulStack[ 1 ] != ulCheckValue ) || \
( pulStack[ 2 ] != ulCheckValue ) || \
( pulStack[ 3 ] != ulCheckValue ) ) \
{ \
vApplicationStackOverflowHook( ( TaskHandle_t ) pxCurrentTCB, pxCurrentTCB->pcTaskName ); \
} \
}
#else
#define taskCHECK_FOR_STACK_OVERFLOW() \
{ \
const uint32_t * const pulStack = ( uint32_t * ) pxCurrentTCB->pxStack; \
@ -97,6 +118,7 @@
vApplicationStackOverflowHook( ( TaskHandle_t ) pxCurrentTCB, pxCurrentTCB->pcTaskName ); \
} \
}
#endif /* VERIFAST */
#endif /* #if( configCHECK_FOR_STACK_OVERFLOW > 1 ) */
/*-----------------------------------------------------------*/