diff options
Diffstat (limited to 'src/mir/from_hir.cpp')
| -rw-r--r-- | src/mir/from_hir.cpp | 6 |
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() ) |