https://github.com/arsenm commented: Should also add a test for what happens on undefined behavior, and flat_scratch does end up really getting used. We shouldn't have any verifier errors or anything https://github.com/llvm/llvm-project/pull/130198