1; RUN: opt < %s -inline -disable-output 2>/dev/null
2; This test used to trigger an assertion in the assumption cache when
3; inlining the indirect call
4declare void @llvm.assume(i1)
5
6define void @foo() {
7  ret void
8}
9
10define void @bar(void ()*) {
11  call void @llvm.assume(i1 true)
12  call void %0();
13  ret void
14}
15
16define void @baz() {
17  call void @bar(void ()* @foo)
18  ret void
19}
20