#173 StaticTask_t vs. TCB_t mismatch

[Philipp Legrum]

The StaticTask_t seems to be incongruent to TCB_t whenever INCLUDE_xTaskAbortDelay == 1 -- and configSUPPORT_STATIC_ALLOCATION == 1, obviously.
StaticTask_t doesn't grow accordingly. sizeof(...) returns 84 bytes vs 88 bytes on a STM32L4 MCU. This leads to an out-of-bounds memory write -- and to a system crash in my case. (FreeRTOS v. 9.0.0)

Adding

#if( INCLUDE_xTaskAbortDelay == 1 )
        uint8_t         uxDummy21;
    #endif

to

struct xSTATIC_TCB

fixes the situation for me. Please have a look into this. Thanks.

[Philipp Legrum]

I've just noticed that this is fixed in FreeRTOS 10.