https://github.com/nikic requested changes to this pull request. We can never error for undefined behavior, because it might occur in dynamically dead code. This is also why the IR verifier does not check this. https://github.com/llvm/llvm-project/pull/96574