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

Question

Birgit Roithner 2020-4-30

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/521912-is-it-possible-to-set-integer-enumeration-as-an-option-in-polyspace-configuration

回答： Tom 2023-6-19

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

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Bruno Richard 2020-5-4

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/521912-is-it-possible-to-set-integer-enumeration-as-an-option-in-polyspace-configuration#answer_430157

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.

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Birgit Roithner 2020-5-18

在 MATLAB Online 中打开

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