Die Übersetzung dieser Seite ist veraltet. Klicken Sie hier, um die neueste Version auf Englisch zu sehen.

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

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.

Sprachstandards und Erweiterungen

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.