FreeRTOS v8.1.0 on 64-Bit Platforms

We are building FreeRTOS v8.1.0 for 64-bit Linux using the POSIX simulator. This is almost all fine, the main addition being the inclusion of a definition for portPOINTERSIZETYPE in portmacros.h:
:::C
#define portPOINTER_SIZE_TYPE uintptr_t
(If you see something wrong in this, please say!) However, a single warning remains which, to me, looks like a legitimate concern. On line 556 of tasks.c there is an assert:
:::C
configASSERT( ( ( ( uint32_t ) pxTopOfStack & ( uint32_t ) portBYTE_ALIGNMENT_MASK ) == 0UL ) );
In order to silence the warning, we have changed this to:
:::C
configASSERT( ( ( ( portPOINTER_SIZE_TYPE ) pxTopOfStack & ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) == 0U ) );
Given that the line above this (555) has a documented MISRA exception on it, and carefully makes use of portPOINTERSIZETYPE, why does the assert cast to uint32_t? Is this a problem for anyone else (e.g. on the Windows simulator), or are we doing something differently/wrong? Whatever the solution on this line, the same needs to be applied to line 563, which is the same assert, but for positive stack growth. TIA, Peter

FreeRTOS v8.1.0 on 64-Bit Platforms

Probably just because the asserts have mostly been used on devices with 32-bit pointers, or where the pointer is less than 32-bits so casting to a uint_32 is fine. There is no deliberate reason why. We can change it if it causes you an issue. Regards.