你好,
我想添加任务编译器。请帮帮我。
谢谢
Polyspace tricore目标似乎use16-bit整数
1视图(30天)
显示旧的评论
我检查Misra偏差使用Polyspace错误发现者。我的编译器设置:编译器任务—target tricore
这条线:
unsigned int i = 1 u < < 20 u;
我得到了错误:
MISRA - C: 2012 12.2转变的右手操作数范围应当躺在0到1不到的宽度基本类型的左手操作数。
然而,这条线没有收到错误报告:
无符号长长j =(无符号长长)1 u < < 20 u;
结论:与文档状态相反,Polyspace假定tricore是一个16位CPU——它不是。有什么方法告诉Polyspace使用32位整数吗?
