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: Читаемость

См. также

Темы

Введенный в R2015b

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

Поддержка