j2kun wrote: Any suggestions on a proper fix? I couldn't say I truly understand why the problem is here in the first place (that the solver treats _anything_ as dead by default seems like a strange design decision to me). https://github.com/llvm/llvm-project/pull/143415