1; RUN: bugpoint -load %llvmshlibdir/BugpointPasses%shlibext %s -output-prefix %t -bugpoint-crashfuncattr 2>&1 | FileCheck %s
2; REQUIRES: plugins
3;
4; ModuleID = 'attr-crash.ll'
5source_filename = "test.c"
6target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
7target triple = "x86_64-unknown-linux-gnu"
8
9
10; Function Attrs: noinline nounwind optnone uwtable
11define dso_local i32 @main(i32 %argc, i8** %argv) local_unnamed_addr #0 {
12  ret i32 0
13}
14
15; CHECK-NOT: Attribute 'optnone' requires 'noinline'!
16attributes #0 = { noinline nounwind optnone uwtable "bugpoint-crash" }
17