Exponenta Banner

MISRA C:2012 Rule 2.4

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

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

Описание

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

Примечание

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

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

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

Объяснение

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

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

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

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

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

void unusedTag ( void )
{
    enum state1 { S_init, S_run, S_sleep };	/* Non-compliant  */			
}

void usedTag ( void )
{
    enum state2 { S_init, S_run, S_sleep };	/* Compliant  */			
    enum state2 my_State = S_init;
}

В этом примере, в функциональном unusedTag, тег state1 задается, но не используется. Поэтому правило нарушено.

typedef struct record_t		/* Non-compliant  */	
{
    unsigned short key;
    unsigned short val;
} record1_t;


typedef struct			   /* Compliant */						
{
    unsigned short key;
    unsigned short val;
} record2_t;

record1_t myRecord1_t;
record2_t myRecord2_t;

В этом примере, тег record_t появляется только в typedef из record1_t. В остальной части модуля перевода, тип record1_t используется. Поэтому правило нарушено.

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

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

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

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

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

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

|

Темы

Введенный в R2014b

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

Поддержка