test/Analysis/BasicAA/getmodrefinfo-cs-cs.ll

   1 ; RUN: opt < %s -aa-eval -print-all-alias-modref-info -disable-output |& FileCheck %s
   2
   3 ; CHECK: Just Ref: call void @ro() <-> call void @f0()
   4
   5 declare void @f0()
   6 declare void @ro() readonly
   7
   8 define void @test() {
   9   call void @f0()
  10   call void @ro()
  11   ret void
  12 }