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

Umgebungseinstellungen

Präprozessor-Skript, Include-Dateien

Verwenden Sie die Optionen der Umgebungseinstellungen, um bestimmte Kompilierungsfehler zu umgehen. Bevor Sie diese Optionen verwenden, geben Sie die Ziel und Compiler-Optionen an. Verbleibende Kompilierungsfehler können Sie mit den Makros-Optionen zum Entfernen oder einfachen Ersetzen nicht erkannter Token umgehen. Komplexere Lösungen für Kompilierungs- und Link-Fehler bieten die folgenden Optionen. Sie können zum Beispiel ein Perl-Skript angeben, das jedes Auftreten eines nicht unterstützten Codekonstrukts durch reguläre Ausdrücke ersetzt.

Polyspace-Optionen

Quellcode-Codierung (-sources-encoding)Specify the encoding of source files
Code von DOS- or Windows-Dateisystem (-dos)Consider that file paths are in MS-DOS style
Analyse abbrechen, wenn eine Datei nicht kompiliert wird (-stop-if-compile-error)Specify that a compilation error must stop the analysis
Befehl/Skript auf vorbereitete Dateien anwenden (-post-preprocessing-command)Specify command or script to run on source files after preprocessing phase of analysis
Include (-include)Specify files to be #include-ed by each C file in analysis

Themen