| Hal Finkel | 82504f0 | 2014-07-11 17:35:21 +0000 | [diff] [blame^] | 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 | |||||