[LLVMdev] memory lifetime and invariance

[Eli Friedman]

On Wed, May 20, 2009 at 1:29 PM, Chris Lattner <clattner at apple.com> wrote:
>> The verifier rejects phi nodes of {} type. Do you actually have a case
>> where you want this to happen?
>
> That sounds like a serious bug then: {} should be a first class value
> just like {i32}.

But in any case, it doesn't really make sense; wouldn't any value of
type {} fold to the constant "{} {}"?  If you need an opaque value,
i8* seems much more appropriate.

-Eli