exponenta event banner

MISRA C:2012 Правило 16.1

Все инструкции по переключению должны быть правильно сформированы

Описание

Определение правила

Все инструкции по переключению должны быть правильно сформированы

Объяснение

Синтаксис для операторов switch в C не является особенно строгим и может допускать сложное неструктурированное поведение. Это правило и другие правила накладывают простую согласованную структуру на switch заявление.

Внедрение Polyspace

Следуя спецификациям MISRA ®, средство проверки правил кодирования также вызывает нарушение правила 16.1, если switch утверждение нарушает одно из этих правил: 16.2, 16.3, 16.4, 16.5 или 16.6.

Дополнительное сообщение в отчете

Все сообщения в файле отчета начинаются с «MISRA-C switch statements syntasis regulative restriction».

  • Инициализаторы не должны использоваться в позициях переключения.

  • Дочерний оператор коммутатора должен быть составным оператором.

  • Все положения о переключениях должны отображаться на одном уровне.

  • Положение о коммутаторах должно содержать только метки и предложения о коммутаторах, и никакого другого кода.

  • Инструкция switch должна содержать только метки switch и предложения switch, и никакого другого кода.

Поиск неисправностей

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

Проверить информацию

Группа: Операторы переключения
Категория: Обязательно
СМЖЛ Категория: Консультативные услуги