caxapa.ru :: Тут сразу вопрос в вам. А MISRA разве не запрещает приводить число к сырому указателю или работать с памятью через смещение от этого указателя? Смысл моего вопроса в том, что CMSIS генерируется машиной и позволяет работать с размеченной памятью:

evgeniy1294 (04.10.2020 16:39, просмотров: 415) ответил teap0t на Такой код завернёт MISRA: у кейса должно быть не менее трёх веток. Ассерт на входе есть. С этим там строго.

Тут сразу вопрос в вам. А MISRA разве не запрещает приводить число к сырому указателю или работать с памятью через смещение от этого указателя? Смысл моего вопроса в том, что CMSIS генерируется машиной и позволяет работать с размеченной памятью:

EXTI->EMR = val;

А вот это вот чистейшая указательная магия:

uint32_t tmp;
tmp = (uint32_t)EXTI_BASE;          
// ...
tmp += EXTI_InitStruct->EXTI_Mode;   
*(__IO uint32_t *) tmp |= EXTI_InitStruct->EXTI_Line;

Если мисра такое пропускает, то целесообразность данного стандарта сомнительна. На сколько я помню там нельзя работать с указателями, по крайней мере работа с массивами была только через индексы с обязательной проверкой границ.

Ответить

- Использование указателей должно быть ограничено. Допустимо не более одного уровня разыменования. Операторы разыменования не должны быть скрыты в макро или внутри typedef. Указатели на функции запрещены. - Бoмж(10.10.2020 21:41)
- IAR с дефолтными переключателями MISRA2004 ошибок не видит. Об адресной арифметике я и спрашиваю. Она очень неочевидная. - teap0t(04.10.2020 17:42)
  - Стандарт MISRA создан для высокоответственных применений, указательная арифметика в нем явно запрещена, отсюда ни одно code review (аудит) такой код не пройдет. Возможно стоит подергать настройки, если IAR все равно не видит проблем, значит анализатор кода в нем - говно. А ведь он сертифицирован. - evgeniy1294(04.10.2020 18:24)
    - Rule 17.1 Pointer arithmetic shall only be applied to pointers that address an array or array element . Цитируется по руководству IAR. Здесь это правило соблюдается. teap0t(04.10.2020 19:27, картинка)
      - Здесь нет массива или элемента массива, просто что-то в памяти. - evgeniy1294(04.10.2020 19:35)
        
        Посмотрел. Проверяются правила 17.1, 17.2, 17.3, 17.5 и 17.6. 17.4, где адресная арифметика только для массивов, по умолчанию отключено. - teap0t(04.10.2020 20:36)

ARM, RISC-V контроллеры