1; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
2
3; CHECK: %t = add i64 %t, 1
4; CHECK: -->  undef
5
6define void @foo() {
7entry:
8  ret void
9
10dead:
11  %t = add i64 %t, 1
12  ret void
13}
14