Contenu principal

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

Requis

Compiler (-compiler)Specify the compiler that you use to build your source code
Target processor type (-target)Specify size of data types and endianness by selecting a predefined target processor
Generic target optionsSpecify 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
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

Émulation de votre compilateur

Normes de langage et extensions