Цель и компилятор

Тип целевого процессора, поведение компилятора

Чтобы соответствовать среде выполнения, укажите параметры конечного объекта и компилятора. Анализ использует эти параметры для определения размеров переменных, языковых расширений и специфичного для компилятора поведения. При наличии ошибок компиляции можно обойти определенные ошибки с помощью опций из категории «Макросы и параметры среды».

Параметры анализа

развернуть все

Язык

`Source code language (-lang)`	Укажите язык исходных файлов
`C standard version (-c-version)`	Укажите стандарт языка C, следующий в исходном коде
`C++ standard version (-cpp-version)`	Укажите стандарт языка C++, следующий в исходном коде

Компилятор

Необходимый

`Compiler (-compiler)`	Укажите компилятор, используемый для создания исходного кода
`Target processor type (-target)`	Укажите размер типов данных и диапазон, выбрав предопределенный целевой процессор
`Generic target options`	Укажите размер типов данных и диапазон, создав собственный целевой процессор

Дополнительный

`Management of size_t (-size-t-type-is)`	Укажите базовый тип данных `size_t`
`Management of wchar_t (-wchar-t-type-is)`	Укажите базовый тип данных `wchar_t`
`Block char16/32_t types (-no-uliterals)`	Отключить определения Polyspace для `char16_t` или `char32_t`
`Sfr type support (-sfr-types)`	Укажите размеры `sfr` типы для кода, разработанного с помощью компиляторов Keil или IAR
`Pack alignment value (-pack-alignment-value)`	Укажите выравнивание упаковки структуры по умолчанию для кода, разработанного в Visual C++
`Ignore pragma pack directives (-ignore-pragma-pack)`	Проигнорировать `#pragma pack` директивы

Расширенный

`Division round down (-div-round-down)`	Округление частных от деления или модуля отрицательных чисел вместо округления вверх
`Enum type definition (-enum-type-definition)`	Укажите, как представлять `enum` с базовым типом
`Signed right shift (-logical-signed-right-shift)`	Укажите, как обрабатывать бит знака для логических сдвигов вправо для подписанных переменных

Темы

Начало

Задать параметры анализа в пространстве

Задайте параметры анализа Polyspace ® в интерфейсе пользователя Polyspace, других среде IDE или сценариях.

Эмуляция компилятора

Определение целевой среды и поведения компилятора

Узнайте, как определить параметры целевого & компилятора.

Требования к созданию проекта из систем сборки

Узнайте, почему автоматическое создание проекта Polyspace может не работать для вашей системы сборки и как обойти некоторые причины.

Предоставление стандартных заголовков библиотек для анализа в пространстве

Найдите пути к стандартным заголовкам библиотеки C или C++ из компилятора и укажите пути в проекте Polyspace.

Языковые стандарты и расширения

Стандарт языка C/C + +, используемый при анализе полиспейса

См. поддерживаемые языковые стандарты и стандарт по умолчанию, используемый в анализе Polyspace.

Поддерживаемые расширения языка Keil или IAR

Найдите, какие расширения стандарта языка C, специфичные для Keil или IAR, поддерживаются для проверки.

Документация