llvm/test/Verifier/2008-03-01-AllocaSized.ll