Доступ ко всем элементам массива из параметра указателя void, переданного в функцию, соответствующую правилу 17.4 MISRA - PullRequest
Новая
       45

Доступ ко всем элементам массива из параметра указателя void, переданного в функцию, соответствующую правилу 17.4 MISRA

0 голосов
/ 22 ноября 2018

Только встроенный C.

Мне нужна функция для копирования неподписанных данных из байта массива 4 байта на байт в выходной параметр (оба передаются в качестве ссылки).Функция должна быть совместима с MISRA 17.4 и должна поддерживать разные целочисленные типы данных без знака для выходного параметра (учитывая, что на входе всегда будет точное число байтов без знака для заполнения вывода)

Итак, мой код: 

static void copy_array(const void * src, void * dest, const uint8_t lenght_bytes)
{
    uint8_t i;
    const uint8_t * src_8 = (const uint8_t*)src;
    uint8_t * dest_8 = (uint8_t*)dest;
    for (i = 0u; i < lenght_bytes; i++)
    {
        *(dest_8 + i) = *(src_8 + i);
    }
}

static void func(void)
{
    uint8_t data[] = {0xEFu, 0xCDu, 0x0u, 0x0u};
    uint16_t dest_16;
    uint32_t dest_32;

    copy_array(data, &dest_16, sizeof(dest_16));

    data[0] = 0xEFu;
    data[1] = 0xCDu;
    data[2] = 0xABu;
    data[3] = 0x89u;

    copy_array(data, &dest_32, sizeof(dest_32));
}

Итак, MISRA ограничивает арифметические операции с указателями только индексированием массива, поэтому моя функция не совместима.Любой разумный способ избежать правила или выполнить ту же самую операцию, но совместимую с MISRA?

1 Ответ

0 голосов
/ 23 ноября 2018

Прежде всего, это недопустимо C: 

uint8_t data[4] = {0xEFu, 0xCDu, NULL, NULL};

Так как NULL может быть константой нулевого указателя в форме (void*)0.Замените NULL на 0 здесь.

Что касается старого требования MISRA-C: 2004 о том, что индексирование массива является единственной разрешенной формой, то это было в основном бессмысленно и исправлено в текущей версии MISRA.-C: 2012.При этом в вашем коде нет необходимости в явной арифметике указателей, так что это правило имеет смысл здесь.

Просто исправьте функцию следующим образом: 

static void copy_array(const void* src, void* dest, const uint8_t lenght_bytes)
{
    uint8_t i;
    const uint8_t* src_8 = src;
    uint8_t* dest_8 = dest;

    for (i = 0u; i < lenght_bytes; i++)
    {
        dest_8[i] = src_8[i];
    }
}
...