你好,帕特丽夏!不幸的是,没有解决了这个和合橙色R2017a之前检查。从R2017a,全局变量在生成的主要不应该再提高。如果这个问题仍然持续在最近的版本中,随时联系MathWorks技术支持。万博1manbetx祝你有美好的一天,卢卡斯
在__polyspace_main.c Non-initialized变量
31日视图(30天)
显示旧的评论
如果我可以选择“忽略默认初始化全局变量”,我得到了在宏观上橙色警报PST_TRUE ()
_
_polyspace_main。c, pst_random_int volatile变量。我想要我的代码中的代码验证检测没有初始化变量,而不是使用non-initialized主要自动生成。我的期望是,polyspace处理自有全局变量本身,只有报告错误代码是这样的:
uint8myGlobalVariable;
无效main ()
{
uint8;
一个= myGlobalVariable;
}
我调整上述行为吗?为什么我得到警报在生成的Polyspace文件吗?
