规则 14.2 for 循环应为 MISRA C 2012 格式良好

Question

为什么我的 MISRA 规则分析工具报告了此 for 循环的可能违规？ 例如

for(; i != 0 ; i = f(r) ) { int a = 9 + i; }

Answer 1

根据 MISRA C 2012 文档， for语句的第三个子句应该是一个表达式，其唯一持久的副作用是修改循环计数器的值，并且它不得使用在for循环体中修改的对象。 这些限制也适用于在for语句中调用的所有函数。

根据您提供的代码，我可以猜测f(r)函数调用包含副作用，例如修改全局变量或r参数。 满足规则 14.2 文本中描述的所有其他要求。