-no-constructors-init-check)Не проверяйте, инициализирует ли конструктор классов членов класса
Эта опция влияет только на анализ Code Prover.
Задайте, что Polyspace® не должен проверять, инициализирует ли каждый конструктор классов все члены класса.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -no-constructors-init-check. См. «Информация о командной строке».
Используйте эту опцию, чтобы отключить проверки на инициализацию членов класса в конструкторах.
НаPolyspace не проверяет, инициализирует ли каждый конструктор классов все члены класса.
Off (по умолчанию)Polyspace проверяет, инициализирует ли каждый конструктор классов все члены класса. Он использует функции check_NIV() и check_NIP() в сгенерированной main для выполнения этих проверок. Он проверяет на инициализацию:
Целые типы, такие как int, char и enum, оба signed или unsigned.
Типы с плавающей точкой, такие как float и double.
Указатели.
Использовать эту опцию можно только в том случае, если все из следующих значений true:
Ваш код не содержит main функция.
Source code language (-lang) установлено в CPP или C-CPP.
Если вы выбираете эту опцию, необходимо задать классы с помощью Class (-class-analyzer) опция.
Параметр: -no-constructors-init-check |
| По умолчанию: Off |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |