src/main/java/com/github/_1c_syntax/bsl/languageserver/cfg/ControlFlowGraph.java (1)

36-40: Публичный конструктор: оценить необходимость расширения API

Смена видимости конструктора на public расширяет поверхность API и допускает произвольное создание графа вне пакета. Если прямой инстанс ControlFlowGraph вне cfg не требуется (в текущем PR используется CfgBuildingParseTreeVisitor#buildGraph), лучше сохранить пакетную видимость, либо добавить явную JavaDoc/аннотацию (например, «Intended for external consumers») с описанием инвариантов (наличие exitPoint, поведение entryPoint). Это снизит риск неправильного использования и облегчит сопровождение публичного контракта.

src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/UnreachableCodeDiagnosticTest.java (1)

54-59: Стабилизировать проверку нового кейса раннего выхода отдельным тестом

Текущие жестко прошитые координаты остаются чувствительными к правкам тестового BSL-файла. Рекомендую вынести сценарий «раннего выхода» в отдельный метод-тест с более локальными проверками (например, по границам внутри функции или по уникальной метке-комментарию), чтобы уменьшить хрупкость набора координат.

Готов предложить заготовку теста с более устойчивой проверкой при необходимости.

src/test/resources/diagnostics/UnreachableCodeDiagnostic.bsl (2)

124-127: Опечатки в комментарии

Небольшие опечатки в пользовательском (пусть и тестовом) комментарии — лучше поправить для читаемости.

Предлагаемый патч:

-    #КонецЕсли
-
-    Метод2();   // <-- Ошибка: ренее были Возврат и Вызватьисключение, ка не ловим
+    #КонецЕсли
+
+    Метод2();   // <-- Ошибка: ранее были Возврат и ВызватьИсключение, но не ловим

---

157-165: Новый кейс «ДосрочныйВыход» — удачно покрывает ранний возврат

Добавленная функция хорошо валидирует недостижимость кода после возврата из обеих веток. В качестве расширения можно добавить аналогичный кейс с цепочкой ИначеЕсли и/или с препроцессором внутри веток, чтобы проверить устойчивость анализа на составных ветвлениях.

src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/UnreachableCodeDiagnostic.java (2)

132-146: CFG: улучшить точность фильтра и порядок сортировки

• Для исключения узла выхода лучше использовать instanceof, а не сравнение классов (на будущее, если появятся наследники):

-      .filter(vertex -> vertex != graph.getEntryPoint() && vertex.getClass() != ExitVertex.class)
+      .filter(vertex -> vertex != graph.getEntryPoint() && !(vertex instanceof ExitVertex))

• Сортировку стоит детализировать по позиции в строке — так стабильнее при нескольких узлах на одной строке:

-      .sorted(Comparator.comparingInt(bslParserRuleContext -> bslParserRuleContext.getStart().getLine()))
+      .sorted(
+        Comparator.comparingInt((BSLParserRuleContext r) -> r.getStart().getLine())
+                  .thenComparingInt(r -> r.getStart().getCharPositionInLine())
+      )

• Метод выделяет только вершины с inDegree == 0. Это гарантированно включает «корневые» куски недостижимого кода, но может пропустить узлы, достижимые только из уже недостижимых (например, тело цикла/условия, расположенное после точки отсечения). В перспективе можно рассмотреть подход «все вершины − достижимые из entry» (поиск в ширину/глубину от entryPoint) — он даст полный набор недостижимых узлов. Это необязательная доработка в рамках «chill»-ревью, текущий подход решает заявленную проблему раннего выхода.

---

148-166: Дедупликация: учесть пересечения и среди «новых» диапазонов; обновлять кэш

Сейчас проверка исключает только диапазоны, уже обнаруженные старым алгоритмом. При нескольких узлах в одном BasicBlock возможны дубли/пересечения внутри deadCode. Предлагаю:

• дедуплицировать также по уже отобранным «новым» диапазонам;
• после регистрации добавить их в errorRanges для симметрии и защиты от повторной регистрации в соседних обходах.

Патч:

-    var newRanges = new ArrayList<Range>();
+    var acceptedRanges = new ArrayList<Range>();
     for (var range : deadCode) {
       var alreadyDetected = false;
       for (Range detectedRange : errorRanges) {
         var pos = new Position(range.getStart().getLine(), range.getStart().getCharacter());
         if (Ranges.containsPosition(detectedRange, pos)) {
           alreadyDetected = true;
           break;
         }
       }
-      if(!alreadyDetected) {
-        newRanges.add(range);
+      if (!alreadyDetected) {
+        // проверим пересечения и с уже принятыми новыми диапазонами
+        for (Range accepted : acceptedRanges) {
+          var pos = new Position(range.getStart().getLine(), range.getStart().getCharacter());
+          if (Ranges.containsPosition(accepted, pos)) {
+            alreadyDetected = true;
+            break;
+          }
+        }
+      }
+      if (!alreadyDetected) {
+        acceptedRanges.add(range);
       }
     }
 
-    for (var range : newRanges) {
+    // обновим кэш для последующих проверок
+    errorRanges.addAll(acceptedRanges);
+
+    for (var range : acceptedRanges) {
       diagnosticStorage.addDiagnostic(range);
     }

Configuration used: CodeRabbit UI
Review profile: CHILL
Plan: Pro

💡 Knowledge Base configuration:

• MCP integration is disabled by default for public repositories
• Jira integration is disabled by default for public repositories
• Linear integration is disabled by default for public repositories

You can enable these sources in your CodeRabbit configuration.

src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/UnreachableCodeDiagnosticTest.java (1)

41-41: Обновление ожидаемого количества диагностик — выглядит корректно

Увеличение с 15 до 17 согласуется с добавленным кейсом раннего выхода и расширенным покрытием CFG.

src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/UnreachableCodeDiagnostic.java (4)

24-26: Импорты для CFG-анализа — уместно

Новые импорты (CfgBuildingParseTreeVisitor, ExitVertex, Comparator) соответствуют добавленной логике и выглядят корректно.

Also applies to: 42-42

---

116-122: Порядок вызовов и очистка кэша — ок

Очистка errorRanges перед super.visitSubCodeBlock(ctx) и последующий вызов appendUnreachableCode обеспечивает дедупликацию «новых» находок относительно «старого» алгоритма. Логика вызовов выглядит правильной.

---

124-130: Аналогично для FileCodeBlock — выглядит консистентно

Та же последовательность шагов для файлового блока поддерживает единое поведение.

---

169-251: Совместимость с препроцессором и кэшированием — поведение согласовано

Проверка на вхождение в ранее зафиксированные диапазоны, а также учет препроцессорных блоков при вычислении конца текущего блока выглядят корректно и совместимы с новой веткой CFG-анализа.