1; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s 2 3%X = type opaque 4 5define void @f_2() { 6 %t = alloca %X 7 ret void 8; CHECK: Cannot allocate unsized type 9; CHECK-NEXT: %t = alloca %X 10} 11