test/Verifier/recursive-type-3.ll

   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 }