14 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s2 3; CHECK: Function: foo4; CHECK: MayAlias: i32* %x, i32* %y5 6define void @foo(ptr noalias %x) {7 %y = call ptr @unclear(ptr %x)8 store i32 0, ptr %x9 store i32 0, ptr %y10 ret void11}12 13declare ptr @unclear(ptr %a)14