-compiler microchip)Укажите компилятор MPLAB XC8 C
Определить microchip для Compiler (-compiler) при компиляции кода с помощью компилятора MPLAB XC8 C. Указывая компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью стандарта, но происходит от языковых расширений.
Затем укажите тип целевого процессора. При выборе microchip для компилятора в интерфейсе пользователя отображаются только процессоры, разрешенные для компилятора MPLAB XC8 C. Ваш выбор целевого процессора определяет размер фундаментальных типов данных, полноту целевой машины и определённые определения ключевых слов.
При указании microchip необходимо указать путь к файлам заголовка компилятора. См. раздел Предоставление стандартных заголовков библиотек для анализа полиспейсов.
Целевой объект использует эти размеры по умолчанию в битах для фундаментальных типов. Эти размеры не отображаются в интерфейсе пользователя.
| Цель | случайная работа | короткий | интервал | долго | длинная | плавание | дважды | длинный двойник | ptr | Знак символа по умолчанию | 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. Этот интерфейс активируется компилятором при компиляции кода с C90 версией стандарта.
Если в качестве расширений кода в IDE используется Polyspace, введите эту опцию в файл опций анализа. См. файл параметров.
Параметр:
-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 |