如何解析 C 代码的 MISRA C:2012 规则 13.2 和 13.3？

Question

我有 C 源代码，我正在使其符合 MISRA 标准。我收到与 MISRA 2012 规则 13.3 和 13.2 相关的以下错误：

1. 递增/递减操作与其他具有副作用的操作相结合 [MISRA 2012 规则 13.3，咨询]buf[count++] = U1RXREG;

2. 双方都有副作用 [MISRA 2012 规则 1.3，必需]，[MISRA 2012 规则 13.2，必需] buf[count] = U1RXREG；

问题 1 的源代码：

 void UART_call(void)
 {
    if(count < BUF_SIZE)
    {
        buf[count++] = U1RXREG;
        Flag = 1;
    }
    else
    {
        count = 0;
        Flag = 0;
    }
}

解决问题 1 代码中的 13.3 错误后，我收到 MISRA 1.3 和 13.2 错误。问题2的源码：

void UART_call(void)
 {
    if(count < BUF_SIZE)
    {
        buf[count] = U1RXREG;
        count = count + 1U;
        Flag = 1;
    }
    else
    {
        count = 0;
        Flag = 0;
    }
}

Answer 1

1. 递增/递减操作与其他具有副作用的操作相结合[MISRA 2012 规则 13.3，建议]buf[count++] = U1RXREG；

正如您似乎已经注意到的那样，通过将增量移出赋值表达式来解决：

buf[count] = U1RXREG;
count++;

其背后的基本原理是防止编写诸如 buf[count++] = count; 之类的错误

双方都有副作用[MISRA 2012 规则 1.3，必需]、[MISRA 2012 规则 13.2，必需] buf[count] = U1RXREG；

我想说这是误报。 buf[count] = U1RXREG; 行是无害的。

发出警告的原因是，U1RXREG 显然是 UART 硬件的易失性限定接收寄存器，并且 MISRA-C 不喜欢将易失性访问与同一表达式中的其他内容混合，尤其是与另一个“副作用”，在本例中为 count 的 ++ 以及对 buf 的赋值。这是静态分析器误报的常见来源，尽管有时它们确实会发现与此相关的真正错误，例如您询问的 && 案例.com/questions/54084453/how-to-make-c-code-to-misra-c2012-compliance">昨天。

假设是 32 位寄存器，那么修复它的迂腐方法是使用临时变量：

uint32_t rxreg = U1RXREG
buf[count] = rxreg;

就机器代码和程序行为而言，这相当于原始代码。