本页采用了机器翻译。点击此处可查看最新英文版本。

MISRA C:2012 Rule 21.8

The Standard Library termination functions of <stdlib.h> shall not be used

全页展开

描述

规则定义

The Standard Library termination functions of <stdlib.h> shall not be used.

理由

使用这些函数可能会导致未定义和实现定义的行为。

Polyspace 实现

Polyspace® 会标记使用 <stdlib.h> 中定义的 abort、exit、_Exit 或 quick_exit 函数的情况。

如果这些函数是用户定义的，则 Polyspace 不会对它们进行标记。

故障排除

如果您预期会出现违规，但未看到该违规，请参阅诊断为何编码规范违规未按预期显示。

示例

全部展开

#include<stdlib.h>

void foo(){
	 puts("pushed");
	//...
	_Exit(-1);//Noncompliant
}
void bar(){
	puts("pushed");
	//...
	abort();//Noncompliant
}
void foobar(){
	puts("pushed");
	//...
	quick_exit(-1);//Noncompliant
}

在此示例中，调用不安全的终止函数来终止程序。这些函数可能不会执行必要的清理操作。例如，由于程序在流关闭之前就终止了，推送到输出流的数据可能会丢失。Polyspace 标记了使用此类不安全终止程序的情况。

检查信息

组：标准库
类别：必需
AGC 类别：必需

版本历史记录

在 R2014b 中推出

另请参阅

主题