From cbbbe00da28eda2c57a3b74abf440fb57f59bf3f Mon Sep 17 00:00:00 2001
From: Nick Fitzgerald <fitzgen@gmail.com>
Date: Fri, 12 Jul 2024 09:55:27 -0700
Subject: [PATCH] Resolve aliases before inserting values into the live set

This fixes a fuzz bug found in the development of
https://github.com/bytecodealliance/wasmtime/pull/8941
---
 cranelift/frontend/src/frontend.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cranelift/frontend/src/frontend.rs b/cranelift/frontend/src/frontend.rs
index 2df35d146ee9..b1f04bb31111 100644
--- a/cranelift/frontend/src/frontend.rs
+++ b/cranelift/frontend/src/frontend.rs
@@ -808,6 +808,7 @@ impl<'a> FunctionBuilder<'a> {
                 // instruction to the live set. This includes branch arguments,
                 // as mentioned above.
                 for val in self.func.dfg.inst_values(inst) {
+                    let val = self.func.dfg.resolve_aliases(val);
                     if self.func_ctx.stack_map_values.contains(val) {
                         live.insert(val);
                     }