1; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s 2 3%X = type opaque 4 5define void @f_0(ptr %ptr) { 6 %t = load %X, ptr %ptr 7 ret void 8; CHECK: loading unsized types is not allowed 9; CHECK-NEXT: %t = load %X, ptr %ptr 10} 11