Целевой объект и компилятор

Задайте целевое окружение

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

Опции анализа

расширить все

Язык

`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)`	Задайте, как обработать бит знака для логических правых сдвигов на подписанных переменных