Создание пользовательского целевого процессора с определенными размерами типов данных
-custom-target target_sizes
-custom-target определяет пользовательский целевой процессор для анализа Polyspace ®. Целевое определение процессора включает размеры в байтах фундаментальных типов данных, сигнатуру простойtarget_sizeschar, согласование конструкций и нижележащих типов стандарта typedef-s, такие как size_t, ptrdiff_t и wchar_t.
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 |
Если в качестве расширений кода в IDE используется Polyspace, введите эту опцию в файл опций анализа. См. файл параметров.