-compiler microchip)Задайте компилятор C MPLAB XC8
Задайте microchip для Compiler (-compiler) опция, если вы компилируете свой код с компилятором C MPLAB XC8. Путем определения компилятора можно избежать ошибок компиляции от синтаксиса, который не является частью Стандарта, но прибывает из расширений языка.
Затем задайте свой тип целевого процессора. Если вы выбираете microchip для Compiler, в пользовательском интерфейсе, вы видите, что только процессоры допускали компилятор C MPLAB XC8. Ваш выбор целевого процессора определяет размер основополагающих типов данных, порядок байтов целевой машины и определенные определения ключевого слова.
Если вы задаете microchip компилятор, необходимо задать путь к заголовочным файлам компилятора. Смотрите Обеспечивают Стандартные Заголовки Библиотеки для Анализа Polyspace.
Цель использует эти размеры по умолчанию в битах для фундаментальных типов. Вы не видите эти размеры в пользовательском интерфейсе.
| Цель | 'char' | короткий | int | долго | долго долго | плавание | 'double' | долго дважды | ptr | Знак по умолчанию char | Порядок байтов | Выравнивание | Определение size_t | Определение wchar_t |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
pic | 8 | 16 | 16 | 32 | 64 | 32 | 32 | 32 | 16 | без знака | Мало | 8 | int без знака | подписываемый долго |
Ваша спецификация компилятора также определяет значения многих специфичные для компилятора макросы. В случае, если вы хотите знать, как Polyspace® задает определенный макрос, используйте опцию -dump-preprocessing-info.
Чтобы заменить макроопределение, используйте опцию Preprocessor definitions (-D).
Чтобы не задать макрос, используйте опцию Disabled preprocessor definitions (-U).
Polyspace не поддерживает семейства Atmel процессоров, такие как AVR, TinyAVR, MegaAVR, XMEGA и SAM32.
Параметр:
-compiler microchip -target |
Значение:
pic |
Значение по умолчанию:
pic |
Пример (средство поиска ошибки):
polyspace-bug-finder -compiler microchip -target pic |
Пример (программа автоматического доказательства кода):
polyspace-code-prover -compiler microchip -target pic |
Пример (сервер средства поиска ошибки):
polyspace-bug-finder-server -compiler microchip -target pic |
Пример (сервер программы автоматического доказательства кода):
polyspace-code-prover-server -compiler microchip -target pic |