Home | History | Annotate | Download | only in Verifier
      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 }
     13