test/Analysis/Andersens/modreftest2.ll

   1 ; RUN: llvm-as < %s | opt -anders-aa -gvn | llvm-dis \
   2 ; RUN: | not grep {ret i32 undef}
   3
   4 ;; From PR 2160
   5 declare void @f(i32*)
   6
   7 define i32 @g() {
   8 entry:
   9       %tmp = alloca i32               ; <i32*> [#uses=2]
  10         call void @f( i32* %tmp )
  11         %tmp2 = load i32* %tmp          ; <i32> [#uses=1]
  12         ret i32 %tmp2
  13 }
  14