[llvm-commits] [llvm] r61010 - /llvm/trunk/docs/AliasAnalysis.html

[Nick Lewycky]

Eli Friedman wrote:
> On Sun, Dec 14, 2008 at 1:08 PM, Nick Lewycky <nicholas at mxc.ca> wrote:
>> +<p>The MustAlias response may only be returned if the two memory objects are
>> +guaranteed to always start at exactly the same location. A MustAlias response
>> +implies that the pointers compare equal.</p>
> 
> Do we really guarantee the pointer equality property?  I can easily
> imagine an implementation for which this doesn't hold...

I'm quite sure that p MustAlias q implies p == q. Am I missing something?

Nick