MISRA C:2012 Rule 15.7

All if … else if constructs shall be terminated with an else statement

このページをすべて展開する

説明

ルール定義

All if … else if constructs shall be terminated with an else statement 1 .

根拠

if...elseif...else 構造を else ステートメントで終了させない限り、コード レビューのときに、if 条件に対して考えられるすべての結果が考慮されているかを判別するのは容易ではありません。

トラブルシューティング

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

例

すべて展開する

#include<stdbool.h>
void action_1(void);
void action_2(void);

void f1(bool flag_1, bool flag_2) {
	if(flag_1) {
		action_1();
	}
	else if(flag_2) {/* Non-compliant */ 
		action_2();
	}
}

この例では、if ... else if 構造に終了の else ブロックがないため、ルールに違反します。

修正 — else ブロックを追加

ルール違反を回避するには、終了の else ブロックを追加します。たとえば、この else ブロックは、例外を処理したり、空にしたりできます。

#include<stdbool.h>
bool ERROR = 0;
void action_1(void);
void action_2(void);

void f1(bool flag_1, bool flag_2) {
	if(flag_1) {
		action_1();
	}
	else if(flag_2) {
		action_2();
	}else{
		// Can be empty
		ERROR = 1; 
	}
}

チェック情報

グループ: 制御フロー
カテゴリ: 必要
AGC カテゴリ: Readability

バージョン履歴

R2014b で導入

参考

|

トピック

1 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.