MIR Gen - Replace infinite loop for default in match generation with a diverge terminator

1 files changed, 3 insertions, 1 deletions

diff --git a/src/mir/from_hir_match.cpp b/src/mir/from_hir_match.cpp
index 218809a4..b8fabdc0 100644
--- a/src/mir/from_hir_match.cpp
+++ b/src/mir/from_hir_match.cpp
@@ -504,6 +504,8 @@ void MIR_LowerHIR_Match( MirBuilder& builder, MirConverter& conv, ::HIR::ExprNod
         }
     }
 
+    // TODO: SplitSlice is buggy, make it fall back to simple?
+
     // TODO: Don't generate inner code until decisions are generated (keeps MIR flow nice)
     // - Challenging, as the decision code needs somewhere to jump to.
     // - Allocating a BB and then rewriting references to it is a possibility.
@@ -2526,7 +2528,7 @@ void MIR_LowerHIR_Match_Grouped(
     // Make the default infinite loop.
     // - Preferably, it'd abort.
     builder.set_cur_block(default_arm);
-    builder.end_block( ::MIR::Terminator::make_Goto(default_arm) );
+    builder.end_block( ::MIR::Terminator::make_Diverge({}) );
 }
 void MatchGenGrouped::gen_for_slice(t_rules_subset arm_rules, size_t ofs, ::MIR::BasicBlockId default_arm)
 {