Green Hills Compiler (-compiler greenhills)

Задайте компилятор Green Hills

Описание

Задайте greenhills для Compiler (-compiler) если вы компилируете свой код с помощью компилятора Green Hills®. Путем определения компилятора можно избежать ошибок компиляции от синтаксиса, который не является частью Стандарта, но прибывает из расширений языка.

Затем задайте свой тип целевого процессора. Если вы выбираете greenhills для Compiler, в пользовательском интерфейсе десктопных решений Polyspace®, вы видите, что только процессоры допускали компилятор Green Hills. Ваш выбор целевого процессора определяет размер основополагающих типов данных, порядок байтов целевой машины и определенных определений ключевого слова.

Если вы задаете greenhills компилятор, необходимо задать путь к заголовочным файлам компилятора. Смотрите Обеспечивают Стандартные Заголовки Библиотеки для Анализа Polyspace.

Настройки

Цели используют следующие размеры по умолчанию в битах для фундаментальных типов. Вы не видите эти размеры в пользовательском интерфейсе десктопных решений Polyspace.

Цель'char'короткийintдолгодолго долгоплавание'double'долго дваждыptrЗнак по умолчанию charПорядок байтовВыравниваниеОпределение size_tОпределение wchar_t
powerpc81632326432646432без знакаБольшой64int без знакаподписываемый долго
powerpc6481632646432646464без знакаБольшой64без знака долгоint со знаком
arm81632326432646432без знакаМало32int без знакакороткое целое без знака
arm6481632646432646464без знакаМало64без знака долгоint со знаком
tricore81632326432646432со знакомМало32int без знакаподписываемый долго
rh85081632326432646432со знакомМало64int без знакаподписываемый долго
i38681632326432649632со знакомМало32int без знакаподписываемый долго
x86_64816326464326412864со знакомМало128без знака долгоint со знаком

Советы

  • Если вы сталкиваетесь с ошибками во время анализа Polyspace, смотрите Ошибки, Связанные с компилятором Green Hills

  • Polyspace поддерживает встроенную настройку для цели i386. Если ваш x86 компилятор Green Hills сконфигурирован для нативной разработки Windows®, вы видите ошибки компиляции или неправильные результаты анализа с Программой автоматического доказательства Кода. Контакт с технической поддержкой.

    Например, компиляторы Green Hills рассматривают размер 12 байтов для long double для целевых процессоров, но 8 байтов для нативного Windows. Polyspace рассматривает 12 байтов по умолчанию.

  • Если вы создаете проект Polyspace из команды сборки, которая использует компилятор Green Hills, параметры компилятора -filetype и -os_dir не реализованы в проекте. Эмулировать -os_dir опция, можно явным образом добавить параметр пути опции как включать папка к проекту Polyspace.

Информация о командной строке

Параметр: -compiler greenhills -target
Значение: powerpc | powerpc64 | arm | arm64 | tricore | rh850 | arm | i386 | x86_64
Значение по умолчанию: powerpc
Пример (средство поиска ошибки): polyspace-bug-finder -compiler greenhills -target arm
Пример (программа автоматического доказательства кода): polyspace-code-prover -compiler greenhills -target arm
Пример (сервер средства поиска ошибки): polyspace-bug-finder-server -compiler greenhills -target arm
Пример (сервер программы автоматического доказательства кода): polyspace-code-prover-server -compiler greenhills -target arm

Введенный в R2017b