Не должно быть никакого мертвого кода
Не должно быть никакого мертвого кода.
Если операция достижима, но удаляет, операция не влияет на поведение программы, операция составляет мертвый код.
Присутствие мертвого кода может указать на ошибку в логике программы. Поскольку компилятор может удалить мертвый код, его присутствие может вызвать беспорядок для рецензентов кода.
Операции включающие расширения языка, такие как __asm ( "NOP" );
не рассматриваются мертвым кодом.
Polyspace® Bug Finder™ обнаруживает бесполезные операции записи во время анализа.
Polyspace Code Prover™ не обнаруживает бесполезные операции записи. Например, если вы присваиваете значение локальной переменной, но не читаете его позже, Polyspace Code Prover не обнаруживает это бесполезное присвоение. Используйте Polyspace Bug Finder, чтобы обнаружить такие бесполезные операции записи.
В Программе автоматического доказательства Кода можно также видеть различие в результатах на основе выбора для опции Verification level (-to)
. Смотрите проверку на кодирование стандартных нарушений.
Не должно быть никакого мертвого кода.
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
Группа: неиспользованный код |
Категория: необходимый |
Категория AGC: необходимый |
Язык: C90, C99 |