4ast wrote: > And this makes the instruction > 232: 05 00 08 00 00 00 00 00 goto +0x8 <foo+0x88> > unreachable. I suspect it won't be easy to avoid this on llvm side. Probably better to teach verifier to ignore those. https://github.com/llvm/llvm-project/pull/133856