-compiler microchip)Задайте компилятор MPLAB XC8 C
Задайте microchip для Compiler (-compiler) опция, если вы компилируете свой код с помощью компилятора MPLAB XC8 C. Указав компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью Standard, но происходит из языковых расширений.
Затем укажите тип целевого процессора. Если вы выбираете microchip для Compiler в пользовательском интерфейсе отображаются только процессоры, разрешенные для компилятора MPLAB XC8 C. Ваш выбор целевого процессора определяет размер фундаментальных типов данных, конечность целевой машины и определенные определения ключевых слов.
Если вы задаете microchip компилятор, вы должны задать путь к файлам заголовка компилятора. Смотрите раздел «Предоставление заголовков стандартных библиотек для анализа Polyspace».
Целевой объект использует эти размеры по умолчанию в битах для основных типов. Вы не видите эти размеры в пользовательском интерфейсе.
| Цель | char | короткий | int | долго | длинный длинный | плавание | дважды | длинный двойной | ptr | Знак по умолчанию char | Endianness | Выравнивание | Определение 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.
Polyspace не поддерживает CPP/P1 или C18 Microchip front-end. Этот front-end активируется компилятором, когда вы компилируете свой код с C90 версией Standard.
Если вы используете Polyspace в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.
Параметр:
-compiler microchip -target |
Значение:
pic |
По умолчанию:
pic |
Пример (Bug Finder):
polyspace-bug-finder -compiler microchip -target pic |
Пример (Code Prover):
polyspace-code-prover -compiler microchip -target pic |
Пример (Bug Finder Server):
polyspace-bug-finder-server -compiler microchip -target pic |
Пример (Code Prover Server):
polyspace-code-prover-server -compiler microchip -target pic |