Если вы создаете свой исходный код с помощью Микрочипа MPLAB XC16 или компиляторы XC32, можно настроить анализ Polyspace® так, чтобы код скомпилировал с Polyspace. Введите эти опции в командной строке или задайте их в панели Configuration пользовательского интерфейса рабочего стола Polyspace.
| Компилятор | Семейства целевых процессоров | Опции |
|---|---|---|
| MPLAB XC16 | PIC24 dsPIC |
-compiler gnu4.6 -to compile -D__XC__ -D__XC16__ -target=mcpu -wchar-t-type-is unsigned-int -align 16 -long-long-is-64bits |
| MPLAB XC32 | PIC32 |
-compiler gnu4.8 -custom-target true,8,2,4,-1,4,8,4,4,8,4,8,1,big,unsigned_long,long,int -D__PIC32M -D__PIC32MX -D__PIC32MX__ -D__XC32 -D__XC32__ -D__XC -D__XC__ -D__mips=32 -D__mips__ -D_mips |
Набор макросов задал с опцией Preprocessor definitions (-D) минимальный набор. Задайте дополнительные макросы по мере необходимости, чтобы гарантировать ваши компиляции кода Polyspace.
-custom-target | Generic target options
