[PATCH] D95238: [LangRef] Update memory access ops to raise UB if ptrs are not well defined

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I believe we would also have to specify that `dereferenceable` requires a well-defined value in order to be self-consistent.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D95238/new/

https://reviews.llvm.org/D95238