artagnon wrote: > It looks like some checks related to pointers may be missing, I am seeing a crash with the following IR Thanks, this was actually a bug in GEP type inference. I've now added your test. https://github.com/llvm/llvm-project/pull/125365