-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 |