Создайте пользовательский целевой процессор с определенными размерами типов данных
-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 | Число |
Endianness | 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 байт |
Endianness | little |
Базовый тип size_t | unsigned_int |
Базовый тип ptrdiff_t | int |
Базовый тип wchar_t | unsigned_int |
Если вы используете Polyspace в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.