Is it possible to set integer enumeration as an option in Polyspace configuration?

Hello,

the tasking compiler allows the option "integer enumeration" where the compiler always treats enum-types as int as defined in the ISO C99 and C11 standard. With the predefined settings of the target and compiler settings of Polyspace R2020a I cannot configure the settings to that specific behavior. Is there a possibility how to simulate that compiler behavior?

Thank you and best regards,

Birgit

Answer 1

[Bruno Richard]

Hello Birgit,

Unfortunately we do not have this capability in Polyspace as of now. We have created an internal request for a new feature about this.

However in order to help you solve your issue, can you describe in more detail a case where the sizeof enums is not correct in Polyspace and how this specific case prevents you from getting good results?

Thanks,

Bruno.

[Birgit Roithner]

Hello Bruno,
thank you for your answer. 

I´m currently setting up a Polyspace Configuration for a new project and wanted the settings to be as detailled and realistic as possible. We do not have no results at the moment.
When reading the setting documentation the tasking compiler is handled to use smallest datatype which is possible for an enum. That could lead to wrong sizes of an enum.
But we will just try with the default tasking settings and see how the results will be.

Best regards,
Birgit

Answer 2

[Tom]

Is there an update to this feature? Or is there any workaround? We are currently facing the same problem.