[LLVMdev] infinitely recursive named struct types

[NAKAMURA Takumi]

Chris,

>> Looks like it is possible to create an infinitely recursive struct type, llvm-as accepts this:
>> %s = type { i32, i8, %s }
>
> This should be illegal, and should probably be caught by the verifier.

I suppose Edwin would like llvm to check (and let failed) in type
constructing, earlier than verifier.
I guess, such a insane type building might cause in various point,
...to go in an infinite loop or stack overflow.

...Takumi