Polyspace tricore target seems to use16-bit integers
1 次查看(过去 30 天)
显示 更早的评论
I am checking for Misra deviations using Polyspace bug finder. My compiler settings are: -compiler tasking -target tricore
For this line:
unsigned int i = 1U << 20U;
I get the error :
MISRA C:2012 12.2 The right hand operand of a shift operator shall lie in the range zero to one less than the width of the essential type of the left hand operand.
This line, however, receives no error report:
unsigned long long j = (unsigned long long) 1U << 20U;
Conclusion: contrary to what the documentation states, Polyspace assumes that tricore is a 16-bit CPU - which it is not. Is there any way of telling Polyspace to use 32-bit integers?
0 个评论
回答(1 个)
Aniket Rakshe
2019-1-28
Hello,
I want to add tasking compiler. Please help me out for this.
Thanks
0 个评论
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!