[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 58167.
mkuper added a comment.

And now, with the right CHECK.


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.58167.patch
Type: text/x-patch
Size: 21910 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160523/7bd60c7a/attachment.bin>