是否可以设置整数枚举Polyspace配置作为一个选项?

2视图(30天)
你好,
任务编译器允许编译器的选项“整数枚举”总是对enum类型int ISO C99中定义和C11标准。使用预定义的设置目标和编译器设置的Polyspace R2020a我不能配置设置特定的行为。有编译器行为的可能性如何模拟?
谢谢你和最好的祝福,
Birgit

接受的答案

布鲁诺理查德
布鲁诺理查德 2020年5月4日
你好Birgit,
不幸的是我们没有这个能力现在Polyspace。我们已经创建了一个内部请求一个新特性。
但是为了帮助你解决你的问题,你能更详细地描述情况Polyspace sizeof枚举是不正确的,这个具体案例如何阻止你得到好的结果?
谢谢,
布鲁诺。
1评论
Birgit Roithner
Birgit Roithner 2020年5月18日
你好布鲁诺,
谢谢你的答案。
´目前米建立一个Polyspace配置一个新项目,希望设置尽可能详尽和现实。目前我们没有任何结果。
阅读设置文档任务编译器处理使用最小的数据类型为enum是可能的。这可能会导致错误的大小的枚举。
我们将与默认的任务设置试试,看看结果。
最好的问候,
Birgit

登录置评。

更多的答案(0)