From 500c0676b3f6cd5a2297987d5b0dc7ccf34a28d9 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Mon, 13 Jul 2026 18:14:45 +0200
Subject: Make return statement part of the body and not a statement

---
 testsuite/compilable/pointer_cast.elna                | 4 +++-
 testsuite/fail_compilation/module_without_return.elna | 6 ++++++
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 testsuite/fail_compilation/module_without_return.elna

(limited to 'testsuite')

diff --git a/testsuite/compilable/pointer_cast.elna b/testsuite/compilable/pointer_cast.elna
index d10fb23..64b99ca 100644
--- a/testsuite/compilable/pointer_cast.elna
+++ b/testsuite/compilable/pointer_cast.elna
@@ -4,5 +4,7 @@ var
 
 begin
   p := c;
-  c := p
+  c := p;
+
+  return 0
 end.
diff --git a/testsuite/fail_compilation/module_without_return.elna b/testsuite/fail_compilation/module_without_return.elna
new file mode 100644
index 0000000..f2ece07
--- /dev/null
+++ b/testsuite/fail_compilation/module_without_return.elna
@@ -0,0 +1,6 @@
+var (* @Error Procedure 'module' is expected to return, but does not have a return statement *)
+  x: Int
+
+begin
+  x := 42
+end.
-- 
cgit v1.2.3