WIP: Feature/dead code improve

[EvilBeaver]

Описание

Предыдущий вариант UnreachableCode не отлавливал досрочный выход из процедуры

Если А Тогда
    Возврат 1;
Иначе
    Возврат 2;
КонецЕсли;

ТутОшибка = Истина; // <- недостижимый код

Связанные задачи

нет связанной задачи

Чеклист

Общие

• Ветка PR обновлена из develop
• Отладочные, закомментированные и прочие, не имеющие смысла участки кода удалены
• Изменения покрыты тестами
• Обязательные действия перед коммитом выполнены (запускал команду gradlew precommit)

Для диагностик

• Описание диагностики заполнено для обоих языков (перевод на английский не обязателен)

Дополнительно

на голом Cfg сделать не удалось, т.е. UnreachableCode детектирует повторные недостижимые участки на уровне блока кода, а в текущей реализации Cfg нет информации о блоках кода. Диагностика работает по предыдущему алгоритму, затем строит CFG для мертвого кода, и те узлы, которые уже обнаружил старый алгоритм - фильтрует. Оставшиеся после фильра недостижимые узлы - это будут те, которые нашел только CFG, но не старая диагностика.