Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.

Cible et compilateur

Type de processeur cible, comportement du compilateur

Pour correspondre à votre environnement run-time, spécifiez les options de la cible et du compilateur. L'analyse utilise ces options pour déterminer la taille des variables, les extensions de langage et le comportement spécifique du compilateur. Si vous continuez de rencontrer des erreurs de compilation, vous pouvez contourner des erreurs spécifiques avec des options des catégories Macros et Paramètres de l’environnement.

Options Polyspace

développer tout

Langage

`Langage du code source (-lang)`	Specify language of source files
`Version de la norme C (-c-version)`	Specify C language standard followed in source code
`Version de la norme C++ (-cpp-version)`	Specify C++ language standard followed in source code

Compilateur

Requis

`Compiler (-compiler)`
`Target processor type (-target)`	Specify size of data types and endianness by selecting a predefined target processor or creating a custom processor
`Generic target options`	Specify size of data types and endianness by creating your own target processor

Facultatif

`Management of size_t (-size-t-type-is)`	Specify the underlying data type of `size_t`
`Management of wchar_t (-wchar-t-type-is)`	Specify the underlying data type of `wchar_t`
`Block char16/32_t types (-no-uliterals)`	Disable Polyspace definitions for `char16_t` or `char32_t`
`Sfr type support (-sfr-types)`	Specify sizes of `sfr` types for code developed with Keil or IAR compilers
`Pack alignment value (-pack-alignment-value)`	Specify default structure packing alignment for code developed in Visual C++
`Ignore pragma pack directives (-ignore-pragma-pack)`	Ignore `#pragma pack` directives

Avancé

`Division round down (-div-round-down)`	Round down quotients from division or modulus of negative numbers instead of rounding up
`Enum type definition (-enum-type-definition)`	Specify how to represent an `enum` with a base type
`Signed right shift (-logical-signed-right-shift)`	Specify how to treat the sign bit for logical right shifts on signed variables

Rubriques

Pour commencer

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

Émulation de votre compilateur

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.

Normes de langage et extensions

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.