-ignore-pragma-pack)Проигнорировать #pragma pack директивы
Укажите, что анализ должен игнорироваться #pragma pack директивы в коде.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Target & Compiler.
файл командной строки и параметров: Использовать параметр -ignore-pragma-pack. См. раздел Сведения о командной строке.
Используйте этот параметр, если #pragma pack директивы в коде вызывают ошибки связывания.
Например, в коде есть две структуры с одинаковым именем, но одно объявление следует за #pragma pack(2) заявление. Поскольку выравнивание по умолчанию составляет 8 байт, различная упаковка для двух структур приводит к ошибке связывания. Используйте эту опцию, чтобы избежать таких ошибок.
НаАнализ игнорирует #pragma директивы.
Выкл. (по умолчанию) Анализ учитывает спецификации в #pragma директивы.
Параметр: -ignore-pragma-pack |
| По умолчанию: Откл. |
Пример (поиск ошибок):
polyspace-bug-finder -ignore-pragma-pack |
Пример (проверка кода):
polyspace-code-prover -ignore-pragma-pack |
Пример (сервер поиска ошибок): polyspace-bug-finder-server -ignore-pragma-pack |
Пример (сервер проверки кода):
polyspace-code-prover-server -ignore-pragma-pack |