Exponenta Banner

MISRA C:2012 Rule 2.3

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

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

Описание

Это средство проверки деактивировано в Polyspace по умолчанию® как Вы Анализ кода. Смотрите Средства проверки, Деактивированные в Polyspace, когда Вы Кодируете Анализ По умолчанию.

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

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

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

Объяснение

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

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

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

Вопросы совместимости

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

Не рекомендуемый запуск в R2021b

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

|

Темы

Введенный в R2014b

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

Поддержка