Exponenta Banner

MISRA C:2012 Rule 2.3

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

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

Описание

Эта проверка деактивирована в Polyspace по умолчанию® по мере анализа You Code. Смотрите Checkers Deactivated in Polyspace как You Code Default Analysis (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 используется.

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

Группа: Неиспользованный код
Категория: Консультационные
Категория AGC: Читаемость

См. также

|

Темы

Введенный в R2014b

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

Поддержка