Cible et compilateur
Type de processeur cible, comportement du compilateur
Pour correspondre à votre environnement run-time, spécifiez les options de la cible et du compilateur. L'analyse utilise ces options pour déterminer la taille des variables, les extensions de langage et le comportement spécifique du compilateur. Si vous continuez de rencontrer des erreurs de compilation, vous pouvez contourner des erreurs spécifiques avec des options des catégories Macros et Paramètres de l’environnement.
Options Polyspace
Rubriques
Pour commencer
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.
Émulation de votre compilateur
- 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.
- 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.
Normes de langage et extensions
- 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.