用零初始化数组或结构会导致 Misra 违反 Rule11.9

Question

我正在使用 Klocworks 检查 C99 上的 MISRA 违规情况。 当初始化 u8(unsigned char) 类型的数组或第一个元素为相同类型的结构时，它违反了 MISRA 规则 11.9。

示例：

typedef unsigned char u8;

typedef {
  u8 a;
  u8 b;
  u8 c;
} tmyStruct;

const tmyStruct myStruct = { // MISRA.LITERAL.NULL.PTR.CONST.2012(Rule 11.9)
  .a = (u8)0,
  .b = (u8)0,
  .c = (u8)1
};

或

typedef {
  u16 a;
  u8 b;
  u8 c;
} tmyStruct;

tmySructArr[3] =
{
 {
  .a = (u16)0,
  .b = (u8)0,
  .c = (u8)1
 },
 {
  .a = (u16)0,
  .b = (u8)0,
  .c = (u8)1
 },
 {
  .a = (u16)0,
  .b = (u8)0,
  .c = (u8)1
 },
};

Answer 1

MISRA C:2012 规则 11.9 规定

宏NULL应是唯一允许的整数形式null
指针常量。

虽然我看到几个零值常量，但我没有看到任何指针，因此我礼貌地建议这是误报，您需要将其提交给 Klokwork /强制支持。

PS：请放弃自定义整数类型，并使用

请注意我的从属关系简介！