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