AUTOSAR C++ 14 правил 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