Home | History | Annotate | Download | only in Verifier
      1 ; RUN: llvm-as %s -o /dev/null 2>&1
      2 
      3 %rt2 = type { i32, { i8, %rt2*, i8 }, i32 }
      4 
      5 define i32 @main() nounwind {
      6 entry:
      7   ; Check that linked-list-style recursive types where the recursion is through
      8   ; a pointer of the type is valid for an alloca.
      9   %0 = alloca %rt2
     10   ret i32 0
     11 }
     12