-no-constructors-init-check)Не проверяйте, инициализирует ли конструктор класса члены класса
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Укажите, что Polyspace® не должен проверять, инициализирует ли каждый конструктор класса все члены класса.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -no-constructors-init-check. Смотрите информацию о Командной строке.
Используйте эту опцию, чтобы отключить проверки на инициализацию членов класса в конструкторах.
НаPolyspace не проверяет, инициализирует ли каждый конструктор класса все члены класса.
От (значения по умолчанию)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' |
Пример (программа автоматического доказательства кода):
|
Пример (сервер программы автоматического доказательства кода):
|
Class (-class-analyzer) | Verify module or library (-main-generator)