fix: handle null code blocks in loops

.github/workflows/sentry.yml

@@ -45,4 +45,4 @@ jobs:
           SENTRY_PROJECT: ${{ secrets.SENTRY_PROJECT }}
         with:
           environment: ${{ env.ENVIRONMENT }}
-          version: ${{ env.RELEASE_VERSION }}
+          release: ${{ env.RELEASE_VERSION }}

src/main/java/com/github/_1c_syntax/bsl/languageserver/cfg/CfgBuildingParseTreeVisitor.java

@@ -24,6 +24,7 @@
 import com.github._1c_syntax.bsl.parser.BSLParser;
 import com.github._1c_syntax.bsl.parser.BSLParserBaseVisitor;
 import com.github._1c_syntax.bsl.parser.BSLParserRuleContext;
+import jakarta.annotation.Nullable;
 import org.antlr.v4.runtime.tree.ParseTree;
 
 import java.util.ArrayList;
@@ -194,7 +195,7 @@ public ParseTree visitElsifBranch(BSLParser.ElsifBranchContext ctx) {
   public ParseTree visitCodeBlock(BSLParser.CodeBlockContext ctx) {
     var currentBlock = blocks.getCurrentBlock();
     graph.addVertex(currentBlock.begin());
-    return super.visitCodeBlock(ctx);
+    return ctx == null ? null : super.visitCodeBlock(ctx);
   }
 
   @Override
@@ -524,7 +525,7 @@ private void makeJump(CfgVertex jumpTarget) {
     graph.addVertex(blocks.getCurrentBlock().end());
   }
 
-  private void buildLoopSubgraph(BSLParser.CodeBlockContext ctx, LoopVertex loopStart) {
+  private void buildLoopSubgraph(@Nullable BSLParser.CodeBlockContext ctx, LoopVertex loopStart) {
     graph.addVertex(loopStart);
     connectGraphTail(blocks.getCurrentBlock(), loopStart);
 
@@ -536,9 +537,7 @@ private void buildLoopSubgraph(BSLParser.CodeBlockContext ctx, LoopVertex loopSt
     jumpState.loopBreak = blocks.getCurrentBlock().end();
 
     blocks.enterBlock(jumpState);
-
-    ctx.accept(this);
-
+    visitCodeBlock(ctx);
     var body = blocks.leaveBlock();
 
     graph.addEdge(loopStart, body.begin(), CfgEdgeType.TRUE_BRANCH);

src/test/java/com/github/_1c_syntax/bsl/languageserver/cfg/ControlFlowGraphBuilderTest.java

@@ -288,6 +288,40 @@ void testInnerLoops() {
     assertThat(walker.getCurrentNode()).isInstanceOf(ExitVertex.class);
   }
 
+  @Test
+  void testLoopWithNullCodeBlock() {
+    var code = """
+      Для х = 1 По 10 Цикл
+      КонецЦикла;""";
+
+    var parseTree = parse(code);
+
+    // Force null code block by removing the CodeBlock child
+    var forStatement = parseTree.statement(0).compoundStatement().forStatement();
+    var children = forStatement.children;
+
+    // Find and remove the CodeBlockContext child
+    for (int i = 0; i < children.size(); i++) {
+      if (children.get(i) instanceof BSLParser.CodeBlockContext) {
+        children.remove(i);
+        break;
+      }
+    }
+
+    var builder = new CfgBuildingParseTreeVisitor();
+    var graph = builder.buildGraph(parseTree);
+
+    // Check if graph was built successfully
+    assertThat(graph).isNotNull();
+    assertThat(graph.vertexSet()).isNotEmpty();
+
+    // Verify basic structure - should at least have loop vertex and exit
+    var vertices = traverseToOrderedList(graph);
+    assertThat(vertices)
+      .hasAtLeastOneElementOfType(ForLoopVertex.class)
+      .hasAtLeastOneElementOfType(ExitVertex.class);
+  }
+
   @Test
   void tryHandlerFlowTest() {
     var code = """