Exponenta Banner

MISRA C:2012 Rule 2.5

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

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

Описание

Эта проверка деактивирована в Polyspace по умолчанию® по мере анализа You Code. Смотрите Checkers Deactivated in Polyspace как You Code Default Analysis (Polyspace Bug Finder Access).

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

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

Объяснение

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

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

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

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

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

Примеры

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

void use_macro (void)
{
    #define SIZE 4
    #define DATA 3

    use_int16(SIZE);
}

В этом примере макрос DATA никогда не используется в use_macro функция.

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

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

См. также

Темы

Введенный в R2014b

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

Поддержка