1; RUN: not opt -S -verify < %s 2>&1 | FileCheck %s
2
3define void @alloca() {
4; CHECK: error: Cannot allocate unsized type
5  %a = alloca { i32, <vscale x 1 x i32> }
6  ret void
7}
8