MISRA C 2012 Rule 15.4下多break的do-while(0)替代goto写法合规性问询

• 提问者提出的“do { } while(0u);不属于迭代语句”的观点完全不成立
• 给定示例代码不符合MISRA C 2012 Rule 15.4的要求
• 该代码无法通过主流MISRA合规检查工具的自动验证，会触发对应规则的违规告警

C语言语法层面的迭代语句定义 #

按照C语言标准的语法分类，迭代语句固定包含三类合法结构：

• while (表达式) 语句
• do 语句 while (表达式);
• for (可选表达式; 可选表达式; 可选表达式) 语句
  语法分类仅识别代码结构，完全不判断循环表达式的运行时值：哪怕do...while(0u)的条件恒为假、循环体实际仅会执行一次，它在语法上依然属于标准定义的do-while型迭代语句，不存在任何例外。

MISRA C 2012 Rule 15.4的适用边界 #

Rule 15.4的规则管辖范围完全对齐C语言标准的迭代语句定义，没有设置“逻辑上无迭代行为就豁免”的特殊条款：

任意迭代语句至多只能使用一个break或goto语句作为终止语句

规则的设计目的是限制循环退出路径的复杂度，降低多分支退出逻辑带来的可读性风险。判定时仅做静态语法溯源：只要某条break语句的语义是终止对应迭代语句的执行，就会被计入该迭代语句的终止语句计数，和break挂载在多少个条件分支下、循环实际执行多少次没有关系。

给定代码中的外层do { ... } while(0u)属于典型的do-while迭代语句，代码内部共存在2条直接作用于该迭代语句的break语句：

• 第一条break在do_smth()执行失败时触发，直接跳出循环
• 第二条break在do_smth2()执行失败时触发，同样直接跳出循环

两条break都属于该迭代语句的有效终止语句，计数超过了规则要求的“至多1个”的上限，构成明确违规。
提问者原本想用该写法替代被禁用的级联goto，实现“任意步骤失败即终止后续流程”的顺序退出需求，目标可以理解，但由于采用的包装结构本身属于规则管辖的迭代语句，会直接触发15.4的限制，无法达成合规预期。

主流MISRA合规检查工具对Rule 15.4的判定完全基于语法树结构识别：

• 工具会遍历全部代码的语法树，定位所有属于迭代语句的节点，不会因为while条件为常量0就跳过识别
• 工具会向上溯源每一条break语句所属的最内层迭代语句/switch语句，统计每个迭代语句下属的有效break/goto终止语句数量
• 对于本示例的代码结构，工具会直接识别出2条指向同一个do-while迭代语句的break，触发15.4的违规告警，无法通过合规验证。

内容的提问来源于stack exchange，提问作者radoslav006