[llvm] r178147 - Cleanup the simplify_type implementation.

[Rafael Espíndola]

> We want to reject it because it implicitly dereferences the pointer.
>
> IIRC, we still accept the given example if you replace "Use *U" with
> "Use ****U".

This looks to be a Use specific problem. We explicitly declare both
Use and Use* to simplify to Value. Check the static asserts I added to
the test in this version of the patch.

> -Eli

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