[PATCH] D20665: Claim NoAlias if two GEPs index different fields of the same struct

[Eli Friedman via llvm-commits]

eli.friedman added a comment.

"allocated object" in this context means the entire object returned by something like malloc() or the alloca instruction.

If you have an idea for how to improve the wording, please propose a patch for LangRef (llvm/docs/LangRef.rst).


Repository:
  rL LLVM

http://reviews.llvm.org/D20665