fix: handle try-except blocks without except

Author: seer-by-sentry[bot]

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

@@ -330,12 +330,23 @@ public ParseTree visitTryStatement(BSLParser.TryStatementContext ctx) {
     // весь блок try
     blocks.enterBlock();
 
-    blocks.enterBlock();
-    ctx.exceptCodeBlock().accept(this);
-    var exception = blocks.leaveBlock();
+    StatementsBlockWriter.StatementsBlockRecord exception;
+    CfgVertex exceptionHandler;
+    
+    // Check if except block exists before processing it
+    if (ctx.exceptCodeBlock() != null) {
+      blocks.enterBlock();
+      ctx.exceptCodeBlock().accept(this);
+      exception = blocks.leaveBlock();
+      exceptionHandler = exception.begin();
+    } else {
+      // If no except block, use the parent's exception handler
+      exceptionHandler = blocks.getCurrentBlock().getJumpContext().exceptionHandler;
+      exception = null;
+    }
 
     var jumpInfo = new StatementsBlockWriter.JumpInformationRecord();
-    jumpInfo.exceptionHandler = exception.begin();
+    jumpInfo.exceptionHandler = exceptionHandler;
 
     blocks.enterBlock(jumpInfo);
     ctx.tryCodeBlock().accept(this);
@@ -344,8 +355,13 @@ public ParseTree visitTryStatement(BSLParser.TryStatementContext ctx) {
     graph.addEdge(tryBranch, success.begin(), CfgEdgeType.TRUE_BRANCH);
     blocks.getCurrentBlock().getBuildParts().push(success.end());
 
-    graph.addEdge(tryBranch, exception.begin(), CfgEdgeType.FALSE_BRANCH);
-    blocks.getCurrentBlock().getBuildParts().push(exception.end());
+    if (exception != null) {
+      graph.addEdge(tryBranch, exception.begin(), CfgEdgeType.FALSE_BRANCH);
+      blocks.getCurrentBlock().getBuildParts().push(exception.end());
+    } else {
+      // If no except block, connect false branch to the parent's exception handler
+      graph.addEdge(tryBranch, exceptionHandler, CfgEdgeType.FALSE_BRANCH);
+    }
 
     var builtBlock = blocks.leaveBlock();
 

src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/AllFunctionPathMustHaveReturnDiagnosticTest.java

@@ -123,4 +123,20 @@ void testExitByRaiseException() {
     assertThat(diagnostics).isEmpty();
 
   }
+
+  @Test
+  void testTryWithoutExceptBlock() {
+    var sample =
+      """
+        Функция Тест()
+          Попытка
+            Возврат ВыполнитьОперацию();
+          КонецПопытки;
+        КонецФункции""";
+
+    var documentContext = TestUtils.getDocumentContext(sample);
+    var diagnostics = getDiagnostics(documentContext);
+
+    assertThat(diagnostics).isEmpty();
+  }
 }