llvm/test/Verifier/recursive-type-load.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 @f(%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: loading unsized types is not allowed
  10   %0 = load %rt2, %rt2* %p
  11   ret i32 %0
  12 }