既定の選択肢をもたないバリアント ブロックの確認

チェック ID: mathworks.misra.DefaultChoiceVariantChecks

[キャスト モード] が [標準準拠] に設定されている場合に、既定の選択肢をもたない、バリアントのアクティベーションのタイミングが [起動] であるバリアント ブロックを特定します。

説明

このチェックの推奨事項に従うと、組み込みアプリケーション用の MISRA C:2012 および MISRA C:2023 準拠コードが生成される可能性が高くなります。

Embedded Coder^® および Simulink^® Check™ で使用できます。

結果と推奨アクション

条件	推奨アクション
バリアント ブロックに既定の選択肢が含まれていないが、[キャスト モード] が [標準準拠] に設定されている。	バリアント ブロックの選択肢の 1 つとして、既定の選択肢を追加します。

機能および制限事項

• バリアント ブロックの内容が解析されます。

編集時チェック

このチェックは編集時チェックでサポートされます。