Exponenta Banner

MISRA C:2012 Rule 15.3

Любая метка, на которую ссылается оператор перехода, должна быть объявлена в том же блоке, или в любом блоке, заключающем оператор перехода

расширьте все на странице

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

Управляйте определением

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

Объяснение

Неограниченное использование goto операторы делают программу неструктурированной и трудной понять. Ограничение использования goto операторы, чтобы перейти между блоками или во вложенные блоки уменьшают визуальную сложность кода.

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

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

void f1(int a) {
    if(a <= 0) {
        goto L2;        /* Non-compliant - L2 in different block*/
    }
    
    goto L1;            /* Compliant - L1 in same block*/

    if(a == 0) {
        goto L1;        /* Compliant - L1 in outer block*/
    }

    goto L2;            /* Non-compliant - L2 in inner block*/

    L1: if(a > 0) {
            L2:;
    }
}

В этом примере, goto операторы вызывают скачки к различным меткам. Правило нарушено когда:

  • Метка происходит в блоке, отличающемся от блока, содержащего goto оператор.

    Блок, содержащий метку не, заключает и не заключен текущим блоком.

  • Метка происходит в блоке, заключенном блоком, содержащим goto оператор.

Правило не нарушено когда:

  • Метка происходит в том же блоке как блок, содержащий goto оператор..

  • Метка происходит в блоке, который заключает блок, содержащий goto оператор..

void f2 ( int x, int z ) {
    int y = 0;

    switch(x) {
    case 0:
        if(x == y) {
            goto L1;  /* Non-compliant - switch-clauses are treated as blocks */
        }
        break;
    case 1:
        y = x;
        L1: ++x;
        break;
    default:
        break;
    }

}

В этом примере, метке для goto оператор, кажется, происходит в блоке, который заключает блок, содержащий goto оператор. Однако в целях этого правила, программное обеспечение полагает что каждый case оператор начинает новый блок. Поэтому goto оператор нарушает правило.

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

Группа: Поток управления
Категория: необходимый
Категория AGC: консультация

Вопросы совместимости

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

Не рекомендуемый запуск в R2021b

Смотрите также

| | | |

Темы

Введенный в R2014b

Документация Polyspace Code Prover

Поддержка