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

[Eli Friedman via llvm-commits]

eli.friedman added a comment.

Example:

  struct A {
    unsigned char a[10];
    unsigned char b;
  };
  void f(A* x) {
    for (unsigned i = 0; i < 11; ++i)
      x->b += ((unsigned char*)x)[i];
  }


Repository:
  rL LLVM

http://reviews.llvm.org/D20665