Exponenta Banner

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

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

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

Описание

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

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

Объяснение

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

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

Проект не должен содержать неиспользованные описания типа: тип 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: удобочитаемость
Язык: C90, C99

Смотрите также

Темы

Введенный в R2014b

Документация Polyspace Code Prover
Поддержка