MISRA C:2023 Rule 7.2

A “u” or “U” suffix shall be applied to all integer constants that are represented in an unsigned type

自 R2024a 起

全页展开

描述

规则定义

A “u” or “U” suffix shall be applied to all integer constants that are represented in an unsigned type ¹ .

理由

常量的符号性由以下因素决定：

常量的值。
常量的进制：八进制、十进制或十六进制。
各种类型的大小。
使用的任何后缀。

除非您使用后缀 u 或 U，否则其他开发人员在查看您的代码时无法轻易判断一个常量是有符号的还是无符号的。

故障排除

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

示例

全部展开

使用后缀指定无符号类型

const unsigned long C[] = {
	0x9421FFD0, /*Noncompliant*/
	0x5322E762, 
	0x80000000, /*Noncompliant*/
	0x7FFFFFFF,
	0x00000001,
	0x83241947, /*Noncompliant*/
	0x57112957,
	0x2640EA23
};

const unsigned long D[] = {
	0x9421FFD0U, /*Compliant*/
	0x80000000U, /*Compliant*/
	0x83241947U, /*Compliant*/
};

在此示例中，Polyspace^® 标记了 C 的无符号成员。例如，在 32 位环境中，0x9421FFD0 是一个无符号数字，因为它超出了有符号整数的容量。由于该无符号数字缺少后缀 u 或 U，因此 Polyspace 会将其标记出来。在 D 中，无符号数字使用了后缀，因此不会被标记。

检查信息

组：字面值和常量

类别：必需

AGC 类别：可读性

版本历史记录

在 R2024a 中推出

全部展开

R2025a: 属性中的整数常量不再被报告为违规

Polyspace 不再对属性中使用的整数常量报告对此规则的违规。在这段代码中，变量 myvar 被存储在绝对地址 0xAFE00008 中。表示该地址的整数常量用于 __at() 属性。多个 ARM 编译器都支持此属性。如果您将编译器指定为 tasking，则 Polyspace 不会将使用整数常量报告为违规。

void foo(void) {

    volatile unsigned int myvar __at(0xAFE00008);    /* Compliant */

}

另请参阅

检查 MISRA C:2023 (-misra-c-2023)

主题

检查并审查编码标准违规

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.