Diverging procedures `proc() -> !` (no return)

1 files changed, 7 insertions, 0 deletions

diff --git a/src/ir_print.cpp b/src/ir_print.cpp
index 441835922..5c6a9cb0a 100644
--- a/src/ir_print.cpp
+++ b/src/ir_print.cpp
@@ -1475,6 +1475,9 @@ void ir_print_instr(irFileBuffer *f, irModule *m, irValue *value) {
 		}
 		ir_write_str_lit(f, ")");
 
+		if (proc_type->Proc.no_return) {
+			ir_write_str_lit(f, " noreturn");
+		}
 		ir_print_debug_location(f, m, value, instr->block->proc);
 
 		break;
@@ -1624,6 +1627,10 @@ void ir_print_proc(irFileBuffer *f, irModule *m, irProcedure *proc) {
 		break;
 	}
 
+	if (proc_type->no_return) {
+		ir_write_str_lit(f, "noreturn ");
+	}
+
 	if (m->generate_debug_info && proc->entity != nullptr && proc->body != nullptr) {
 		irDebugInfo **di_ = map_get(&proc->module->debug_info, hash_pointer(proc->entity));
 		if (di_ != nullptr) {