test/Analysis/ScalarEvolution/unreachable-code.ll

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