このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
MISRA C:2023 Dir 4.6
説明
命令の定義
基本数値型の代わりに、サイズと符号属性を示す typedefs を使用する必要があります。
根拠
割り当てられるメモリ量が重要な場合、特定長の型を使うことで各オブジェクトに予約されたストレージの量が明確になります。
Polyspace 実装
ルール チェッカーは、変数または関数の宣言と定義における基本データ型の使用に対してフラグを設定します。このルールでは、代わりに typedef の使用が強制されます。
ルール チェッカーは、typedef ステートメント自体での基本型の使用にはフラグを設定しません。
トラブルシューティング
ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。
例
チェック情報
| グループ: Code design |
| カテゴリ: 推奨 |
| AGC カテゴリ: 推奨 |
バージョン履歴
R2024a で導入