Я пытаюсь немного очистить 32-битную переменную с помощью макроса. например.
#define CLEAR_BIT( VAR, BIT ) ( VAR &= ~( BIT ) )
в функции я назвал макрос как
CLEAR_BIT(variable, 0x01 );
В этом случае я получаю нарушение MISRA C-2012 как «Операция присваивания в выражении» « MISRA-C: 2012 R.13.1, R.13.2, R.13.4 "
Если кто-то может сообщить мне, что я делаю неправильно в соответствии с правилами MISRA C?
Если вы действительно вызываете макрос как CLEAR_BIT(variable, 0x01 );, а не, например, if(CLEAR_BIT(variable, 0x01)) ..., то предупреждение неверно, и инструмент неисправен.
Здесь применяется правило 13.4, утверждающее, что вам не разрешено смешивать присваивание с другими выражениями (результат операции присваивания не должен использоваться). Судя по опубликованному коду, вы этого не делаете.
Кроме того, у этого кода нет непреднамеренных побочных эффектов, как и в других правилах с 13.1 по 13.2. Составное присваивание оценивает левый операнд только один раз, поэтому не имеет значения, является ли он volatile и т. д.
У вас есть другие проблемы с этим кодом, такие как использование целочисленной константы со знаком 0x01, и, в зависимости от типа переменной, потенциально различные нарушения неявных правил продвижения, использование макросов, подобных функциям. Но эти проблемы должны давать совершенно другие предупреждения.
если вышеупомянутый макрос переопределить как
Тогда код будет соответствовать правилам Misra.
Ошибка операции Присваивания в выражении MISRA-C:2012 R.13.1, R.13.2, R.13.4 будет возникать, когда мы пишем расширение MACRO в скобках (). т. е. #define CLEAR_BIT(VAR, BIT) (VAR &= ~(BIT))
VAR &= ~( BIT )- person Paul Ogilvie schedule 24.06.2019VARтоже должны быть скобки. - person alk schedule 24.06.2019do { … } while (0)для операторов макросов. - person starblue schedule 24.06.2019