earnol wrote: I agree your example is highly unusual and the code like this looks like a bug for multiple reasons, yet this is not a reason to crash. It will also make sense to add more complex typecasts cases. https://github.com/llvm/llvm-project/pull/210154