MISRA C:2012 Rule 21.4

The standard header file <setjmp.h> shall not be used

説明

ルール定義

The standard header file <setjmp.h> shall not be used ¹ .

根拠

setjmp および longjmp を使用すると、通常の関数呼び出しメカニズムが回避されて未定義の動作が発生する可能性があります。

Polyspace 実装

関数 longjmp がマクロであり、コードに展開される場合、このルールに違反します。ルール 21.2 に違反していないことを前提としています。

レポート内の追加のメッセージ

• The macro '<name> shall not be used.

• Identifier XX should not be used.

トラブルシューティング

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

チェック情報

グループ: 標準ライブラリ

カテゴリ: 必要

AGC カテゴリ: 必要

バージョン履歴

R2014b で導入

参考

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.