; RUN: bugpoint -load %llvmshlibdir/BugpointPasses%pluginext %s -output-prefix %t -bugpoint-crashfuncattr -silence-passes
; RUN: llvm-dis %t-reduced-simplified.bc -o - | FileCheck %s
; REQUIRES: plugins

; CHECK: f() #[[ATTRS:[0-9]+]]
define void @f() #0 {
  ret void
}

; CHECK: attributes #[[ATTRS]] = { "bugpoint-crash"="sure" }
attributes #0 = { "bugpoint-crash"="sure" noreturn "frame-pointer"="non-leaf" }