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

[Daniel Berlin via llvm-commits]

Just FYI;
If you want to get this metadata into trunk, you are going to have to have
a real design RFC for it, and, as part of that, explain why you can't or
shouldn't generalize something existing (like the struct path metadata
etc), to this case.

Not suggesting you can't make that argument, of course, just making sure
you realize you'll have to actually be able to defend new metadata, we
don't just add everything :)



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

> twoh added a comment.
>
> @dberlin I was planning to add metadata only for structures (not unions),
> but even in that case "offset and size" seems like a better idea. Thanks!
>
>
> 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/545458ef/attachment.html>