MISRA C:2012 Rule 14.3

Controlling expressions shall not be invariant

全页展开

描述

规则定义

Controlling expressions shall not be invariant ¹ .

理由

如果控制表达式（例如 if 条件）具有常量值，则不变的值可能指向编程错误。

Polyspace 实现

如果控制语句的控制表达式始终为 true 或 false，则检查项会报告违规。Polyspace^® 检查的控制语句包括：

if, switch
for, while, do-while
三元 (?:) 运算符

Polyspace Bug Finder™ 通过死代码和无用的 if 条件检查项标记一些违反 MISRA C™ 14.3 的情形。

故障排除

如果您预计存在违规，但未看到该违规，请参阅Diagnose Why Coding Standard Violations Do Not Appear as Expected。

示例

全部展开

`if` 条件始终为 true

在此示例中，将 16 位无符号整数 u16var 与 if 语句中的 0xffffu 进行比较。由于 u16var 是一个 16 位无符号整数，因此它的值不能大于 0xffffu。if 语句始终为 true。Polyspace 会报告违反此规则的情形。

#include<stdint.h>

uint16_t u16var;
void foo(){
	if(u16var<=0xffffu){  //Noncompliant
		//...
	}
}

检查信息

组：控制语句表达式

类别：必需

AGC 类别：必需

版本历史记录

全部展开

R2025a: 报告 `switch` 语句的控制表达式违规

现在，如果 switch 语句的控制表达式始终为 true 或 false，则 Polyspace 会报告违规。

R2024b: 报告 `do-while` 循环的控制表达式违规

如果同时存在以下两种情形，Polyspace 现在会报告 do-while 循环的控制表达式违规：

控制表达式的计算结果为 false。
控制表达式不满足整数常量表达式的约束和语义。

例如，以下代码中循环表达式的计算结果不为 false，并且 Polyspace 报告违规。

void h() {
	int s8a = 0;
	do
	{
        //...
	} while((s8a < 10) && (s8a > 20)); // Noncompliant
}

R2023b: 更精确地实现死代码和不必要的条件检查

Polyspace 现在执行更精确的分析。以更高的精确度检测无法访问的代码和不必要的条件句。此外，违规的位置也更加精确。

另请参阅

MISRA C:2012 Rule 2.1 | MISRA C:2012 Rule 14.2 | 检查 MISRA C:2012 (-misra3)

主题

检查并审查编码标准违规

The MISRA coding standards referenced in the Polyspace Bug Finder documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.