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