[llvm] r178147 - Cleanup the simplify_type implementation.

[Eli Friedman]

On Wed, Jul 17, 2013 at 6:43 PM, Rafael Espíndola
<rafael.espindola at gmail.com> wrote:
>> 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.
>

Ah; that makes sense.  My mistake.

Patch looks fine.  Thanks for looking into this.

-Eli