Exponenta Banner

MISRA C:2012 Rule 15.2

Оператор перехода должен перейти к метке, объявленной позже в той же функции

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

Описание

Примечание

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

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

Оператор перехода должен перейти к метке, объявленной позже в той же функции.

Объяснение

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

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

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

Примеры

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

void foo(void) {
    int i = 0, result = 0;

label1:
    for ( i; i < 5; i++ ) {
        if (i > 2) goto label2;   /* Compliant */
    }

label2: {
        result++;
        goto label1;               /* Non-compliant */
    }
}

В этом примере правило нарушено когда goto оператор вызывает обратный скачок к label1.

Правило не нарушено когда goto оператор вызывает прямой скачок к label2.

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

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

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

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

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

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

| | |

Темы

Введенный в R2014b

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

Поддержка