-pack-alignment-value
)Задайте выравнивание упаковки структуры по умолчанию для кода, разработанного в Visual C++
Задайте выравнивание упаковки значения по умолчанию (в байтах) для структур, объединений и членов класса.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Target & Compiler.
Командная строка: Используйте опцию -pack-alignment-value
. Смотрите информацию о Командной строке.
Если вы используете параметры компилятора, чтобы задать, как члены структуры упаковываются в память, используйте эту опцию, чтобы эмулировать ваш компилятор.
Например, если вы используете Визуальную опцию Studio®/Zp, чтобы задать выравнивание, используйте эту опцию для своего анализа Polyspace®.
Если вы используете директивы #pragma pack
в своем коде, чтобы задать выравнивание, и также задать эту опцию для анализа, директивы #pragma pack
более приоритетны.
Значение по умолчанию: 8
Можно ввести одно из этих значений:
1
2
4
8
16
Параметр: -pack-alignment-value |
Значение: 1 | 2 | 4 | 8 | 16 |
Значение по умолчанию: 8 |
Пример (средство поиска ошибки):
polyspace-bug-finder -compiler visual10 -pack-alignment-value 4 |
Пример (программа автоматического доказательства кода):
polyspace-code-prover -compiler visual10 -pack-alignment-value 4 |
Пример (сервер средства поиска ошибки):
polyspace-bug-finder-server -compiler visual10 -pack-alignment-value 4 |
Пример (сервер программы автоматического доказательства кода):
polyspace-code-prover-server -compiler visual10 -pack-alignment-value 4 |