MISRA 10.3违反当使用断言宏2015年Polyspace错误发现者

9的观点(30天)

显示旧的评论

Felix Ruttiger 2016年3月7日

0
链接

这个问题直接联系

//www.tianjin-qmedu.com/matlabcentral/answers/271894 misra - 10 - 3 -违反时使用-维护-宏- - polyspace - 2015错误发现者

评论道: JoseT2017年4月3日

我使用断言宏C代码。当检查MISRA 2012违反,Polyspace 2015错误发现者抱怨断言宏的使用与MISRA违反规则10.3:“一个表达式的值不得分配给一个对象具有更窄的类型或不同的基本类型分类。”。

一个很小的例子:

                         #包括< assert.h >
                        
                         intmain () {
                        
                         无符号字符x = 8 u;
                        
                         无符号char y = 9;
                        
                         断言(x ! = y);
                        
                         返回0;
                        
                         }

问题似乎是类型的布尔表达式的解释(x ! = y)扩展。如果我做以下,没有违反:

                         #包括< assert.h >
                        
                         #包括< stdbool.h >
                        
                         intmain () {
                        
                         无符号字符x = 8 u;
                        
                         无符号char y = 9;
                        
                         bool结果= (x ! = y);
                        
                         断言((int)结果);
                        
                         返回0;
                        
                         }