llvm/test/Verifier/recursive-type-store.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 void @f(%rt2 %r, %rt2 *%p) 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: storing unsized types is not allowed
  10   store %rt2 %r, %rt2 *%p
  11   ret void
  12 }