-uncalled-function-checks)Обнаружение функций, которые не вызываются прямо или косвенно из main или другая функция точки входа
Эта опция влияет только на анализ Code Prover.
Обнаружение функций, которые не вызываются прямо или косвенно из main или другая функция точки входа во время выполнения.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Check Behavior.
Командная строка и файл опций: Используйте опцию -uncalled-function-checks. См. «Информация о командной строке».
Как правило, после верификации на панели Dashboard отображаются функции, которые не вызываются во время верификации. Однако они не отображаются в результатах анализа или отчетах. Вы не можете их комментировать или обосновывать.
Если необходимо увидеть эти незакрытые функции в результатах анализа и отчетах, используйте эту опцию.
По умолчанию: none
none Эта верификация не генерирует проверки на наличие незакрытых функций.
never-called Эта верификация генерирует проверки функций, которые определены, но не вызваны.
called-from-unreachable Эта верификация генерирует проверки функций, которые определяются и вызываются из недоступной части кода.
all Эта верификация генерирует проверки для функций, которые:
Определено, но не вызвано
Определено и вызвано из недоступной части кода.
Параметр: -uncalled-function-checks |
Значение: none | never-called | called-from-unreachable | all |
По умолчанию: none |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |