Exponenta Banner

MISRA C:2012 Rule 2.6

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

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

Описание

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

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

Объяснение

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

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

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

Маркируйте 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
Поддержка