Exponenta Banner
exponenta event banner

MISRA C:2012 Правило 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 не используется.

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

Группа: Неиспользуемый код
Категория: Консультационные услуги
Категория СМЖЛ: удобочитаемость

См. также

Темы

Представлен в R2015b

Документация по программе проверки кода Polyspace

Поддержка