xref: /llvm-project/llvm/test/Analysis/BasicAA/2007-08-01-NoAliasAndCalls.ll (revision 05ff7606c9d47135ecf5b69e25b1327634f6fa27) 
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
2
3; CHECK: Function: foo
4; CHECK:   MayAlias: i32* %x, i32* %y
5
6define void @foo(ptr noalias %x) {
7  %y = call ptr @unclear(ptr %x)
8  store i32 0, ptr %x
9  store i32 0, ptr %y
10  ret void
11}
12
13declare ptr @unclear(ptr %a)
14