const спецификатор для определяемого пользователем типа данных в C

Определенно это проблема проверки статического анализатора.

Ниже сделайте то же самое, и оба должны пройти проверку.

ConnectCommand(COMMAND_TYPE const command)
ConnectCommand(const COMMAND_TYPE command)

Хотя юридический код, использующий typedef массива, запутал вашу программу проверки. ИМО, этого это стиль дизайна, которого лучше избегать.

Создание этой вики сообщества для справки. Предложите удалить, как только появится хороший ответ.

<удар>

При просмотре я подозреваю, что проблема в Misra - она ​​дает ложное предупреждение. # 2 и # 3, прокомментированные ниже, делают то же самое. № 4 избыточен с № 2, № 3.

Я либо удалю этот ответ, либо переработаю его правильно.

Предложить попытку

typedef       Unsigned int8       COMMAND_TYPE[6];
typedef const Unsigned int8 CONST_COMMAND_TYPE[6];

void ConnectCommand(CONST_COMMAND_TYPE command) {
  ...
}

  COMMAND_TYPE c;
  ConnectCommand(c);

const в ConnectCommand(COMMAND_TYPE const command) { ...} относится к const command. command — это указатель на объекты типа COMMAND_TYPE. const command подразумевает, что указатель не должен изменяться в теле функции ConnectCommand().

"const" в предупреждении "... type pointer to const" рекомендует использовать const для типа объекта, на который на указывает command. Это связано с тем, что данные, на которые указывает command, не изменяются.

//             add              could drop this const
//              |                   |
ConnectCommand(const COMMAND_TYPE const command)