IR: phi instruction handles unreachable values correctly

1 files changed, 6 insertions, 2 deletions

diff --git a/src/ir.cpp b/src/ir.cpp
index c58b91f604..b215721acb 100644
--- a/src/ir.cpp
+++ b/src/ir.cpp
@@ -6493,14 +6493,18 @@ static TypeTableEntry *ir_analyze_instruction_phi(IrAnalyze *ira, IrInstructionP
         if (predecessor->ref_count == 0)
             continue;
 
-        assert(predecessor->other);
-        new_incoming_blocks.append(predecessor->other);
 
         IrInstruction *old_value = phi_instruction->incoming_values[i];
         assert(old_value);
         IrInstruction *new_value = old_value->other;
         if (!new_value || new_value->type_entry->id == TypeTableEntryIdInvalid)
             return ira->codegen->builtin_types.entry_invalid;
+
+        if (new_value->type_entry->id == TypeTableEntryIdUnreachable)
+            continue;
+
+        assert(predecessor->other);
+        new_incoming_blocks.append(predecessor->other);
         new_incoming_values.append(new_value);
     }
     assert(new_incoming_blocks.length != 0);