Rafael was touching this last. Why do we have to avoid aliasing? Note that there are many "aliasing" strategies here: RAUW, normal alias, and aliases in D5 comdat groups. http://reviews.llvm.org/D6038