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 の一部の違反にフラグを立てます。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

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 ステートメントの制御式に対して違反が報告される

Polyspace は、switch ステートメントの制御式が常に true または常に false になる場合、違反を報告するようになりました。

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)

トピック

• コーディング規約違反のチェックおよびレビュー

---

¹ All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.