[PATCH] D88860: [LangRef] Describe why the pointer aliasing rules are currently unsound.

Mon Oct 5 23:46:34 PDT 2020

lebedev.ri added inline comments.

================
Comment at: llvm/docs/LangRef.rst:2578
+escaped pointer. This description leaves a lot of open questions regarding the
+interaction between pointer operations and non-pointer operations.
+
----------------
aqjune wrote:
> FYI: Alive2 uses this semantics, and it returns poison when a pointer-byte is read as a non-pointer type (and vice versa). The main blocker is a load type canonicalization in InstCombine, which changes load pointer to load i64.
... which i just purged in D88789 / rGe00f189d392dd9bf95f6a98f05f2d341d06cd65c.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D88860