-ignore-pragma-pack)Проигнорируйте директивы #pragma pack
Укажите, что анализ должен проигнорировать директивы #pragma pack в коде.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Target & Compiler.
Командная строка: Используйте опцию -ignore-pragma-pack. Смотрите информацию о Командной строке.
Используйте эту опцию если директивы #pragma pack по вашим ошибкам соединения причины кода.
Например, у вас есть две структуры с тем же именем в вашем коде, но одно объявление следует за оператором #pragma pack(2). Поскольку выравнивание по умолчанию составляет 8 байтов, различная упаковка для этих двух структур вызывает соединяющуюся ошибку. Используйте эту опцию, чтобы избежать таких ошибок.
НаАнализ игнорирует директивы #pragma.
От (значения по умолчанию) Анализ учитывает спецификации в директивах #pragma.
Параметр: -ignore-pragma-pack |
| Значение по умолчанию: 'off' |
Пример (средство поиска ошибки):
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 |