MISRA C:2012 Rule 1.4

Emergent language features shall not be used

描述

规则定义

Emergent language features shall not be used ¹ .

理由

C11 标准中的一些新语言特性具有未定义、未指定或实现定义的行为。这些特性也可能表现出与开发者预期不符的明确行为。虽然规则 1.3 和指令 1.1 禁止未定义和实现定义的行为，但为了避免出现不符合预期的明确定义的行为，规则 1.4 概括性地不鼓励使用某些语言特性。

Polyspace 实现

该规则禁止使用 C11 标准附件 K 中关于“边界检查接口”的所有设施，但将 __STDC_WANT_LIB_EXT1__ 定义为 '0' 除外。

故障排除

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

示例

全部展开

使用 C11 标准附录 K 中的功能

#define __STDC_WANT_LIB_EXT1__ 1 //Noncompliant
#include <string.h>

void Copying_functions(void) {
    char buf1[10];
    char buf2[10];
    errno_t e;  //Noncompliant
    e = memcpy_s(buf1,sizeof(buf1),buf2,5); //Noncompliant
    e = memmove_s(buf1,sizeof(buf1),buf2,5); //Noncompliant
    e = strcpy_s(buf1,sizeof(buf1),buf2); //Noncompliant
    e = strncpy_s(buf1,sizeof(buf1),buf2,5); //Noncompliant
}

在此示例中，宏 __STDC_WANT_LIB_EXT1__ 被设置为 1，以便可以使用在头文件 stdlib.h 中定义的类型 errno_t（符合 C11 标准的附件 K）。

检查项将宏设置为 1 和变量 errno_t 的定义以及附件 K 中的其他函数都标记为检查项。

检查信息

组：标准 C 环境

类别：必需

AGC 类别：必需

版本历史记录

在 R2014b 中推出

全部展开

R2024b: 一些以前不合规的 C11 功能现已合规

根据 MISRA C:2012 第 4 次修订，本规则现允许使用以下功能：

_Atomic 类型设定符和由 <stdatomic.h> 提供的附加功能
_Thread_local 存储类设定符和由 <threads.h> 提供的附加功能

R2024a: 一些以前不合规的 C11 功能现已合规

根据 MISRA C:2012 第 3 次修订，本规则现允许使用以下功能：

_Generic 运算符
_Noreturn 设定符
<stdnoreturn.h> 头文件
_Alignas 对齐设定符
_Alignof 运算符
<stdalign.h> 头文件

另请参阅

MISRA C:2012 Dir 4.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.