-sfr-types
Specify sizes of sfr types for code developed with Keil or IAR compilers
Description
Specify sizes of sfr types (types that define special function registers).
Set Option
Set the option using one of these methods:
Polyspace Platform user interface (desktop products only): This option is not available in a Polyspace® Platform project. If required, specify the command-line version of the option as an advanced option. For more information on how to specify advanced options in the user interface, see
Other.Command line and options file: Use the option
-sfr-types. See Command-Line Information.
Why Use This Option
Use this option if you have statements such as sfr addr = 0x80; in your code. sfr types are not standard C types. Therefore, you must specify their sizes explicitly for the Polyspace analysis.
Settings
No Default
List each sfr name and its size in bits.
Dependencies
This option is available only when Compilation toolchain (Static analysis) is set to
keil or iar.
Command-Line Information
Syntax:
-sfr-types |
| No Default |
Name Value: an sfr name such as sfr16. |
Size Value:
8 | 16 | 32 |
Example (Bug Finder):
polyspace-bug-finder -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
Example (Code Prover):
polyspace-code-prover -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
Example (Bug Finder Server):
polyspace-bug-finder-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
Example (Code Prover Server):
polyspace-code-prover-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
