test/Analysis/BasicAA/2008-11-23-NoaliasRet.ll

   1 ; RUN: opt < %s -basicaa -aa-eval -disable-output 2>&1 | FileCheck %s
   2
   3 declare noalias i32* @_Znwj(i32 %x) nounwind
   4
   5 ; CHECK: 1 no alias response
   6
   7 define i32 @foo() {
   8   %A = call i32* @_Znwj(i32 4)
   9   %B = call i32* @_Znwj(i32 4)
  10   store i32 1, i32* %A
  11   store i32 2, i32* %B
  12   %C = load i32, i32* %A
  13   ret i32 %C
  14 }