MISRA C++:2008 Rule 15-0-3

Control shall not be transferred into a try or catch block using a goto or a switch statement.

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

説明

ルール定義

Control shall not be transferred into a try or catch block using a goto or a switch statement. 1

根拠

goto または switch ステートメントを使用して try ブロックまたは catch ブロックに制御を移すと、理解しにくい不適格コードになります。このようなコードの意図された動作を特定するのは困難であり、コードが予期せぬ動作になる可能性があります。唐突に例外処理ブロックに入ると、コンパイラによってはコンパイル エラーが発生する可能性や、問題を診断しない可能性があります。コードを理解しやすいものに改善し、予期せぬ動作を減らすには、try または catch ブロックに制御を移さないようにします。

Polyspace 実装

Polyspace® は、try または catch ブロックにジャンプする goto および switch ステートメントにフラグを設定します。

トラブルシューティング

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

例

すべて展開する

#include<cstdint>
void foo ( int32_t input )
{
	if ( input==1 )
	{
		goto Label_1; // Noncompliant
	}
	if ( input==2 )
	{
		goto Label_2; // Noncompliant
	}
	switch ( input ) //Noncompliant
	{
	case 1:
		try
		{
			Label_1:
		case 2: 
			break;
		}
		catch ( ... )
		{
			Label_2:
		case 3: 
			break;
		}
		break;
	default:
		{
			//...
			break;
		}
	}
}

この例では、goto および switch ステートメントを使用して try-catch ブロックにジャンプしています。try-catch ブロックにジャンプすると、コードが理解しにくいものになります。唐突に try ブロックまたは catch ブロックに制御を移すと、コンパイル エラーが発生する可能性があります。Polyspace は、goto および switch ステートメントにフラグを設定します。

チェック情報

グループ: Exception Handling
カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

トピック

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.