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

[Eli Friedman]

On Sun, Dec 14, 2008 at 1:48 PM, Nick Lewycky <nicholas at mxc.ca> wrote:
> 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?

No, nevermind, I'm not sure what I was thinking... a pass that didn't
honor that would cause problems.

-Eli