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