[FreeRTOS] Parse error for nested unions or structs

[tobireinhard]

Hi,

VeriFast does currently not support nested unions or structs such as in the following code:

struct S
{
    union
    {
        void * ptr;
        int val;
    } u;
};

Is it possible to push this error further down to the verification layer such that it only pops up when we try to verify code involving this struct? These structs are not relevant for the code that I'm verifying but they are defined in the main FreeRTOS header file that almost every other source file includes. Therefore, the errors always pops up when we load any FreeRTOS code into VeriFast.

Best,
Tobi