La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

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)`	Specify the compiler that you use to build your source code
`Tipo de procesador objetivo (-target)`	Specify size of data types and endianness by selecting a predefined target 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

Specify Target Environment and Compiler Behavior
Learn the workflow for specifying Target & Compiler options.
Create Polyspace Analysis Configuration from Build Command (Makefile)

Reuse build commands (makefiles) to configure the Polyspace analysis.
- Requirements for Project Creation from Build Systems
- Create Polyspace Analysis Configuration Based on Android Builds
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.
Supported Keil or IAR Language Extensions
Find which Keil or IAR-specific extensions of the C language standard are supported for verification.