MISRA C:2012 Rule 1.2

Language extensions should not be used

描述

规则定义

Language extensions should not be used ¹ .

理由

如果程序使用语言扩展，则其可移植性就会降低。即使您记录了这些语言扩展，该文档也可能无法描述所有情况下的行为。

Polyspace 实现

此规则检查项会根据分析中使用的 C 标准版本标记这些语言扩展。请参阅 C 标准版本 (-c-version)。

C90：
- 包括常量的 long long int 类型
- long double 类型
- inline 关键字
- _Bool 关键字
- 十六进制浮点常量
- 指定初始化函数
- 局部标签声明
- typeof 运算符
- 转换为并集
- 复合字面值
- 表达式中的语句和声明
- __func__ 预定义标识符
- _Pragma 预处理运算符
- 具有可变参量列表的宏
- asm 函数
- 匿名并集
- 空 struct
C99：
- short long int 类型
- 局部标签声明
- typeof 运算符
- 转换为并集
- 表达式中的语句和声明
- asm 函数
- 匿名并集
- 空 struct

故障排除

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

检查信息

组：标准 C 环境

类别：建议

AGC 类别：建议

版本历史记录

在 R2014b 中推出

全部展开

R2024b: 转换到 `union` 检测更精确

现在，规则检查项可以更精确地检测转换到 union。例如，在以下代码中，Polyspace^® 现在检测到转换 pMyDataTypes->struct2.X = (InputDataStruct)pSdata->struct2.X 不是转换到 union。不再报告此转换违规。

typedef unsigned short uint_16_type;
typedef float float_32_type;
typedef struct
{
	uint_16_type   X;
	uint_16_type   Y;

} InputDataStruct;

typedef struct
{
	uint_16_type       var1;
	InputDataStruct  struct2;
} data_struct_2;

typedef struct
{
	float_32_type       var1;
	InputDataStruct  struct2;

} data_struct;

int foo()
{
	data_struct MyDataTypes;
	data_struct *pMyDataTypes = &MyDataTypes;
	data_struct_2 SData;
	data_struct_2 *pSdata = &SData;


	pMyDataTypes->struct2.X  = (InputDataStruct)pSdata->struct2.X;  // Compliant
	return 0;
}

R2023a: 已标记使用 `asm` 函数

如果您在 C90 或 C99 代码中使用 asm 函数，则规则检查项会报告违反此规则的情形。

R2022b: 已标记空 `structs` 和匿名并集

如果您在 C90 或 C99 代码中使用空 structs 或匿名并集，则规则检查项会报告违反此规则的情形。

另请参阅

MISRA C:2012 Rule 1.1 | 检查 MISRA C:2012 (-misra3)

主题

检查并审查编码标准违规

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.