[PATCH] D20495: [BasicAA] An inbounds GEP and an alloca can't alias if the base of the GEP would point "below" the alloca

[Xinliang David Li via llvm-commits]

On Mon, May 23, 2016 at 2:28 PM, Michael Kuperstein <mkuper at google.com>
wrote:

> mkuper updated this revision to Diff 58152.
> mkuper added a comment.
>
> Added a nested-struct test.
> David, is this what you meant?
>


yes  -- add one negative 'mayalias' case will make it complete :)

David

>
>
> http://reviews.llvm.org/D20495
>
> Files:
>   include/llvm/Analysis/BasicAliasAnalysis.h
>   lib/Analysis/BasicAliasAnalysis.cpp
>   test/Analysis/BasicAA/negoffset.ll
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160523/13ee5a05/attachment.html>