Questa pagina si riferisce alla release precedente. La corrispondente pagina in inglese è stata rimossa nella release attuale.

Target e compiler

Tipo di processore target, comportamento del compiler

Per adattare la configurazione all’ambiente di runtime, specificare le opzioni target e compiler. L'analisi utilizza queste opzioni per determinare le dimensioni delle variabili, le estensioni del linguaggio e il comportamento specifico del compiler. Se si verificano ancora errori di compilazione, è possibile aggirare errori specifici con le opzioni di Macro e della categoria Impostazioni ambiente.

Opzioni Polyspace

espandi tutto

Linguaggio

`Linguaggio del codice sorgente (-lang)`	Specify language of source files
`Versione standard C (-c-version)`	Specify C language standard followed in source code
`Versione standard C++ (-cpp-version)`	Specify C++ language standard followed in source code

Compiler

Obbligatorio

`Compiler (-compiler)`
`Tipo di processore target (-target)`	Specify size of data types and endianness by selecting a predefined target processor or creating a custom processor
`Opzioni target generiche`	Specify size of data types and endianness by creating your own target processor

Opzionale

`Gestione di size_t (-size-t-type-is)`	Specify the underlying data type of `size_t`
`Gestione di wchar_t (-wchar-t-type-is)`	Specify the underlying data type of `wchar_t`
`Blocco dei tipi char16/32_t (-no-uliterals)`	Disable Polyspace definitions for `char16_t` or `char32_t`
`Supporto per il tipo Sfr (-sfr-types)`	Specify sizes of `sfr` types for code developed with Keil or IAR compilers
`Valore di allineamento pack (-pack-alignment-value)`	Specify default structure packing alignment for code developed in Visual C++
`Ignorare le direttive pragma pack (-ignore-pragma-pack)`	Ignore `#pragma pack` directives

Avanzato

`Arrotondamento per difetto nella divisione (-div-round-down)`	Round down quotients from division or modulus of negative numbers instead of rounding up
`Definizione del tipo enum (-enum-type-definition)`	Specify how to represent an `enum` with a base type
`Spostamento a destra con segno (-logical-signed-right-shift)`	Specify how to treat the sign bit for logical right shifts on signed variables

Argomenti

Come iniziare

Specify Polyspace Analysis Options
Specify Polyspace^® analysis options in Polyspace user interface, other IDE-s or scripts.

Emulazione del compiler

Configure Sources and Build Options in Project for Polyspace Analysis and Testing
Set build options in Polyspace project configuration, generate source paths and build options using build command or compilation database.
Create Polyspace Platform Projects from Builds That Use Makefiles

Reuse build information in makefiles for Polyspace analysis and testing.
- Requirements for Polyspace Project Creation from Build Systems
Provide Standard Library Headers for Polyspace Analysis
Find paths to C or C++ standard library headers from your compiler and specify the paths in your Polyspace project.

Standard di linguaggio ed estensioni

C/C++ Language Standard Used in Polyspace Analysis

See supported language standards and the default standard used in Polyspace analysis.
Keil or IAR Language Extensions Supported with Polyspace
Find which Keil or IAR-specific extensions of the C language standard are supported for verification.