len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-09-08 15:17:50 -04:00
Code Issues Projects Releases Packages Wiki Activity

Move configASSERT default definition above before including portable.h.

Browse source
This commit is contained in:
ActoryOu 2024-11-04 08:05:47 +00:00
parent 7d76dceaad
commit f0d90819ee
1 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

14
include/FreeRTOS.h
View file

@ -94,6 +94,13 @@
#define configUSE_MALLOC_FAILED_HOOK 0
#endif
#ifndef configASSERT
#define configASSERT( x )
#define configASSERT_DEFINED 0
#else
#define configASSERT_DEFINED 1
#endif
/* Basic FreeRTOS definitions. */
#include "projdefs.h"
@ -364,13 +371,6 @@
#error configMAX_TASK_NAME_LEN must be set to a minimum of 1 in FreeRTOSConfig.h
#endif
#ifndef configASSERT
#define configASSERT( x )
#define configASSERT_DEFINED 0
#else
#define configASSERT_DEFINED 1
#endif
/* configPRECONDITION should be defined as configASSERT.
* The CBMC proofs need a way to track assumptions and assertions.
* A configPRECONDITION statement should express an implicit invariant or