[docs] AliasAnalysis: clarify that PartialAlias doesn't enforce
authorNuno Lopes <nunoplopes@sapo.pt>
Sat, 15 Jul 2017 09:09:24 +0000 (09:09 +0000)
committerNuno Lopes <nunoplopes@sapo.pt>
Sat, 15 Jul 2017 09:09:24 +0000 (09:09 +0000)
commit4fc09cb33328796b5d70ecd28ff5816628c710a4
tree91af0e8da90b1a6da9774203e24507cb4bc4893c
parent13acbb91ee3550bcff5acd367bc5bf7798bbf18b
[docs] AliasAnalysis: clarify that PartialAlias doesn't enforce
objects to start at the same address

As discussed on the ML, there's consensus that this is what the implementations
do and it seems sensible.

llvm-svn: 308090
llvm/docs/AliasAnalysis.rst