Оператор безоговорочного пропуска прекращает действие каждого пункта switch
Оператор безоговорочного пропуска прекращает действие каждого пункта switch
Предложение switch-является случаем, содержащим по крайней мере один оператор. Две последовательные метки без промежуточного оператора совместимы с MISRA®.
Если вам не удалось закончить предложения switch оператором break, то поток управления «попадает» в следующую инструкцию. Следующим оператором может быть другое предложение switch или конец switch. Такое поведение иногда преднамеренно, но чаще это ошибка. Если вы добавите дополнительные случаи позже, неотключенное предложение switch может вызвать проблемы.
Polyspace® поднимает предупреждение для каждого несоответствующего case пункт.
Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».
| Группа: Операторы Switch |
| Категория: Требуемая |
| Категория СМЖЛ: Консультационная |
