在Misra警告下方观察到10.1规则。它说“对运算符‍ |不允许的操作数。

如何避免这种警告?

这有误导性,因为该语句中未使用|

#define C_BYTE unsigned char
C_BYTE SendStatus;
#define SEND_PENDING   0x10

SendStatus &= (C_BYTE) ~ ((C_BYTE) SEND_PENDING);


编辑:

我正在使用Misra 2012检查QA-C警告。使用批处理文件编译代码。

#define BYTE unsigned char
#define REQUEST  0x01
#define PENDING  0x10
#define D_PENDING  0x20
#define SEND_PENDING (PENDING|D_PENDING|REQUEST)

struct cp {
  BYTE SessionStatus;
  BYTE SendStatus;
};


情况1:

BYTE fun2( void )
{
    cp.SendStatus &= (BYTE) ~ ((BYTE) SEND_PENDING); //Warning observed for this line

    if((cp.SendStatus & (BYTE) REQUEST) != 0u)
    {
        cp.SendStatus &= (BYTE) ~ (BYTE) REQUEST;
        return 1;
    }
}


情况2:

void fun1(void)
{
    BYTE ChkStatus = (cp.SendStatus & (BYTE) SEND_PENDING); //Warning observed for this line

    if ((bool)ChkStatus)
    {
        cp.SendStatus |= ((BYTE) REQUEST);
    }
    else
    {
        cp.SendStatus |= ((BYTE) PENDING);
    }

}

最佳答案

进行如下修改以避免此警告。

#define REQUEST    0x01u
#define PENDING    0x10u
#define D_PENDING  0x20u

关于c - 运算符“|”的不允许操作数[MISRA 2012规则10.1,必填],我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/57575579/

10-13 05:35