Exponenta Banner
exponenta event banner

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

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

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

Описание

Эта проверка деактивируется в анализе Polyspace ® по умолчанию в качестве кода. См. раздел Шашки, деактивированные в Polyspace как анализ кода по умолчанию (Polyspace Bug Finder Access).

Определение правила

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

Объяснение

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

Дополнительное сообщение в отчете

Проект не должен содержать неиспользуемые объявления типов: тип XX не используется.

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

Примеры

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

signed short unusedType (void){

    typedef signed short myType;   /* Non-compliant */
    return 67;

}

signed short usedType (void){

    typedef signed short myType;  /* Compliant */
    myType tempVar = 67;
    return tempVar;

}

В этом примере в функции unusedType, typedef оператор определяет новый локальный тип myType. Однако этот тип никогда не используется в функции. Поэтому правило нарушается.

Правило не нарушается в функции usedType потому что новый тип myType используется.

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

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

См. также

|

Темы

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

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

Поддержка