-uncalled-function-checks)Обнаружьте функции, которые не вызваны прямо или косвенно от main или другая функция точки входа
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Обнаружьте функции, которые не вызваны прямо или косвенно от 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 |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |