MISRA C++:2008 Rule 6-4-3

A switch statement shall be a well-formed switch statement.

説明

ルール定義

A switch statement shall be a well-formed switch statement. ¹

根拠

C++ 規約の構文ルールの他に、MISRA は適格 switch ステートメントの作成に関する独自の構文ルールを定義しています。この追加の構文ルールにより、switch ステートメントの構造の一貫性が確保されます。

追加の MISRA 構文ルールには以下のものがあります。

ルール	構文
switch-statement	`switch` (condition) {case-label-clause-list default-label-clause_opt}
case-label-clause-list	case-label case-clause_opt case-label-clause-list case-label case-clause_opt
case-label	`case` const-expression
case-clause	case-block-seq_opt `break` ; case-block-seq_opt `throw` assignment-expression_opt ; { statement-seq_opt `break` ; } { statement-seq_opt `throw` assignment-expression_opt ; }
default-label-clause	default-label default-clause
default-label default-clause	`default` : case-clause
case-block	expression_statement compound_statement selection_statement iteration_statement try_block
case-block-seq	case-block case-block-seq case-block

この表の項目の定義は次のとおりです。

switch-label — case-label または default-label。
case-clause — 任意の 2 つの switch-labels で囲まれたコード。
default-clause — default-label から switch ステートメントの終わりまでの間のコード。
switch-clause — case-clause または default-clause。

MISRA C++ switch 構文ルールは、次のステートメントを含まないものの、switch-clause ステートメントの本体を形成する複合ステートメント内でこれらを使用することを許可します。

labelled_statement
jump_statement
declaration_statement

Polyspace 実装

ルールチェッカーは、次の場合に違反を報告します。

switch ステートメントと最初の case ステートメントの間に別のステートメントが発生する。
次に例を示します。
```
switch(ch) {
  int temp;
  case 1:
    break;
  default:
    break;
}
```
switch ブロック内にラベルまたは goto や return などのジャンプステートメントが発生する。
すべてのブロックの外の case ステートメント内で変数を宣言している。
次に例を示します。
```
switch(ch) {
  case 1: 
    int temp;
    break;
  default:
    break;
}
```

トラブルシューティング

ルール違反が想定されるものの、Polyspace^® から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。

例

すべて展開する

適格 Switch ステートメントに関する MISRA ルールへの準拠

この例は、MISRA の適格 switch ステートメントに関する 2 つのルールに従っていません。

switch ステートメントと最初の case ステートメントの間に int temp; ステートメントが発生する。
case 2 に return ステートメントが含まれている。

switch ステートメント内に複数の違反がありますが、Polyspace は、switch ステートメント全体について 1 つの違反を報告します。

int example(int x)
{
	switch (x) {			//Noncompliant
		int temp;
		case 0:
			break;
		case 1:
		case 2:
			return x;
		default:  
			break;
	}

	return x;
}

チェック情報

グループ: Statements

カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

MISRA C++:2008 をチェック (-misra-cpp)

トピック

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

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.