-compiler cosmic)Укажите компилятор Cosmic
Определить cosmic для Compiler (-compiler) при компиляции кода с помощью компилятора Cosmic. Указывая компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью стандарта, но происходит от языковых расширений.
Затем укажите тип целевого процессора. При выборе cosmic для компилятора в интерфейсе пользователя отображаются только процессоры, разрешенные для компилятора Cosmic. Ваш выбор целевого процессора определяет размер фундаментальных типов данных, полноту целевой машины и определённые определения ключевых слов.
При указании cosmic необходимо указать путь к файлам заголовка компилятора. См. раздел Предоставление стандартных заголовков библиотек для анализа полиспейсов.
Целевой объект использует эти размеры по умолчанию в битах для фундаментальных типов. Эти размеры не отображаются в интерфейсе пользователя.
| Цель | случайная работа | короткий | интервал | долго | длинная | плавание | дважды | длинный двойник | ptr | Знак символа по умолчанию | Endianness | Выравнивание | Определение size_t | Определение wchar_t |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
s12z | 8 | 16 | 16 | 32 | 64 | 32 | 64 | 64 | 24 | Неподписанный | Мало | 8 | неподписанная int | подписанный короткий |
Спецификация компилятора также определяет значения многих специфичных для компилятора макросов. Если вы хотите узнать, как Polyspace ® определяет определенный макрос, используйте опцию-dump-preprocessing-info.
Чтобы переопределить определение макроса, используйте параметр Preprocessor definitions (-D).
Чтобы отменить определение макроса, используйте параметр Disabled preprocessor definitions (-U).
Параметр:
-compiler cosmic -target |
Значение:
s12z |
По умолчанию:
s12z |
Пример (поиск ошибок):
polyspace-bug-finder -compiler cosmic -target s12z |
Пример (проверка кода):
polyspace-code-prover -compiler cosmic -target s12z |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -compiler cosmic -target s12z |
Пример (сервер проверки кода):
polyspace-code-prover-server -compiler cosmic -target s12z |
Если в качестве расширений кода в IDE используется Polyspace, введите эту опцию в файл опций анализа. См. файл параметров.