Exponenta Banner

- функции завершения

Задайте функции завершения процесса

Синтаксис

-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);
}
Чтобы препятствовать тому, чтобы Polyspace отметил операция деления, используйте опцию -termination-functions:
polyspace-bug-finder -termination-functions my_exit

Смотрите также

Темы

Документация Polyspace Bug Finder
Поддержка