Lower MIR - Handle return with diverging result (Fixes #275)

thepowersgang · Sep 27, 2023 · ed60973 · ed60973
1 parent 8680fe7
commit ed60973
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/samples/test/mrustc-275.rs b/samples/test/mrustc-275.rs
@@ -0,0 +1,7 @@
+fn fun1() -> () {
+    return {
+        return ();
+    };
+}
+
+fn main() {}
diff --git a/src/mir/from_hir.cpp b/src/mir/from_hir.cpp
@@ -604,6 +604,10 @@ namespace {
             TRACE_FUNCTION_F("_Return");
             this->visit_node_ptr(node.m_value);
 
+            if( !m_builder.block_active() ) {
+                return ;
+            }
+
             if( m_is_generator )
             {
                 ::HIR::GenericPath enm_path;