-compiler tasking)Задайте Altium ОПРЕДЕЛЯЮЩИЙ ЗАДАЧУ для компилятора
Задайте tasking для Compiler (-compiler) если вы компилируете свой код с помощью компилятора Altium® TASKING. Путем определения компилятора можно избежать ошибок компиляции от синтаксиса, который не является частью Стандарта, но прибывает из расширений языка.
Затем задайте свой тип целевого процессора. Если вы выбираете tasking для Compiler, в пользовательском интерфейсе десктопных решений Polyspace®, вы видите, что только процессоры допускали ОПРЕДЕЛЯЮЩИЙ ЗАДАЧУ компилятор. Ваш выбор целевого процессора определяет размер основополагающих типов данных, порядок байтов целевой машины и определенных определений ключевого слова.
Если вы задаете tasking компилятор, необходимо задать путь к заголовочным файлам компилятора. Смотрите Обеспечивают Стандартные Заголовки Библиотеки для Анализа Polyspace.
Программное обеспечение поддерживает различные версии ОПРЕДЕЛЯЮЩЕГО ЗАДАЧУ компилятора, в зависимости от цели:
TriCore: 6.0 и более старые версии
C166: 4.0 и более старые версии
ARM: 5.2 и более старые версии
RH850: 2.2 и более старые версии
Цели используют следующие размеры по умолчанию в битах для фундаментальных типов. В отличие от целей для других компиляторов, вы не видите эти размеры в пользовательском интерфейсе.
| Цель | 'char' | короткий | int | долго | долго долго | плавание | 'double' | долго дважды | ptr | Знак по умолчанию char | Порядок байтов | Выравнивание |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
tricore | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | со знаком | Мало | 32 |
c166 | 8 | 16 | 16 | 32 | 64 | 32 | 64 | 64 | 32 | со знаком | Мало | 16 |
rh850 | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | со знаком | Мало | 64 |
arm | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | со знаком | Большой | 64 |
Кроме того, wchar_t интерпретирован как unsigned short и size_t интерпретирован как unsigned int.
Polyspace не поддерживает некоторые построения, характерные для ОПРЕДЕЛЯЮЩЕГО ЗАДАЧУ компилятора.
Для списка неподдерживаемых построений смотрите codeprover_limitations.pdf в polyspaceroot\polyspace\verifier\code_prover_desktoppolyspacerootC:\Program Files\Polyspace\R2019a.
Используемый центральный процессор является TC1793. Если вы используете различный центральный процессор, устанавливаете следующие аналитические опции в вашем проекте:
Disabled preprocessor definitions (-U): Не задайте макро-__CPU_TC1793B__.
Preprocessor definitions (-D): Задайте макро-__CPU__. Войдите __ центральный процессор __ =, где xxxxxx имя вашего центрального процессора.
Кроме того, задайте эквивалент макро-__CPU_TC1793B__ для вашего центрального процессора. Например, введите __CPU_TC1793A__.
Вместо того, чтобы вручную задать ваш компилятор, если вы прослеживаете свою команду сборки (make-файл), Polyspace может обнаружить ваш центральный процессор и добавить необходимые определения в вашем проекте.
Для некоторых ошибок, связанных с ОПРЕДЕЛЕНИЕМ ЗАДАЧУ для специфичных для компилятора построений, смотрите решения по Ошибкам, Связанным с ОПРЕДЕЛЕНИЕМ ЗАДАЧУ для Компилятора.
Параметр: -compiler tasking -target |
Значение: tricore | c166 | rh850 | arm |
Значение по умолчанию: tricore |
Пример (средство поиска ошибки): polyspace-bug-finder -compiler tasking -target tricore |
Пример (программа автоматического доказательства кода): polyspace-code-prover -compiler tasking -target tricore |
Пример (сервер средства поиска ошибки):
polyspace-bug-finder-server -compiler tasking -target tricore |
Пример (сервер программы автоматического доказательства кода):
polyspace-code-prover-server -compiler tasking -target tricore |