From f0d90819ee33e9e40964c55f531e7507db17290c Mon Sep 17 00:00:00 2001 From: ActoryOu Date: Mon, 4 Nov 2024 08:05:47 +0000 Subject: [PATCH] Move configASSERT default definition above before including portable.h. --- include/FreeRTOS.h | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/include/FreeRTOS.h b/include/FreeRTOS.h index 821b55d5d2..8849adc841 100644 --- a/include/FreeRTOS.h +++ b/include/FreeRTOS.h @@ -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