MISRA C++:2008 Rule 6-4-3

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

Описание

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

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

Реализация 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