Exponenta Banner
exponenta event banner

Отсутствует разрыв корпуса коммутатора

Нет комментариев в конце варианта переключения без оператора break

развернуть все на странице

Описание

Этот дефект возникает, когда случай переключения не заканчивается break заявление.

Если последняя запись в блоке вариантов является комментарием кода, например:

switch (wt)
    {
      case WE_W:
        do_something_for_WE_W();
        do_something_else_for_WE_W();
        /* fall through to WE_X*/
      case WE_X:
        ...
    }
Polyspace предполагает, что недостающий разрыв является намеренным и не вызывает дефекта.

Риск

Варианты переключения без инструкций break переходят к следующему варианту переключения. Если это выпадение не предназначено, случай переключения может непреднамеренно выполнить код и завершить переключение с неожиданными результатами.

Зафиксировать

Если вы не хотите прерывать выделенный вариант переключения, добавьте комментарий к коду, чтобы задокументировать причины перехода к следующему варианту. Этот комментарий удаляет дефект из результатов и делает код более удобным для обслуживания.

Если вы забыли перерыв, добавьте его перед окончанием корпуса коммутатора.

Примеры

развернуть все

enum WidgetEnum { WE_W, WE_X, WE_Y, WE_Z } widget_type;

extern void demo_do_something_for_WE_W(void);
extern void demo_do_something_for_WE_X(void);
extern void demo_report_error(void);

void bug_missingswitchbreak(enum WidgetEnum wt)
{
    /*
      In this non-compliant code example, the case where widget_type is WE_W lacks a
      break statement. Consequently, statements that should be executed only when
      widget_type is WE_X are executed even when widget_type is WE_W.
    */
    switch (wt)
    {
      case WE_W: 
        demo_do_something_for_WE_W();
      case WE_X: 
        demo_do_something_for_WE_X();
      default:
        /* Handle error condition */
        demo_report_error();
    }
}

В этом примере есть два случая без break заявления. Когда wt является WE_W, заявления для WE_W, WE_X, и default case execute, поскольку программа проходит через два варианта без перерыва. Дефект не возникает на default дело или последнее дело, поскольку для него не требуется оператор break.

Исправление - Добавить комментарий или break

Чтобы исправить этот пример, добавьте комментарий после последнего оператора в блоке обращения и перед следующим блоком обращения, чтобы отметить и задокументировать приемлемое попадание, или добавьте оператор разрыва, чтобы избежать попадания. В этом примере, случай WE_W должен пройти, поэтому комментарий добавляется, чтобы явно указать это действие. Во втором случае добавляется оператор break, чтобы избежать попадания в default дело.

enum WidgetEnum { WE_W, WE_X, WE_Y, WE_Z } widget_type;

extern void demo_do_something_for_WE_W(void);
extern void demo_do_something_for_WE_X(void);
extern void demo_report_error(void);

void corrected_missingswitchbreak(enum WidgetEnum wt)
{
    switch (wt)
    {
      case WE_W:
        demo_do_something_for_WE_W();
        /* fall through to WE_X*/
      case WE_X:
        demo_do_something_for_WE_X();
        break;  
      default:
        /* Handle error condition */
        demo_report_error();
    }
}

Информация о результатах

Группа «Надлежащая практика»
Язык: C | C++
По умолчанию: Откл.
Синтаксис командной строки: MISSING_SWITCH_BREAK
Воздействие: Низкий
CWE ID: 484

См. также

|

Темы

Представлен в R2016b

Документация для поиска ошибок Polyspace

Поддержка