-termination-functions

指定进程终止函数

语法

-termination-functions function1[,function2[,...]]

描述

-termination-functions function1[,function2[,...]] 指定行为类似于 exit 函数并终止您的程序的函数。

使用此选项可指定在代码中声明但未定义的程序终止函数。

在用户界面（仅限 Polyspace® 桌面端产品）中，在配置窗格的其他字段中输入此选项。请参阅其他。

示例

Polyspace 在以下代码中检测到整数除以零缺陷，因为它没有识别出 my_exit 会终止程序。 

void my_exit(void);

void main() {
    double ans;
    ans = reciprocal(1);
    ans = reciprocal(0);
}

double reciprocal(int val) {
  if(val==0)
    my_exit();
  return (1/val);
}
要防止 Polyspace 标记该除法运算，请使用 -termination-functions 选项：
polyspace-bug-finder -termination-functions my_exit

另请参阅

主题