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

There should be at least one exception handler to catch all otherwise unhandled exceptions

説明

ルール定義

There should be at least one exception handler to catch all otherwise unhandled exceptions 1

Polyspace 実装

チェッカーは、以下の条件が 1 つでも満たされた場合に、違反を報告します。

  • main 関数内に try/catch が含まれていない。

  • catch ブロックに catch-all (catch(...)) ハンドラー ブロックが含まれていない。

main 関数が存在しない場合、このルールはチェックされません。

チェッカーは、未処理の型の例外が最終的に main に伝播するかどうかを判断しません。

トラブルシューティング

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

チェック情報

グループ: 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.