fix: Added missing type check when return statement as no returned value

buzz-language · Sep 19, 2024 · 406bc03 · 406bc03
1 parent 2a17e7e
commit 406bc03
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/Codegen.zig b/src/Codegen.zig
@@ -3427,6 +3427,17 @@ fn generateReturn(self: *Self, node: Ast.Node.Index, breaks: ?*Breaks) Error!?*o
 
         _ = try self.generateNode(value, breaks);
     } else {
+        if (self.current.?.function.?.type_def.resolved_type.?.Function.return_type.def_type != .Void) {
+            self.reporter.reportTypeCheck(
+                .return_type,
+                self.ast.tokens.get(locations[self.current.?.function_node]),
+                self.current.?.function.?.type_def.resolved_type.?.Function.return_type,
+                self.ast.tokens.get(locations[node]),
+                self.gc.type_registry.void_type,
+                "Return value",
+            );
+        }
+
         try self.emitOpCode(locations[node], .OP_VOID);
     }