1 ; RUN: not opt -passes=verify %s -disable-output 2>&1 | FileCheck %s
2 define void @foo() "warn-stack-size"="42" { ret void }
3 define void @bar() "warn-stack-size"="-1" { ret void }
4 define void @baz() "warn-stack-size"="999999999999999999999" { ret void }
5 define void @qux() "warn-stack-size"="a lot lol" { ret void }
7 ; CHECK-NOT: "warn-stack-size" takes an unsigned integer: 42
8 ; CHECK: "warn-stack-size" takes an unsigned integer: -1
9 ; CHECK: "warn-stack-size" takes an unsigned integer: 999999999999999999999
10 ; CHECK: "warn-stack-size" takes an unsigned integer: a lot lol