; RUN: llvm-upgrade < %s | llvm-as | opt -dse | llvm-dis | not grep DEAD
void %test(int* %Q) {
%P = alloca int
%DEAD = load int* %Q
store int %DEAD, int* %P ;; Alloca goes out of scope, dead store.
ret void
}