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

[Eli Friedman]

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...

-Eli