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

[Taewook Oh via llvm-commits]

twoh added a comment.

@dberlin Thank you for your comments. My original plan was making each GEP to understand its source-level type with metadata, but now I also agree on you that the approach will not add much value. Instead, I'm working on adding metadata when clang observes struct field access in the source. The metadata will tell the name of the struct and the index of the accessed field. Does that sound more reasonable?


Repository:
  rL LLVM

http://reviews.llvm.org/D20665