-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.
При выборе этого параметра необходимо указать классы с помощьюClass (-class-analyzer) вариант.
Параметр: -no-constructors-init-check |
| По умолчанию: Откл. |
Пример (проверка кода):
polyspace-code-prover -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |
Class (-class-analyzer) | Verify module or library (-main-generator)