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