test/Verifier/recursive-type-1.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 %rt2 = type { i32, { i8, %rt2, i8 }, i32 }
   4
   5 define i32 @main() nounwind {
   6 entry:
   7   ; Check that recursive types trigger an error instead of segfaulting, when
   8   ; the recursion isn't through a pointer to the type.
   9   ; CHECK: Cannot allocate unsized type
  10   %0 = alloca %rt2
  11   ret i32 0
  12 }