MIR Gen - Handle diverging calls fully

1 files changed, 6 insertions, 0 deletions

diff --git a/src/mir/from_hir.cpp b/src/mir/from_hir.cpp
index 3e41feeb..b5e42d31 100644
--- a/src/mir/from_hir.cpp
+++ b/src/mir/from_hir.cpp
@@ -1503,6 +1503,12 @@ namespace {
                     unconditional_diverge = true;
                 }
             }
+            else
+            {
+                // TODO: Know if the call unconditionally diverges.
+                if( node.m_cache.m_arg_types.back().m_data.is_Diverge() )
+                    unconditional_diverge = true;
+            }
 
             // If the call wasn't to an intrinsic, emit it as a path
             if( m_builder.block_active() )