Sfr type support (-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^® user interface (desktop products only): In your project configuration, select the Target & Compiler node and then enter values for this option. See Dependencies for other options you must enable first.

• Polyspace Platform user interface (desktop products only): In your project configuration, on the Build tab, select the Target & Compiler node and then enter values for this option. See Dependencies for other options you must enable first.

• 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 Compiler (-compiler) is set to keil or iar.

Command-Line Information

Syntax: -sfr-types sfr_name=size_in_bits,...

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 ...