[LLVMdev] infinitely recursive named struct types

NAKAMURA Takumi geek4civic at gmail.com
Thu Oct 6 16:00:26 PDT 2011


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


More information about the llvm-dev mailing list