[patch][pr17535] Reject alias attributes that point to undefined name (V2).

[Rafael Espíndola]

>> Do you think it is worth it?
>
>
> I think we should have *something* here. Just pulling out the first operand
> of a ConstantExpr without checking what it is looks very suspicious.

OK, the attached patch has an assert.

> Can
> this happen recursively (gep of a bitcast or similar)?

No, only one level (the Verifier also checks that).

Cheers,
Rafael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: t.patch
Type: application/octet-stream
Size: 7034 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20131021/d76b4336/attachment.obj>