Exponenta Banner

MISRA C++:2008 Rule 0-1-9

Не должно быть никакого мертвого кода

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

Описание

Примечание

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

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

Не должно быть никакого мертвого кода.

Объяснение

Если операция достижима, но удаляет, операция не влияет на поведение программы, операция составляет мертвый код. Например, предположите, что переменная никогда не читается после операции записи. Операция записи избыточна.

Присутствие мертвого кода может указать на ошибку в логике программы. Поскольку компилятор может удалить мертвый код, его присутствие может вызвать беспорядок для рецензентов кода.

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

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

Примеры

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

#define ULIM 10000

int func(int arg) {
    int res;
    res = arg*arg + arg;
    if (res > ULIM)
        res = 0; //Noncompliant
    return arg;
}

В этом примере, операции, включающие res избыточны потому что функциональный func возвращает его аргумент arg. Все операции, включающие res может быть удален, не изменяя эффект функции.

Средство проверки отмечает последнюю операцию записи на res потому что переменная никогда не читается после той точки. Мертвый код может указать на непреднамеренную ошибку кодирования. Например, вы намеревались возвратить значение res вместо arg.

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

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

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

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

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

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

Темы

Введенный в R2017b

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

Поддержка