Задайте функции завершения процесса
-termination-functions function1[,function2[,...]]
-termination-functions задает функции, которые ведут себя как выход, функционируют и отключают вашу программу.function1[,function2[,...]]
Используйте эту опцию, чтобы задать функции завершения программы, которые объявлены, но не заданы в вашем коде.
Если при запуске анализ от пользовательского интерфейса (только десктопные решения Polyspace®) на панели Configuration, можно ввести эту опцию в поле Other. Смотрите Other.
Polyspace обнаруживает дефект Integer division by zero в следующем коде, потому что это не распознает тот 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