[llvm-dev] Weak symbol/alias semantics

[Rafael Avila de Espindola via llvm-dev]

> What if alias and aliasee are both non-prevailing and the prevailing defs
> for each are different? E.g.
>
> @x = weak global ...
> @y = weak alias @x
>
> and the prevailing def for @x is in moduleX with a different value than the
> prevailing def for @y which comes from moduleY. Just because they are
> aliased in this module doesn't mean they must be aliased elsewhere,
> right?

Correct.

Cheers,
Rafael