AUTOSAR C++14 Rule M6-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;
    }

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

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

Группа: операторы
Категория: необходимый, автоматизированный
Введенный в R2019a