================ ---------------- fhahn wrote: This this change intentional? I think this will change behavior, in case we have known-true memory runtime checks, although it looks like this is missing test coverage https://github.com/llvm/llvm-project/pull/228077