Diese Seite ist für die vorige Version. Die entsprechende englische Seite wurde in der aktuellen Version entfernt.

Ziel und Compiler

Zielprozessortyp, Compiler-Verhalten

Geben Sie zum Anpassen der Laufzeitumgebung die Ziel- und Compiler-Optionen an. Bei der Analyse werden diese Optionen verwendet, um Variablengrößen, Spracherweiterungen und das Compiler-spezifische Verhalten zu bestimmen. Wenn immer noch Kompilierungsfehler auftreten, können Sie bestimmte Fehler mit Optionen aus den Kategorien Makros und Umgebungseinstellungen umgehen.

Polyspace-Optionen

alle erweitern

Sprache

`Quellcode-Sprache (-lang)`	Specify language of source files
`C Standard-Version (-c-version)`	Specify C language standard followed in source code
`C++ Standard-Version (-cpp-version)`	Specify C++ language standard followed in source code

Compiler

Erforderlich

`Compiler (-compiler)`
`Zielprozessor-Typ (-target)`	Specify size of data types and endianness by selecting a predefined target processor or creating a custom processor
`Allgemeine Zieloptionen`	Specify size of data types and endianness by creating your own target processor

Optional

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

Erweitert

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

Themen

Erste Schritte

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

Emulieren Ihres Compilers

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.

Sprachstandards und Erweiterungen

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.