[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]

This revision was automatically updated to reflect the committed changes.
Closed by commit rL270777: [BasicAA] Improve precision of alloca vs. inbounds GEP alias queries (authored by mkuper).

Changed prior to commit:
  http://reviews.llvm.org/D20495?vs=58496&id=58524#toc

Repository:
  rL LLVM

http://reviews.llvm.org/D20495

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D20495.58524.patch
Type: text/x-patch
Size: 22044 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160525/1fba7277/attachment.bin>