Skip member initialization check (-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:

Если вы выбираете эту опцию, необходимо задать классы с помощью Class (-class-analyzer) опция.

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

Параметр: -no-constructors-init-check
По умолчанию: Off
Пример (Code Prover): Polyspace Code Prover -sources file_name -main-generator анализатора класса custom = myClass1, myClass2 вызовов анализатора класса unused-public -no-constructors-init-check
Пример (Код Prover Server): Полипространство -code-prover-server -sources file_name -main-generator анализатора класса custom = myClass1, myClass2 вызовов анализатора класса unused-public -no-constructors-init-check