-sfr-types
Keil または IAR コンパイラで開発したコードに対する sfr 型のサイズの指定
説明
sfr 型 (特殊機能レジスタを定義する型) のサイズを指定します。
オプションの設定
以下のいずれかの方法を使用してオプションを設定します。
Polyspace Platform ユーザー インターフェイス (デスクトップ製品のみ): このオプションは、Polyspace® Platform プロジェクトでは使用できません。必要に応じて、コマンド ライン バージョンのオプションを詳細オプションとして指定します。ユーザー インターフェイスで詳細オプションを指定する方法の詳細については、
その他を参照してください。コマンド ラインとオプション ファイル: オプション
-sfr-typesを使用します。コマンド ライン情報を参照してください。
このオプションを使用する理由
コードに sfr addr = 0x80; のようなステートメントが含まれる場合はこのオプションを使用します。sfr 型は標準の C 言語の型ではありません。そのため、Polyspace 解析ではそのサイズを明示的に指定しなければなりません。
設定
既定値なし
各 sfr の名前とサイズ (ビット単位) をリストします。
依存関係
このオプションは、[コンパイル ツールチェーン (静的解析)] が [keil] または [iar] に設定されている場合にのみ使用できます。
コマンド ライン情報
構文: -sfr-types |
| 既定値なし |
名前の値: sfr16 などの sfr 名。 |
サイズ値: 8 | 16 | 32 |
例 (Bug Finder): polyspace-bug-finder -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
例 (Code Prover): polyspace-code-prover -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
例 (Bug Finder Server): polyspace-bug-finder-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
例 (Code Prover Server): polyspace-code-prover-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
