Определение функций завершения процесса
-termination-functions function1[,function2[,...]]
-termination-functions указывает функции, которые ведут себя как функция выхода и завершают программу.function1[,function2[,...]]
Эта опция используется для указания функций завершения программы, которые объявлены, но не определены в коде.
Если анализ выполняется из пользовательского интерфейса (только для настольных продуктов Polyspace ®), на панели Конфигурация (Configuration) можно ввести этот параметр в поле Другое (Other). ПосмотритеOther.
Polyspace обнаруживает целое деление на нуль в следующем коде, поскольку не распознает, что my_exit завершает программу.
void my_exit();
double reciprocal(int val) {
if(val==0)
my_exit();
return (1/val);
}
-termination-functions вариант:polyspace-bug-finder -termination-functions my_exit