[llvm-commits] [llvm] r80263 - in /llvm/trunk: include/llvm/Analysis/AliasAnalysis.h lib/Analysis/AliasAnalysis.cpp

[Dan Gohman]

On Aug 27, 2009, at 11:16 AM, Duncan Sands wrote:


> Hi Dan,
>
>
>> Global Aliases are not identifiable objects.
>>
>
> isn't the identifiable object the aliasee?  (Not sure what an
> identifiable object is exactly, so I may be confused).  That said,
> if an alias has weak linkage then the aliasee might change at link  
> time.

Yes, but it's not isIdentifiableObject's job to look for an identified
object; it's just testing whether the given Value points to an
identified object. It's the job of getUnderlyingObject and
stripPointerCasts to climb the operand chain, and they now know
how to climb through Global Aliases (except when weak).

Dan