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