================ ---------------- spavloff wrote: I think you are right and extending semantics of `onlyAccessesInaccessibleMem` could reduce misunderstanding. The code is changed accordingly. https://github.com/llvm/llvm-project/pull/221754