1; RUN: bugpoint -load %llvmshlibdir/BugpointPasses%shlibext %s -output-prefix %t -bugpoint-crashfuncattr -silence-passes
2; RUN: llvm-dis %t-reduced-simplified.bc -o - | FileCheck %s
3; REQUIRES: plugins
4
5; CHECK: f() #[[ATTRS:[0-9]+]]
6define void @f() #0 {
7  ret void
8}
9
10; CHECK: attributes #[[ATTRS]] = { "bugpoint-crash"="sure" }
11attributes #0 = { "bugpoint-crash"="sure" noreturn "frame-pointer"="non-leaf" }
12