c - For 循环应该是良构的

Question

MISRA C-2012 控制流表达式(MISRA C-2012 规则 14.2)

1. misra_c_2012_rule_14_2_violation:for 循环子句中使用的表达式 i 在循环体中被修改。

  for( i = 0; i < FLASH; i++ )
  {
    if( name.see[i] == 0xFF )
    {
      name.see[ i ] = faultId | mnemonicType;

1. modify_expr:修改表达式 i。

      i =  FLASH-1; /* terminate loop */
    }    
  }  

Answer 1

不允许在循环体内修改循环迭代器 i，这样做是毫无意义的，也是非常糟糕的做法。将混淆后的代码i = FLASH-1;替换为break;。