test/Transforms/ScalarRepl/badarray.ll

; RUN: as < %s | opt -scalarrepl -mem2reg | dis | grep alloca

int %test() {
  %X = alloca [ 4 x int ]
  %Y = getelementptr [4x int]* %X, long 0, long 6 ; Off end of array!
  store int 0, int* %Y

  %Z = load int* %Y
  ret int %Z
}