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

[Michael Kuperstein via llvm-commits]

mkuper updated this revision to Diff 58152.
mkuper added a comment.

Added a nested-struct test.
David, is this what you meant?


http://reviews.llvm.org/D20495

Files:
  include/llvm/Analysis/BasicAliasAnalysis.h
  lib/Analysis/BasicAliasAnalysis.cpp
  test/Analysis/BasicAA/negoffset.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D20495.58152.patch
Type: text/x-patch
Size: 21800 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160523/fb26d163/attachment.bin>