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

[Daniel Berlin via llvm-commits]

Yes, but i would go with "offset and size".  name and index does not tell
you whether they overlap.

Think of unions :)

On Wed, Jun 22, 2016 at 2:48 PM, Taewook Oh <twoh at fb.com> wrote:

> 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
>
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160622/a576f722/attachment.html>