La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

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

Obbligatorio

Compiler (-compiler)Specify the compiler that you use to build your source code
Tipo di processore target (-target)Specify size of data types and endianness by selecting a predefined target processor
Opzioni target genericheSpecify 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
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

Emulazione del compiler

Standard di linguaggio ed estensioni