; RUN: opt %s -inline -S | FileCheck %s

define internal void @innerSmall() "stack-probe-size"="4096" {
  ret void
}

define internal void @innerLarge() "stack-probe-size"="8192" {
  ret void
}

define void @outerNoAttribute() {
  call void @innerSmall()
  ret void
}

define void @outerConflictingAttributeSmall() "stack-probe-size"="4096" {
  call void @innerLarge()
  ret void
}

define void @outerConflictingAttributeLarge() "stack-probe-size"="8192" {
  call void @innerSmall()
  ret void
}

; CHECK: define void @outerNoAttribute() #0
; CHECK: define void @outerConflictingAttributeSmall() #0
; CHECK: define void @outerConflictingAttributeLarge() #0
; CHECK: attributes #0 = { "stack-probe-size"="4096" }
