test/Verifier/unsized-types.ll

   1 ; RUN: not opt -verify < %s 2>&1 | FileCheck %s
   2
   3 %X = type opaque
   4
   5 define void @f_0(%X* %ptr) {
   6   %t = load %X, %X* %ptr
   7   ret void
   8 ; CHECK: loading unsized types is not allowed
   9 ; CHECK-NEXT:  %t = load %X, %X* %ptr
  10 }
  11
  12 define void @f_1(%X %val, %X* %ptr) {
  13   store %X %val, %X* %ptr
  14   ret void
  15 ; CHECK: storing unsized types is not allowed
  16 ; CHECK-NEXT:  store %X %val, %X* %ptr
  17 }
  18
  19 define void @f_2() {
  20   %t = alloca %X
  21   ret void
  22 ; CHECK: Cannot allocate unsized type
  23 ; CHECK-NEXT:  %t = alloca %X
  24 }