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

[Daniel Berlin via llvm-commits]

dberlin accepted this revision.
dberlin added a reviewer: dberlin.
dberlin added a comment.
This revision is now accepted and ready to land.

At this point, i think this looks pretty good to me.


http://reviews.llvm.org/D20495