[llvm-dev] AA and external globals

[Christian Convey via llvm-dev]

>
>
> The constant folder assumes @Bar and @Foo are distinct via
> areGlobalsPotentiallyEqual <
> http://llvm.org/docs/doxygen/html/ConstantFold_8cpp_source.html#l01382>
>
> I'm not entirely sure if this is correct in the case where @Bar happens to
> be an alias for @Foo elsewhere... Nick, any ideas?
>

Thanks David, it sounds like areGlobalsPotentiallyEqual may provide the
exact logic I want, based on your explanation.

My only reservation, aside from the one you mentioned, is that I don't
notice anything in that method looking for the unnamed_addr flag.  I
suspect my AA code would give wrong answers regarding two globals which got
unified because of that flag.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20151105/fa421047/attachment.html>