Создайте пользовательский целевой процессор с определенными размерами типа данных
-custom-target
target_sizes
-custom-target
задает пользовательский целевой процессор для анализа Polyspace®. Определение целевого процессора включает размеры в байты основополагающих типов данных, со знаком из плоскости target_sizes
char
, выравнивание структур и базовые типы стандартного typedef
- s, такие как size_t
, ptrdiff_t
и wchar_t
.
список, разделенный запятыми, задающий эти значения. Слева направо значения следующие. Если тип данных не поддерживается,-1 используется для его размера.target_sizes
Спецификация | Возможные значения |
---|---|
Ли плоскость char подписывается | true или false |
Размер Другие размеры находятся в байтах. | Номер |
Размер short | Номер |
Размер int | Номер |
Размер short long | Номер |
Размер long | Номер |
Размер long long | Номер |
Размер float | Номер |
Размер double | Номер |
Размер long double | Номер |
Размер указателя | Номер |
Максимальное выравнивание всех целочисленных типов | Номер |
Максимальное выравнивание переменных типа struct или union | Номер |
Порядок байтов | little или big |
Базовый тип size_t | unknown , unsigned_char , unsigned_short , unsigned_int , unsigned_long , или unsigned_long_long |
Базовый тип ptrdiff_t | unknown , signed_char , short , int , long , или long_long |
Базовый тип wchar_t | unknown , short , unsigned_short , int , unsigned_int , long , или unsigned_long |
Как правило, эта опция используется когда polyspace-configure
команда создает файл опций для последующего анализа Polyspace. Однако можно непосредственно ввести эту опцию при ручном записывании файлов опций. Эта опция полезна в ситуациях, где ваши целевые технические требования не покрыты одним из предопределенных целевых процессоров. Смотрите Target processor type (-target)
.
Если при запуске анализ от пользовательского интерфейса (только десктопные решения Polyspace) на панели Configuration, можно ввести эту опцию в поле Other. Смотрите Other
.
Использование опции выглядит так:
-custom-target false,8,2,4,-1,4,8,4,8,8,4,8,1,little,unsigned_int,int,unsigned_int
Спецификация | Возможные значения |
---|---|
Ли плоскость char подписывается | false |
Размер char | 8 битов |
Размер short | 2 байта |
Размер int | 4 байта |
Размер short long | short long не поддерживается. |
Размер long | 4 байта |
Размер long long | 8 байтов |
Размер float | 4 байта |
Размер double | 8 байтов |
Размер long double | 8 байтов |
Размер указателя | 4 байта |
Максимальное выравнивание всех целочисленных типов | 8 байтов |
Максимальное выравнивание переменных типа struct или union | 1 байт |
Порядок байтов | little |
Базовый тип size_t | unsigned_int |
Базовый тип ptrdiff_t | int |
Базовый тип wchar_t | unsigned_int |