1 // RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm < %s | FileCheck %s
2 
3 // CHECK: define void @foo(i32* nonnull %x)
4 void foo(int * __attribute__((nonnull)) x) {
5   *x = 0;
6 }
7 
8 // CHECK: define void @bar(i32* nonnull %x)
9 void bar(int * x) __attribute__((nonnull(1)))  {
10   *x = 0;
11 }
12 
13 // CHECK: define void @bar2(i32* %x, i32* nonnull %y)
14 void bar2(int * x, int * y) __attribute__((nonnull(2)))  {
15   *x = 0;
16 }
17 
18 static int a;
19 // CHECK: define nonnull i32* @bar3()
20 int * bar3() __attribute__((returns_nonnull))  {
21   return &a;
22 }
23 
24