; RUN: opt -abort-on-max-devirt-iterations-reached -passes='cgscc(devirt<1>(inline,instcombine))' -S < %s | FileCheck %s
; RUN: opt -abort-on-max-devirt-iterations-reached -passes='default<O2>' -S < %s | FileCheck %s

define i32 @i() alwaysinline {
  ret i32 45
}

; CHECK-LABEL: define i32 @main
; CHECK-NEXT: ret i32 45

define i32 @main() {
  %a = alloca i32 ()*
  store i32 ()* @i, i32 ()** %a
  %r = call i32 @call(i32 ()** %a)
  ret i32 %r
}

define i32 @call(i32 ()** %a) alwaysinline {
  %c = load i32 ()*, i32 ()** %a
  %r = call i32 %c()
  ret i32 %r
}