Exponenta Banner

Правило 2.6 MISRA C:2012

Функция не должна содержать неиспользованные описания меток

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

Описание

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

Функция не должна содержать неиспользованные описания меток.

Объяснение

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

Обменивайтесь сообщениями в отчете

Функция не должна содержать неиспользованные описания меток.

Маркируйте label_name, не используется.

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

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Примеры

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

void use_var(signed short);

void unused_label ( void )
{
    signed short x = 6;

label1:                        /* Non-compliant - label1 not used */
    use_var ( x );
}

void used_label ( void )
{
    signed short x = 6;

    for (int i=0; i < 5; i++) {
        if ( i==2 ) goto label1;
    }

label1:		               /* Compliant - label1 used */
    use_var ( x );
}

В этом примере нарушено правило, когда метка label1 в функциональном unused_label не используется.

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

Группа: Неиспользованный код
Категория: консультация
Категория AGC: удобочитаемость
Язык: C90, C99

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

Темы

Введенный в R2015b

Документация Polyspace Code Prover
Поддержка