@@ -1006,28 +1006,27 @@ void vPreCheckConfigs( void )
10061006
10071007 #if ( ipconfigSUPPRESS_BUFFER_PADDING_CHECK == 0 )
10081008
1009- /* Check if ipBUFFER_PADDING has a minimum size, depending on the platform.
1010- * See FreeRTOS_IP.h for more details. */
1011- #if ( UINTPTR_MAX > 0xFFFFFFFFU )
1009+ /* Check if ipBUFFER_PADDING has a minimum size, depending on the platform.
1010+ * See FreeRTOS_IP.h for more details. */
1011+ #if ( UINTPTR_MAX > 0xFFFFFFFFU )
1012+
1013+ /*
1014+ * This is a 64-bit platform, make sure there is enough space in
1015+ * pucEthernetBuffer to store a pointer.
1016+ */
1017+ configASSERT ( ipBUFFER_PADDING >= 14U );
1018+ #else
1019+ /* This is a 32-bit platform. */
1020+ configASSERT ( ipBUFFER_PADDING >= 10U );
1021+ #endif /* UINTPTR_MAX > 0xFFFFFFFFU */
10121022
10131023 /*
1014- * This is a 64-bit platform, make sure there is enough space in
1015- * pucEthernetBuffer to store a pointer.
1024+ * The size of the Ethernet header (14) plus ipBUFFER_PADDING should be a
1025+ * multiple of 32 bits, in order to get aligned access to all uint32_t
1026+ * fields in the protocol headers.
10161027 */
1017- configASSERT ( ipBUFFER_PADDING >= 14U );
1018- #else
1019- /* This is a 32-bit platform. */
1020- configASSERT ( ipBUFFER_PADDING >= 10U );
1021- #endif /* UINTPTR_MAX > 0xFFFFFFFFU */
1022-
1023- /*
1024- * The size of the Ethernet header (14) plus ipBUFFER_PADDING should be a
1025- * multiple of 32 bits, in order to get aligned access to all uint32_t
1026- * fields in the protocol headers.
1027- */
1028- configASSERT ( ( ( ( ipSIZE_OF_ETH_HEADER ) + ( ipBUFFER_PADDING ) ) % 4U ) == 0U );
1029-
1030- #endif
1028+ configASSERT ( ( ( ( ipSIZE_OF_ETH_HEADER ) + ( ipBUFFER_PADDING ) ) % 4U ) == 0U );
1029+ #endif /* if ( ipconfigSUPPRESS_BUFFER_PADDING_CHECK == 0 ) */
10311030
10321031 /* LCOV_EXCL_BR_START */
10331032 uxSize = ipconfigNETWORK_MTU ;
0 commit comments