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

Rafael EspĂ­ndola rafael.espindola at gmail.com
Mon Oct 21 18:23:10 PDT 2013


>> 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>


More information about the cfe-commits mailing list