caxapa.ru :: Очевидно, что если не "#ifdef USE_FULL_ASSERT", то получается "(void)0;", и это то самое "a non-null statement without any side effects". Могли бы в этом случае сделать пустой макрос для assert

SciFi (23.09.2020 08:49, просмотров: 403) ответил teap0t на #12 MISRA. Имеется куча ошибок (кстати в библиотеке периферии, про которую ST заявляет, что она совместима с сабжем). Error[Pm049]: all non-null statements shall have a side-effect (MISRA C 2004 rule 14.2). Ругань идёт на следующий фрагмент:

Очевидно, что если не "#ifdef USE_FULL_ASSERT", то получается "(void)0;", и это то самое "a non-null statement without any side effects". Могли бы в этом случае сделать пустой макрос для assert_param(), и нарушение уйдёт.

ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้

Ответить

- "Папа, а что такое пресс-папье?" Я с макросами никогда не работал (и в ассемблере тоже), ибо никогда не мог (не пытался) разобраться, как они работают. Пустой макрос как выглядит? - teap0t(23.09.2020 08:51)
  - Пустой макрос "#define assert_param(expr)". Он заменяет в коде assert_param(всякое_разное) на пустоту. Макросы -- это простая тема. Текстовые подстановки, но с нюансами, конечно. - SciFi(23.09.2020 08:54)
    - Добавил такую строку в компилируемый файл получил ошибку Error[Pm050]: a null statement shall only occur on a line by itself, and shall not have any other text on the same line (MISRA C 2004 rule 14.3). Т.е. имеем файл "*.c" со строками: teap0t(1438 знак., 23.09.2020 09:41 - 10:05)
      - Заведите уже себе текстовый редактор с навигацией по коду. Тогда assert_failed() искать вообще не пришлось бы. В 21 веке жить без нормального текстового редактора неприлично. - SciFi(23.09.2020 11:02)
        
        IAR кажет, но надо ещё и не забывать, что такая возможность есть. С этим труднее. - teap0t(23.09.2020 19:40)
      - Ну что тут можно сказать? Мисра и ассерт несовместимы. - SciFi(23.09.2020 09:41)
        
        Не, ну есть же версия, которая удовлетворяет требованиям. Правда ей нужны файлы из запасов компилятора. Кстати вопрос. Задать USE_FULL_ASSERT на закладке препроцессора я могу. Т.е. после такой записи этот переключатель как бы в состоянии "ЕСТЬ" А как на этой закладки задать противоположное состояние "НЕТ"? Просто ничего не писать? teap0t(1 знак., 23.09.2020 09:45 - 09:52, картинка)
        
        Просто ничего не писать. А как "удовлетворяет требованиям" -- непонятно, потому что требования драконовские. - SciFi(23.09.2020 09:48)
        
        OK. - teap0t(23.09.2020 09:53)

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