[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 58496.

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.58496.patch
Type: text/x-patch
Size: 21945 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160525/29ab4c93/attachment.bin>