Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.

Objetivo y compilador

Tipo de procesador objetivo, comportamiento del compilador

Para que coincidan con el entorno en tiempo de ejecución, especifique el objetivo y las opciones del compilador. El análisis utiliza estas opciones para determinar los tamaños de las variables, las extensiones del lenguaje y el comportamiento específico del compilador. Si sigue obteniendo errores de compilación, puede resolver errores específicos con las opciones de las categorías Macros y Configuración del entorno.

Opciones de Polyspace

expandir todo

Lenguaje

`Lenguaje de código fuente (-lang)`	Specify language of source files
`Versión estándar de C (-c-version)`	Specify C language standard followed in source code
`Versión estándar de C++ (-cpp-version)`	Specify C++ language standard followed in source code

Compilador

Obligatorio

`Compilador (-compiler)`
`Tipo de procesador objetivo (-target)`	Specify size of data types and endianness by selecting a predefined target processor or creating a custom processor
`Opciones objetivo genéricas`	Specify size of data types and endianness by creating your own target processor

Opcional

`Gestión de size_t (-size-t-type-is)`	Specify the underlying data type of `size_t`
`Gestión de wchar_t (-wchar-t-type-is)`	Specify the underlying data type of `wchar_t`
`Bloquear tipos char16/32_t (-no-uliterals)`	Disable Polyspace definitions for `char16_t` or `char32_t`
`Compatibilidad con tipos sfr (-sfr-types)`	Specify sizes of `sfr` types for code developed with Keil or IAR compilers
`Valor de alineación de empaquetado (-pack-alignment-value)`	Specify default structure packing alignment for code developed in Visual C++
`Ignorar directivas pragma pack (-ignore-pragma-pack)`	Ignore `#pragma pack` directives

Avanzado

`Redondeo hacia abajo de divisiones (-div-round-down)`	Round down quotients from division or modulus of negative numbers instead of rounding up
`Definición del tipo de enumeración (-enum-type-definition)`	Specify how to represent an `enum` with a base type
`Desplazamiento a la derecha con signo (-logical-signed-right-shift)`	Specify how to treat the sign bit for logical right shifts on signed variables

Temas

Introducción

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

Emular el compilador

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.

Estándares y extensiones del lenguaje

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.