MISAR C 2012

8.1 标准 C 环境(A standard C environment)

Rule 1.1 程序不得违反标准 C 语法和约束，并且不得超出具体实现的编译限制

[MISRA G uidelines Table 3], [IEC 61508-7: Table C.1], [ISO 26262-6: Table 1]

级别   必要

分析   可判定，单一编译单元

适用   C90，C99

展开

程序应仅使用所选标准版本中指定的 C 语言及其库的功能(请参阅第 3.1 节)。该标准允许实现提供语言扩展，并且该规则允许使用此类扩展。

除非使用语言扩展，否则程序不得有以下行为：

• 包含任何违反标准中描述的语言语法的内容；
• 包含任何违反标准规定约束条件的内容。

程序不得超过实施所规定的翻译限制。 最低翻译限制由标准规定，但实现可能会提供更高的限制。

***小贴士：*符合标准的实现会生成语法和约束违规的诊断，但请注意：

• 诊断不一定是报错，也可以是告警；
• 尽管存在语法或约束冲突，也可能翻译程序成功并生成可执行文件。

***小贴士：*如果超出翻译限制，则符合标准的实现无需生成诊断； 可执行文件可能会生成，但不能保证正确执行。