Ignore pragma pack directives (-ignore-pragma-pack)

Проигнорируйте #pragma pack директивы

Описание

Укажите, что анализ должен проигнорировать #pragma pack директивы в коде.

Установите опцию

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Target & Compiler.

Командная строка и файл опций: Используйте опцию -ignore-pragma-pack. Смотрите информацию о командной строке.

Почему использование эта опция

Используйте эту опцию если #pragma pack директивы по вашим ошибкам соединения причины кода.

Например, у вас есть две структуры с тем же именем в вашем коде, но одно объявление следует за #pragma pack(2) оператор. Поскольку выравнивание по умолчанию составляет 8 байтов, различная упаковка для этих двух структур вызывает соединяющуюся ошибку. Используйте эту опцию, чтобы избежать таких ошибок.

Настройки

On

Анализ игнорирует #pragma директивы.

От (значения по умолчанию)

Анализ учитывает технические требования в #pragma директивы.

Информация о командной строке

Параметр: -ignore-pragma-pack
Значение по умолчанию: Off
Пример (Bug Finder): polyspace-bug-finder -ignore-pragma-pack
Пример (программа автоматического доказательства кода): polyspace-code-prover -ignore-pragma-pack
Пример (сервер Bug Finder): polyspace-bug-finder-server -ignore-pragma-pack
Пример (сервер программы автоматического доказательства кода): polyspace-code-prover-server -ignore-pragma-pack