PROSAGA码农传奇-嵌入式C/C++-如何解决MISRA C：2012规则13.2和13.3的C代码？

<div class =“post-text”itemprop =“text”>
  <BLOCKQUOTE>
    <OL>
      <LI>
        增量/减量操作与其他具有副作用的操作相结合[MISRA 2012规则13.3，建议] buf [count ++] = U1RXREG;
      </LI>
    </醇>
  </BLOCKQUOTE>
  
    正如您似乎已经注意到的那样，通过将增量移出赋值表达式来解决：
  
   <pre>
 <code>
 buf[count] = U1RXREG;
count++;

</code>
 </pre>
  
    这背后的基本原理是防止编写诸如此类的错误
     <code>
 buf[count++] = count;
 </code>
  
  <BLOCKQUOTE>
    <ol start =“2”>
      <LI>
        双方都有副作用[MISRA 2012规则1.3，要求]，[MISRA 2012规则13.2，要求] buf [count] = U1RXREG;
      </LI>
    </醇>
  </BLOCKQUOTE>
  
    我会说这是误报。这条线
     <code>
 buf[count] = U1RXREG;
 </code>
     是无害的。
  
  
    警告的原因是
     <code>
 U1RXREG
 </code>
     显然是UART硬件的易失性合格rx寄存器，MISRA-C不喜欢将易失性访问与同一表达式中的其他东西混合，特别是没有其他“副作用”，在这种情况下
     <code>
 ++
 </code>
     与指派一起计算
     <code>
 buf
 </code>
    。它是静态分析仪误报的常见来源，但有时它们会发现与此相关的真正错误，如
     <code>
 &&
 </code>
     你问过的案例
    <a href="https://stackoverflow.com/questions/54084453/how-to-make-c-code-to-misra-c2012-compliance">
      昨天
    </A>
    。
  
  
    假设32位寄存器，那么解决它的迂腐方法是使用临时变量：
  
   <pre>
 <code>
 uint32_t rxreg = U1RXREG
buf[count] = rxreg;

</code>
 </pre>
  
    就机器代码和程序行为而言，这相当于原始代码。
  
</DIV>