exponenta event banner

MISRA C++: 2008 Правило 6-4-3

Оператор переключения должен быть хорошо сформированным оператором переключения

Описание

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

Оператор переключения должен быть хорошо сформированным оператором переключения.

Внедрение Polyspace

Средство проверки помечает следующие ситуации:

  • Оператор возникает между switch оператор и первый case заявление.

    Например:

    switch(ch) {
      int temp;
      case 1:
        break;
      default:
        break;
    }

  • Метка или оператор перехода, например goto или return происходит в switch блок.

  • Переменная объявляется в case оператор (вне любого блока).

    Например:

    switch(ch) {
      case 1: 
        int temp;
        break;
      default:
        break;
    }

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

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

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

Группа: выписки
Категория: Обязательно
Представлен в R2013b